专栏首页arxiv.org翻译专栏具有单时钟初始化时钟相关概率的概率时间自动机(CS LO)
原创

具有单时钟初始化时钟相关概率的概率时间自动机(CS LO)

与时钟相关的概率时间自动机扩展了经典的离散概率选择时间自动机,允许概率依赖于时钟的精确值。已有的研究表明,具有三个时钟以上的时变概率自动机的定量可达性问题是无法确定的,本文考虑了具有一个时钟(必须具有整数值)、具有仿射函数描述、具有非平凡时钟依赖性且满足初始化条件的时钟相关概率时间自动机的子类,提出了一种求解这种单时钟初始化的、依赖于时钟的概率时间自动机的多项式时间定量和定性可达性问题的方法。我们的结果是通过转换到区间马尔可夫决策过程得到的。

原文题目:Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities

原文:Clock-dependent probabilistic timed automata extend classical timed automata with discrete probabilistic choice, where the probabilities are allowed to depend on the exact values of the clocks. Previous work has shown that the quantitative reachability problem for clock-dependent probabilistic timed automata with at least three clocks is undecidable. In this paper, we consider the subclass of clock-dependent probabilistic timed automata that have one clock, that have clock dependencies described by affine functions, and that satisfy an initialisation condition requiring that, at some point between taking edges with non-trivial clock dependencies, the clock must have an integer value. We present an approach for solving in polynomial time quantitative and qualitative reachability problems of such one-clock initialised clock-dependent probabilistic timed automata. Our results are obtained by a transformation to interval Markov decision processes.

原文作者:Jeremy Sproston

原文链接:https://arxiv.org/abs/2006.04202

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • Linux 性能诊断:快速检查单(Netflix版)

    快速检查单(Quick Reference Handbook,QRH)是飞行员在飞行过程中依赖的重要指导性文件。

    RiboseYim
  • 重磅课程 | 牛津xDeepMind自然语言处理汉化视频更新:Lecture 2b 实践课概述

    大数据文摘
  • 翻译:10行命令60秒快速定位性能瓶颈

    当你登录到linux服务器处理性能问题的时候,最开始的一分钟你会做些啥? Netflix有大量的EC2云服务主机,也有很多检测和排查性能问题的工具。比如像云监...

    xindoo
  • 史上最快AI计算机发布!谷歌TPU V3的1/5功耗、1/30体积,首台实体机已交付

    这个名为Cerebras Wafer Scale Engine(WSE)的“巨无霸”面积达到42225 平方毫米,拥有1.2 万亿个晶体管,400000 个核心...

    大数据文摘
  • [医疗信息化][DICOM教程]1.使用Java的DICOM基础-理解DICOM文件-DICOM Basics using Java - Making Sense of the DICOM File

    这是我有关DICOM标准的系列文章的一部分。在我们开始本教程之前,请快速浏览一下我之前的文章“ DICOM标准简介”,以简短,快速地介绍该标准。请注意,本教程假...

    landv
  • 技术猿 | 室外移动机器人组合的导航定位系统设计

    ---- 对于在室外环境工作的移动机器人通常使用惯导/卫星组合导航方式。惯性导航系统[1]具有完全自主、抗干扰强、隐蔽能力好和输出参数全面等优点,但它的鲁棒性...

    机器人网
  • 张高兴的 .NET Core IoT 入门指南:(四)使用 SPI 进行通信

    和上一篇文章的 I2C 总线一样,SPI(Serial Peripheral Interface,串行外设接口)也是设备与设备间通信方式的一种。SPI 是一种全...

    张高兴
  • 单片机如何才能不死机之内外部时钟

    时钟是嵌入式系统中非常重要,但又常常被忽视的地方。它的成本只占整个系统的一个零头,但由于时钟的停振,或其它异常最终导致厂商付出高昂代价的案例却并不少见。下面我们...

    用户2366192
  • 60,000 毫秒内对 Linux 进行性能诊断

    当你发现 Linux 服务器上的系统性能问题,在最开始的 1 分钟时间里,你会查看哪些系统指标呢?

    用户2323866
  • 动图解析面试常见排序算法(上)

    冒泡排序是一种非常简单的初级排序算法,它每次比较相邻的两个元素,如果顺序错误就进行交换.由于最小的元素是经由不断交换慢慢浮到顶端的,所以叫做冒泡排序.

    周三不加班
  • 如何写好状态机(二)

    今天给大侠带来如何写好状态机(二),由于篇幅比较长,如何写好状态机分成三篇呈现。上一篇已经说了状态机的基本概念,此篇带来如何写好状态机部分,话不多说,上货。

    FPGA技术江湖
  • 以太网中时间同步的那点事

    对于普通人来讲,时间就是大脑神经元中记忆碎片构建的意识。正是由于神经元的记忆特征,才能在“现在”随时的回忆“过去”。也就是说“过去”存在于“现在”之中,“过去”...

    网络交换FPGA
  • Linux系统管理工具-vmstat、top、sar、nload、w命令

    解析: 第一行从左边开始显示的信息依次是:时间,系统运行时间,登录用户数,平均负载(1min平均负载、5min平均负载、15min平均负载)。 load av...

    阿dai学长
  • linux性能分析60秒

    掌握一些性能优化工具和方法,这就需要在工作中不断地积累;计算机基础知识很重要,比如说网络知识、操作系统知识等等,掌握了基础知识才能让你在优化过程中抓住性能问题的...

    没有故事的陈师傅
  • 如何用十条命令在一分钟内检查Linux服务器性能?

    如果你的Linux服务器突然负载暴增,告警短信快发爆你的手机,如何在最短时间内找出Linux性能问题所在?来看Netflix性能工程团队的这篇博文,看它们通过十...

    Python猫
  • FPGA零基础学习:SDR SDRAM 驱动设计

    本系列将带来FPGA的系统性学习,从最基本的数字电路基础开始,最详细操作步骤,最直白的言语描述,手把手的“傻瓜式”讲解,让电子、信息、通信类专业学生、初入职场小...

    FPGA技术江湖
  • FPGA零基础学习:SDR SDRAM 驱动设计

    本系列将带来FPGA的系统性学习,从最基本的数字电路基础开始,最详细操作步骤,最直白的言语描述,手把手的“傻瓜式”讲解,让电子、信息、通信类专业学生、初入职场小...

    FPGA技术江湖
  • DICOM医学影像文件格式解析

    DICOM(DigitalImaging andCommunications inMedicine)是指医疗数字影像传输协定,是用于医学影像处理、储存、打印、传...

    CherishTheYouth
  • 用十条命令在一分钟内检查Linux服务器性能

    注:本文主要参考InfoQ文章用十条命令在一分钟内检查Linux服务器性能,在此基础上对涉及的Linux命令进行整理而成。

    九州暮云

扫码关注云+社区

领取腾讯云代金券