×
佩德罗·达吉尼奥。;佩德罗·桑切斯·特拉夫;尼科拉斯·沃尔维克

非确定性标记马尔可夫过程的互模拟。 （英语） Zbl 1234.68316号

数学。结构。计算。科学。 22，第1号，43-68（2012）.
摘要：我们将标记马尔可夫过程理论扩展到包括内部不确定性，这是进一步发展具有非确定性连续概率系统抽象的过程理论的基本概念。我们定义了非确定性标记马尔可夫过程（NLMP），并给出了互模拟的三种定义：遵循传统特征的互模拟；根据我们的“可测量”非决定论定制的基于国家的相互模拟；以及基于事件的互模拟。我们展示了它们之间的关系，包括最大的状态互模拟也是一个事件互模拟。我们还介绍了Hennessy-Milner逻辑的一种变体，该变体具有事件互模拟的特征，并且相对于任意NLMP的其他互模拟而言是合理的。然而，这个逻辑是无限的，因为它包含一个可数的\（\ vee \）。然后，我们引入了一个有限子逻辑，该子逻辑描述了图像有限NLMP的所有互模拟，其底层度量空间也是解析的。因此，在这种情况下，我们认为的所有互模拟概念都是相等的。最后，我们证明了所有这些互模拟概念在一般情况下都是不同的。将它们分开的反例是非概率NLMP。

引用于12文件

MSC公司：

87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
60J25型 一般状态空间上的连续时间Markov过程

关键词：

互模拟;马尔可夫过程;内部非决定论;轩尼诗-米尔纳逻辑;非确定性标记马尔可夫过程

软件：

MoDeST公司
PDF格式BibTeX公司 XML格式引用
\textit{P.R.D'Argenio}等人，《数学》。结构。计算。科学。22，第1号，第43--68条（2012；Zbl 1234.68316）
全文： 内政部 arXiv公司

参考文献：

[1] van Glabeek，过程代数手册第3页–（2001）·doi:10.1016/B978-044482830-9/50019-9
[2] 内政部：10.1007/978-1-4612-4190-4·doi:10.1007/978-1-4612-4190-4
[3] 内政部：10.1006/inco.2001.2962·Zbl 1096.68103号 ·doi:10.1006/inco.2001.2962
[4] DOI:10.1016/S1567-8326（02）00068-1·Zbl 1053.68065号 ·doi:10.1016/S1567-8326（02）00068-1
[5] 克拉克，模型检查（1999）
[6] 内政部：10.1109/QEST.2009.17·doi:10.1109/QEST.2009.17
[7] Cattani，Springer-Verlag计算机科学课堂讲稿3441 pp 125–（2005）·doi:10.1007/978-3-540-31982-58
[8] 内政部：10.1016/j.ic.2005.07.002·兹比尔1106.68073 ·doi:10.1016/j.ic.2005.07.002
[9] 内政部：10.1016/j.ic.2005.02.004·兹比尔1110.68083 ·文件编号：10.1016/j.ic.2005.02.004
[10] Bravetti，Springer-Verlag计算机科学课堂讲稿2925 pp 44–（2004）·doi:10.1007/978-3-540-24611-42
[11] 内政部：10.1109/TSE.2006.104·doi:10.1109/TSE.2006.104
[12] 比林斯利，概率与测度（1995）
[13] 瓦尔迪，《联邦公报》第26卷第327页–（1985年）
[14] Puterman，Markov决策过程：离散随机动态规划（1994）·Zbl 0829.90134号
[15] Parma，Springer-Verlag计算机科学课堂讲稿4423 pp 287–（2007）·Zbl 1195.68072号 ·doi:10.1007/978-3-540-71389-0_21
[16] Naimpally，拓扑评论8（2003）
[17] 米尔纳，《沟通与并发》（1989）
[18] 内政部：10.1016/0890-5401（91）90030-6·Zbl 0756.68035号 ·doi:10.1016/0890-5401（91）90030-6
[19] Giry，Springer-Verlag数学讲稿915 pp 68–（1981）·doi:10.1007/BFb0092872
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。