×
何塞·德沙奈斯；葡萄藤古普塔；拉德哈·贾加迪桑；帕南加登，普拉卡什

标记马尔可夫过程的度量。 （英语） Zbl 1068.68093号

西奥。计算。科学。 318，第3期，323-354（2004）.
概要：概率过程的过程等价性概念对转移的确切概率很敏感。因此，转移概率的微小变化将导致两个等效过程不再等效。这种不稳定性是由于概率过程的定量性质造成的。在过程行为具有定量方面的情况下，应采用更稳健的方法实现过程等效。本文研究了标记马尔可夫过程之间的度量。这个度量具有这样一个性质，即当且仅当进程互相似时，进程距离为零。该度量受早期逻辑研究的启发，用于表征互模拟，并在精神上与哈钦森度量有关。

引用于6评论
引用于93文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
第68季度10 计算模式（非确定性、并行、交互式、概率性等）
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

标记马尔可夫过程；公制；过程代数
PDF格式BibTeX公司 XML格式引用
\textit{J.Desharnais}等人，Theor。计算。科学。318，第3号，323--354（2004；Zbl 1068.68093）
全文： 内政部

参考文献：

[1] R.Alur，L.Jagadeesan，J.J.Kott，J.E.von Olnhausen，《实时系统的模型检查：电信应用》，摘自：Proc。第19届国际米兰。软件工程会议，美国马萨诸塞州波士顿，1997年，第514-524页。；R.Alur，L.Jagadeesan，J.J.Kott，J.E.von Olnhausen，《实时系统的模型检查：电信应用》，摘自：Proc。第19届国际米兰。软件工程会议，美国马萨诸塞州波士顿，1997年，第514-524页。
[2] Baeten，J.C.M。；Bergstra，J.A。；Smolka，S.A.，公理化概率过程ACP与生成概率，Inform。计算。，121, 2, 234-255 (1995) ·Zbl 0829.60044号
[3] C.Baier，E.Clark，V.Hartonas-Garmhausen，M.Kwiatkowska，M.Ryan，概率过程的符号模型检验，摘自：Proc。第24届国际。科尔。自动化语言与编程，计算机科学讲义，第1256卷，施普林格，柏林，1997年，第430-440页。；C.Baier，E.Clark，V.Hartonas-Garmhausen，M.Kwiatkowska，M.Ryan，概率过程的符号模型检验，摘自：Proc。第24届国际。科尔。自动化语言和编程，计算机科学讲义，第1256卷，施普林格，柏林，1997年，第430-440页·Zbl 1401.68180号
[4] Bengtsson，J。；Larsen，K.G。；Larsson，F。；Pettersson，P。；Yi，W.，实时系统自动验证的UppAala工具套件，（Alur，R.；Henzinger，T.；Sontag，E.，Hybrid systems III.混合系统III，计算机科学讲义，第1066卷（1996），Springer:Springer Berlin），232-243
[5] Bianco，A。；de Alfaro，L.，概率和非确定性系统的模型检验，（Thiagarajan，P.S.，Proc.15 Ann.《软件技术和理论计算机科学基础》Conf.Proc.15 Ann.《关于软件技术和计算机理论科学基础的Conf.》，计算机科学讲义，第1026卷（1995），施普林格：施普林格柏林），499-513·Zbl 1354.68167号
[6] R.Blute，J.Desharnais，A.Edalat，P.Panangaden，标记马尔可夫过程的相互模拟，摘自：Proc。第12届IEEE研讨会。《计算机科学中的逻辑》，波兰华沙，1997年。；R.Blute，J.Desharnais，A.Edalat，P.Panangaden，标记马尔可夫过程的相互模拟，摘自：Proc。第12届IEEE交响乐团。《计算机科学中的逻辑》，波兰华沙，1997年·Zbl 1096.68103号
[7] 克利夫兰，R。；斯莫尔卡，S。；Zwarico，A.，《概率过程的测试预订单》（Kuich，W.，《自动机、语言和编程》（ICALP 92）。自动化，语言和编程（ICALP 92），计算机科学讲义，第623卷（1992），施普林格：施普林格柏林），708-719·Zbl 1425.68289号
[8] Courcoubetis，C。；Yannakakis，M.，《概率验证的复杂性》，J.ACM，42，4，857-907（1995）·Zbl 0885.68109号
[9] 盖，T。；Thomas，J.，《信息理论的要素》（1991），Wiley:Wiley New York·Zbl 0762.94001号
[10] L.de Alfaro，私人通信。；L.de Alfaro，私人通信。
[11] J.de Kleer，B.C.Williams，《行为模式诊断》，摘自：Proc。第11届国际。人工智能联合会议，美国密歇根州底特律，1989年8月，第1324-1330页。；J.de Kleer，B.C.Williams，行为模式诊断，载于：Proc。第11届国际。人工智能联合会议，美国密歇根州底特律，1989年8月，第1324-1330页·Zbl 0718.68081号
[12] J.Desharnais，标记马尔可夫过程，博士论文，麦吉尔大学，1999年11月。；J.Desharnais，标签马尔可夫过程，麦吉尔大学博士论文，1999年11月。
[13] J.Desharnais，马尔可夫链模拟的逻辑表征，载于：M.Kwiatkowska（编辑），Probmiv99，Proc。第二国际。伯明翰大学验证概率方法研讨会，1999年，第33-48页，可查阅TR:CSR-99-8。；J.Desharnais，马尔可夫链模拟的逻辑表征，载于：M.Kwiatkowska（编辑），Probemiv99，Proc。第二国际。伯明翰大学验证中的概率方法研讨会，1999年，第33-48页，TR:CSR-99-8。
[14] J.Desharnais，A.Edalat，P.Panangaden，标记马尔可夫过程互模拟的逻辑特征，收录于：Proc。第13届IEEE交响乐团。《计算机科学中的逻辑》，印第安纳波利斯，IEEE出版社，纽约，1998年6月，第478-489页。；J.Desharnais，A.Edalat，P.Panangaden，标记马尔可夫过程互模拟的逻辑特征，收录于：Proc。第13届IEEE交响乐团。《计算机科学中的逻辑》，印第安纳波利斯，IEEE出版社，纽约，1998年6月，第478-489页。
[15] Desharnais，J。；Edalat，A。；Panangaden，P.，标记马尔可夫过程的双向模拟，Inform。计算。，179, 2, 163-193 (2002) ·Zbl 1096.68103号
[16] J.Desharnais，V.Gupta，R.Jagadeesan，P.Panangaden，标记马尔可夫系统的度量，收录于：Proc。CONCUR99，《计算机科学讲稿》，柏林斯普林格，1999年。；J.Desharnais，V.Gupta，R.Jagadeesan，P.Panangaden，标记马尔可夫系统的度量，收录于：Proc。CONCUR99，计算机科学讲稿，柏林斯普林格，1999年·Zbl 0939.68081号
[17] J.Desharnais，V.Gupta，R.Jagadeesan，P.Panangaden，标记马尔可夫过程的近似，收录于：Proc。IEEE Symp.第15届年会。《计算机科学中的逻辑》，IEEE计算机社会出版社，马里兰州银泉出版社，2000年6月，第95-106页。；J.Desharnais，V.Gupta，R.Jagadeesan，P.Panangaden，标记马尔可夫过程的近似，在：Proc。IEEE Symp.第15届年会。《计算机科学中的逻辑》，IEEE计算机社会出版社，马里兰州银泉出版社，2000年6月，第95-106页。
[18] J.Desharnais，V.Gupta，R.Jagadeesan，P.Panangaden，标记马尔可夫过程弱互模拟的度量模拟，收录于：Proc。年第17届IEEE交响乐。《计算机科学中的逻辑》，丹麦哥本哈根，2002年7月，第413-422页。；J.Desharnais，V.Gupta，R.Jagadeesan，P.Panangaden，标记马尔可夫过程弱互模拟的度量模拟，收录于：Proc。年第17届IEEE交响乐。《计算机科学中的逻辑》，丹麦哥本哈根，2002年7月，第413-422页。
[19] Desharnais，J。；古普塔，V。；Jagadeesan，R。；Panangaden，P.，近似标记马尔可夫过程，Inform。计算。，184, 1, 160-200 (2003) ·Zbl 1028.68091号
[20] 德文克，E。；Rutten，J.J.M.M.，概率转移系统的互模拟，联合方法，理论。计算。科学。，221, 1/2, 271-293 (1999) ·Zbl 0930.68092号
[21] Devroye，L。；Györfi，L。；Lugosi，G.，模式识别的概率理论（1996），Springer:Springer Berlin·Zbl 0853.68150号
[22] Dill，D.，用于速度无关电路的自动分层验证的Trace理论，ACM杰出论文（1988），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥
[23] Edgar，G.A.，《积分、概率和分形测度》（1998），《施普林格：施普林格柏林》·Zbl 0893.28001号
[24] Geroch，R.，《数学物理》，芝加哥物理讲座（1985），芝加哥大学出版社：芝加哥大学出版社·Zbl 0653.00022号
[25] A.Giacalone，C.Jou，S.Smolka，概率并发系统的代数推理，摘自：Proc。《编程概念和方法工作会议》，IFIP TC2，以色列加利利海，1990年。；A.Giacalone，C.Jou，S.Smolka，概率并发系统的代数推理，摘自：Proc。工作会议，编程概念和方法，IFIP TC2，以色列加利利海，1990年。
[26] 古普塔，V。；亨辛格，T.A。；Jagadeesan，R.，Robust Time automata，（Maler，O.，Hybrid and Real-Time Systems.Hybrid-Real-Time Systems，计算机科学讲义，第1201卷（1997年3月），Springer:Springer Berlin），331-345
[27] H.Hansson，B.Jonsson，《具有时间和概率的通信系统的微积分》，摘自：Proc。第11届IEEE实时系统研讨会。，IEEE计算机学会出版社，马里兰州银泉出版社，1990年，第278-287页。；H.Hansson，B.Jonsson，《具有时间和概率的通信系统的微积分》，摘自：Proc。第11届IEEE实时系统研讨会。，IEEE计算机学会出版社，马里兰州银泉出版社，1990年，第278-287页。
[28] 哈特，S。；Sharir，M.，概率命题时序逻辑，Inform。控制，70，97-155（1986）·Zbl 0614.03024号
[29] J.Hillston，《性能建模的组合方法》，爱丁堡大学博士论文，1994年（剑桥大学出版社1996年出版的杰出论文）。；J.Hillston，《性能建模的组合方法》，爱丁堡大学博士论文，1994年（剑桥大学出版社于1996年以杰出论文的形式出版）·兹比尔1080.68003
[30] Hutchinson，J.E.，《分形与自相似》，印第安纳大学数学系。J.，30713-747（1981）·兹伯利0598.28011
[31] M.Huth，M.Kwiatkowska，《定量分析和模型检验》，摘自：Proc。12 IEEE交响乐。《计算机科学中的逻辑》，IEEE出版社，纽约，1997年，第111-122页。；M.Huth，M.Kwiatkowska，《定量分析和模型检验》，摘自：Proc。12 IEEE交响乐。《计算机科学中的逻辑》，IEEE出版社，纽约，1997年，第111-122页。
[32] C.Jones，G.D.Plotkin，《评估的概率功率域》，摘自：Proc。IEEE第四交响曲。《计算机科学中的逻辑》，美国加利福尼亚州阿西洛马，1989年，第186-195页。；C.Jones，G.D.Plotkin，《评估的概率功率域》，摘自：Proc。IEEE第四交响曲。《计算机科学中的逻辑》，美国加利福尼亚州阿西洛马，1989年，第186-195页·Zbl 0716.06003号
[33] B.Jonsson，W.Yi，概率过程的组合测试预订单，in：Proc。第10届IEEE年会。《计算机科学中的逻辑》，美国加利福尼亚州圣地亚哥，1995年，第431-441页。；B.Jonsson，W.Yi，概率过程的组合测试预订单，in：Proc。第十届IEEE交响乐团。《计算机科学中的逻辑》，美国加利福尼亚州圣地亚哥，1995年，第431-441页。
[34] Josephs，M.B.，接受过程理论，信息学报。，29, 1, 17-31 (1992) ·Zbl 0724.68037号
[35] Jou，C.-C。；Smolka，S.A.，《概率过程的等价、同余和完全公理化》，（Baeten，J.C.M.；Klop，J.W.，CONCUR 90 First Internat.Conf.on Concurrency Theory。CONCUR 90First Internat.Conf.on Concurrence Theory，计算机科学讲义，第458卷（1990），Springer:Springer Berlin）·兹比尔0746.68005
[36] Kozen，D.，《概率PDL》，J.Compute。系统科学。，30, 2, 162-178 (1985) ·Zbl 0575.03013号
[37] Kwiatkowska，M。；Norman，G.J.，《带递归的简单语言的概率度量语义》，（Penczek，W.；Szalas，a.，Proc.21th Internat.Symp.on Math.Foundations of Computer Science，Proc.21 Internat.数学交响乐.Foundation of Math.Computer科学基础，计算机科学讲义，第1113卷（1996），Springer:Springer Berlin），419-430
[38] Kwiatkowska，M。；Norman，G.J.，《反应概率过程的测试等价性》，（Castelliani，I.；Palamidessi，C.，Proc.Fifth Internat.并发表达研讨会，Proc.第五Internat.并行表达研讨会，理论计算机科学电子笔记，第16卷（1998），Elsevier:Elsevier Amsterdam）·Zbl 0917.68154号
[39] Larsen，K.G。；Skou，A.，通过概率测试的互模拟，Inform。计算。，94, 1-28 (1991) ·Zbl 0756.68035号
[40] P.D.Lincoln，J.C.Mitchell，M.Mitchells，A.Scedrov，协议分析的概率多时间框架，摘自：Proc。第五届ACM计算机和通信安全会议（CCS-5），旧金山，1998年，第112-121页。；P.D.Lincoln，J.C.Mitchell，M.Mitchells，A.Scedrov，协议分析的概率多时间框架，摘自：Proc。第五届ACM计算机和通信安全会议（CCS-5），旧金山，1998年，第112-121页。
[41] 北卡罗来纳州林奇。；Tuttle，M.R.，《输入/输出自动机简介》，CWI Quart。，2, 3, 219-246 (1989) ·Zbl 0677.68067号
[42] M.A.Marsan，《随机petri网：初步介绍》，载于：《1989年petri网的进展》，柏林斯普林格出版社，1989年，第1-29页。；M.A.Marsan，《随机petri网：初步介绍》，载于《1989年petri网的进展》，柏林斯普林格出版社，1989年，第1-29页。
[43] Parthasarathy，K.R.，《度量空间上的概率测度》（1967），学术出版社：纽约学术出版社·Zbl 0153.19101号
[44] Peterson，J.L。；Silberschatz，A.，操作系统概念（1985），Addison-Wesley Inc：Addison-Whesley Inc Reading，MA
[45] R.Segala，《随机分布式实时系统的建模与验证》，麻省理工学院电气工程与计算机科学系博士论文，1995年，另见MIT/LCS/TR-676技术报告。；R.Segala，《随机分布式实时系统的建模与验证》，麻省理工学院电气工程与计算机科学系博士论文，1995年，另见技术报告MIT/LCS/TR-676。
[46] F.W.Vaandrager，《关于过程代数和输入/输出自动机之间的关系》，in：Proc。第六年IEEE交响曲。《计算机科学中的逻辑》，IEEE计算机社会出版社，马里兰州银泉出版社，1991年7月，第387-398页。；F.W.Vaandrager，《关于过程代数和输入/输出自动机之间的关系》，in：Proc。第六年IEEE交响曲。《计算机科学中的逻辑》，IEEE计算机社会出版社，马里兰州银泉出版社，1991年7月，第387-398页。
[47] F.van Breugel，私人通信。；F.van Breugel，私人通信。
[48] F.van Breugel，私人通信。；F.van Breugel，私人通信。
[49] F.van Breugel，M.Mislove，J.Ouaknine，J.Worrell，近似概率双相似性的内在表征，摘自：Proc。FOSSACS 03，《计算机科学讲义》，第2620卷，施普林格，柏林，2003年。；F.van Breugel，M.Mislove，J.Ouaknine，J.Worrell，近似概率双相似性的内在表征，摘自：Proc。FOSSACS 03，《计算机科学讲义》，第2620卷，施普林格，柏林，2003年·Zbl 1029.68112号
[50] van Breugel，F。；Worrell，J.，《概率系统定量验证的算法》（Larsen，K.G.；Nielsen，M.，Proc.12th Internat.Conf.on Concurrency Theory-CONCUR’01）。程序。第12届国际米兰。Conf.on Concurrency Theory-CONCUR’01，计算机科学讲义，第2154卷（2001），Springer:Springer Berlin），336-350·Zbl 1006.68079号
[51] F.van Breugel，J.Worrell，《概率系统的定量验证》，载：Proc。第28届国际。科尔。关于自动机、语言和编程。施普林格，柏林，2001年。；F.van Breugel，J.Worrell，《概率系统的定量验证》，摘自：Proc。第28届国际。科尔。关于自动机、语言和编程。施普林格，柏林，2001年·Zbl 0986.68093号
[52] 范·格拉贝克，R。；斯莫尔卡，S.A。；Steffen，B.U.，概率过程的反应、生成和分层模型，Inform。计算。，121, 1, 59-80 (1995) ·Zbl 0832.68042号
[53] 北维斯瓦纳达姆。；Narahari，Y.，《自动化制造系统的性能建模》（1992），Prentice-Hall Inc:Prentice-Hall Inc Englewood Cliffs，NJ·兹比尔0800.90541
[54] Wu，S.-H。；斯莫尔卡，S.A。；Stark，E.W.，概率I/O自动机的组成和行为，Theoret。计算。科学。，176, 1-2, 1-36 (1997) ·Zbl 0903.68123号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。