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

对连续时间马尔可夫过程中的行为等效性进行分类。 （英语） Zbl 07516371号

Patricia Johann（编辑），《第36届编程语义数学基础会议论文集》，MFPS XXXVI，虚拟会议，2020年6月2-6日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。352, 53-77 (2020).
摘要：互模拟是一个概念，它捕获了过渡系统中状态的行为等效性。在[Linan Chen、Florence Clerc和Prakash Panangaden，feller-dynkin过程的互模拟，In：第三十五届编程语义数学基础会议论文集，理论计算机科学电子笔记347（2019）45-63.]中，我们提出了连续时间随机过程互模拟的两个等价定义，其中演化是流通过时间。在本文中，我们进一步发展了这一理论：我们引入了对应于不同行为等效性的不同概念，并将其与互模拟进行了比较。特别地，我们研究了动力学的共刺激和对称群之间的关系。我们还提供了两种行为等效性的游戏解释。然后，我们将这些概念与它们的离散时间类似物进行比较。
关于整个系列，请参见[Zbl 1451.68024号].

引用于1审查
引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68问题55 计算理论中的语义学

关键词：

随机过程;马尔可夫过程;连续时间;互模拟;扩散，扩散
PDF格式BibTeX公司 XML格式引用
\textit{L.Chen}等人，《电子》。注释Theor。计算。科学。352、53--77（2020；Zbl 07516371）
全文： 内政部

参考文献：

[1] 约翰·贝兹（John Baez）；Fong，Brendan，马尔可夫过程的Noether定理，《数学物理杂志》，54，1，文章013301，pp.（2013）·Zbl 1280.81015号
[2] Billingsley，P.，《概率测度的收敛》（1999），威利跨科学·兹标0172.21201
[3] Billingsley，Patrick，概率与测度（2008），John Wiley&Sons·Zbl 0822.60002号
[4] 布鲁特，R。；Desharnais，J。；Edalat，A。；Panangaden，P.，标记Markov过程的互模拟，（第十二届IEEE计算机科学逻辑研讨会论文集。第十二届计算机科学逻辑IEEE研讨会论文集，波兰华沙（1997））
[5] Bobrowski，Adam，《概率和随机过程的函数分析：导论》（2005），剑桥大学出版社·Zbl 1092.46001号
[6] 陈丽南；佛罗伦萨克莱尔克；帕南加登，普拉卡什，feller-dynkin过程的互模拟，第三十五届编程语义数学基础会议论文集。第三十五届程序设计语义数学基础会议论文集，理论计算机科学电子笔记，347，45-63（2019）·Zbl 07515954号
[7] 佛罗伦萨克莱尔克；纳塔娜·菲亚尔科夫；巴托克·克林（Bartek Klin）；帕南加登，普拉卡什，《概率模态逻辑的表达：渐进方法》，《信息与计算》，267145-163（2019）·Zbl 1422.68167号
[8] 文森特·达诺斯；何塞·德斯哈奈斯；弗朗索瓦·拉维奥莱特；Panangaden，Prakash，概率系统的互模拟和同余，信息与计算，204，4，503-523（2006）·Zbl 1110.68083号
[9] Desharnais，J。；埃达拉特，A。；Panangaden，P.，标记马尔可夫过程的互模拟，信息与计算，179，2，163-193（2002年12月）·Zbl 1096.68103号
[10] 何塞·德斯哈奈斯；Panangaden，Prakash，《连续随机逻辑表征连续时间Markov过程的互模拟》，《逻辑与代数编程杂志》，56，99-115（2003），系统设计与分析概率技术专刊·Zbl 1053.68065号
[11] Dudley，R.M.，《真实分析与概率》（1989），沃兹沃思和布鲁克斯/科尔·Zbl 0686.60001号
[12] 爱因斯坦，A.，《布朗运动理论》，《安娜·德·菲西克》，17549（1905）
[13] 纳撒内尔·菲亚尔科夫；巴托克·克林（Bartek Klin）；帕南加登（Panangaden），普拉卡什（Prakash），《重新审视概率模态逻辑的表现力》（The expressiveity of probability model logic reviewed），（第44届自动语言与编程国际学术讨论会论文集（2017））·Zbl 1442.68137号
[14] 伊奥安尼斯·卡拉茨；Steven Shreve，《布朗运动与随机演算》，第113卷（2012），Springer Science and Business Media·Zbl 0638.60065号
[15] Larsen，K.G。；Skou，A.，概率测试的双刺激，信息与计算，94，1-28（1991）·Zbl 0756.68035号
[16] Milner，R.，《通信系统微积分》，计算机科学讲稿。，第92卷（1980），斯普林格·弗拉格·Zbl 0452.68027号
[17] Prakash，Panangaden，标记马尔可夫过程（2009），帝国理工学院出版社·Zbl 1190.60001号
[18] Park，D.，无限序列上的并发和自动机，（第五届GI理论计算机科学会议论文集。第五届GI理论计算机会议论文集，计算机科学讲义，第104卷（1981），Springer-Verlag），167-183·Zbl 0457.68049号
[19] 克里斯·L。；罗杰斯，G。；威廉姆斯，大卫，扩散，马尔可夫过程和鞅：第1卷。《基金会》（2000），剑桥大学出版社·Zbl 0949.60003号
[20] Davide，Sangiorgi，《关于互模拟和共归纳的起源》，《ACM编程语言和系统汇刊》（TOPLAS），第31、4、15页（2009年）
[21] Whitt，W.，《随机过程极限及其在队列中的应用导论》，《运筹学中的Springer级数》（2002），Springer-Verlag·Zbl 0993.60001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。