×
陈丽安;佛罗伦萨克莱尔克;帕南加登，普拉卡什

连续时间马尔可夫过程的行为等价性。 （英语） Zbl 07813347号

数学。结构。计算。科学。 33，编号4-5，222-258（2023）.
摘要：互模拟是一个概念，它捕获了各种类型过渡系统中状态的行为等效性。它已经在离散时间环境中进行了广泛的研究。这项工作的核心是通过为连续时间马尔可夫过程提供行为等价的概念，将离散时间图像推广到连续时间。在[L.Chen先生等，《电子》。理论注释。计算。科学。347, 45–63 (2019;兹伯利07515954)]，我们提出了连续时间随机过程互模拟的两个等价定义，其中演化是流通过时间：第一个作为等价关系，第二个作为语态的cospan。在[L.Chen先生等，《电子》。理论注释。计算。科学。352, 53–77 (2020;Zbl 07516371号)]，我们进一步发展了该理论：我们引入了不同的概念，对应不同的行为等效性，并将其与互模拟进行了比较。特别地，我们研究了动力学的共刺激和对称群之间的关系。我们还提供了两种行为等效性的游戏解释。本工作统一了所引用的会议报告，并给出了详细的证明。

MSC公司：

68倍 计算机科学

关键词：

随机过程;马尔可夫过程;连续时间;互模拟;扩散，扩散

引文：

Zbl 07515954号;Zbl 07516371号
PDF格式BibTeX公司 XML格式引用
\textit{L.Chen}等人，数学。结构。计算。科学。33，编号4--5，222--258（2023；Zbl 07813347）
全文： 内政部
OA许可证

参考文献：

[1] Billingsley，P.（1999）。概率测度的收敛，第二版，威利跨科学·Zbl 0944.60003号
[2] Billingsley，P.（2008）。概率与测量，John Wiley&Sons。
[3] Blute，R.、Desharnais，J.、Edalat，A.和Panangaden，P.（1997年）。标记马尔可夫过程的互模拟。第十二届IEEE计算机科学逻辑研讨会论文集，波兰华沙。
[4] Bobrowski，A.（2005）。概率和随机过程的泛函分析：导论。剑桥大学出版社·Zbl 1092.46001号
[5] Borodin，A.N.和Salminen，P.（1997年）。布朗运动和公式手册。英国皇家统计学会杂志——社会统计系列160（3）596。
[6] Chen，L.，Clerc，F.和Panangaden，P.（2019年）。Feller-Dynkin过程的相互模拟。理论计算机科学电子笔记347 45-63。第三十五届程序设计语义学数学基础会议论文集·Zbl 07515954号
[7] Chen，L.，Clerc，F.和Panangaden，P.（2020年）。对连续时间马尔可夫过程中的行为等价进行分类。理论计算机科学电子笔记。第三十六届程序设计语义学数学基础会议论文集·Zbl 07516371号
[8] Clerc，F.（2021）。连续时间Markov过程的互模拟和行为等价性。麦吉尔大学博士论文。
[9] Clerc，F.、Fijalkow，N.、Klin，B.和Panangaden，P.（2019年）。概率模态逻辑的表达性：一种渐进的方法。信息与计算267145-163·Zbl 1422.68167号
[10] Danos，V.、Desharnais，J.、Laviolette，F.和Panangaden，P.（2006）。概率系统的互模拟和同余。信息与计算204（4）503-523·Zbl 1110.68083号
[11] Desharnais，J.、Edalat，A.和Panangaden，P.（2002年）。标记马尔可夫过程的互模拟。信息与计算179（2）163-193·Zbl 1096.68103号
[12] Desharnais，J.和Panangaden，P.（2003）。连续随机逻辑描述了连续时间马尔可夫过程的互模拟。逻辑与代数编程杂志56 99-115。系统设计和分析概率技术专刊·Zbl 1053.68065号
[13] Doberkat，E.-E.（2005）。解析空间上随机关系的半拉式。计算机科学中的数学结构15（4），647-670·Zbl 1073.18003号
[14] Dudley，R.M.（1989）。真实分析和概率。沃兹沃思和布鲁克斯/科尔·Zbl 0686.60001号
[15] 爱因斯坦（1905）。布朗运动理论。《物理年鉴》17549。
[16] Fijalkow，N.、Klin，B.和Panangaden，P.（2017）。重新审视概率模态逻辑的表达能力。第44届国际自动化语言和编程学术讨论会论文集。
[17] Karatzas，I.和Shreve，S.（2012年）。布朗运动与随机微积分，第113卷。施普林格科技与商业媒体。
[18] Larsen，K.G.和Skou，A.（1991年）。通过概率测试进行相互模拟。信息与计算941-28。
[19] Milner，R.（1980）。通信系统微积分，第92卷。计算机科学课堂讲稿。施普林格出版社·Zbl 0452.68027号
[20] Milner，R.（1989）。沟通与并发。普伦蒂斯·霍尔·Zbl 0683.68008号
[21] Pachl，J.和Terraf，P.S.（2020年）。标记马尔可夫过程的半拉回。ArXiv电子打印，1706.02801。将在《计算机科学中的逻辑方法》上发表。
[22] Panangaden，P.（2009年）。标记马尔可夫过程。帝国学院出版社·Zbl 1190.60001号
[23] Park，D.（1981年）。无限序列上的并发性和自动机。第五届GI理论计算机科学会议论文集，第104卷。计算机科学课堂讲稿，第167-183页。斯普林格·弗拉格·Zbl 0457.68049号
[24] Chris，L.、Rogers，G.和Williams，D.（2000年）。扩散，马尔可夫过程和鞅：第1卷。基金会。第2版，剑桥大学出版社·Zbl 0949.60003号
[25] Royden，H.L.和Fitzpatrick，P.M.（2010）。《真实分析》，第4版。Printice-Hall公司·Zbl 1191.26002号
[26] Sangiorgi，D.（2009年）。关于互模拟和共创的起源。美国计算机学会程序设计语言与系统汇刊（TOPLAS）31（4）15。
[27] Terraf，P.S.（2011年）。互刺激的逻辑特征的不可投票性。信息与计算209（7）1048-1056·Zbl 1216.68196号
[28] Whitt，W.（2002年）。随机过程极限：介绍随机过程极限及其在队列中的应用。Springer运筹学系列。斯普林格·弗拉格·Zbl 0993.60001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。