×
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔

马尔可夫链总变差距离的完全公理化。 （英语） Zbl 1525.68080号

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 27-39 (2018).
摘要：我们提出了有限标记马尔可夫链的总变差距离的完全公理化。我们的公理化是以定量演绎系统的形式给出的，该系统是最近由R.马尔代尔等[LICS 2016，700–709（2016；兹比尔1391.68021)]通过有理数索引的等式关系推论（t等价varepsilon s）来扩展经典的等式演绎系统，表示“（t）在误差范围内近似等于（s）”。值得注意的是，定量方程组是通过扩展我们先前的公理化得到的G.巴奇等[LIPIcs–Leibniz Int.Proc.Inform.59，Article 21，14 p.（2016；Zbl 1392.68282号)]基于概率选择的前缀算子的概率双相似距离A.拉宾诺维奇’s【Lect.Notes Compute.Sci.802，530-543（1994；Zbl 1509.68189号)]. 最后，我们对有限标记马尔可夫链的Kleene-style表示定理提出了一个度量扩展，由于A.席尔瓦和A.索科洛娃【电子注释理论计算科学》276291–311（2011；Zbl 1342.68243号)].
关于整个系列，请参见[Zbl 1392.68033号].

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B70号 计算机科学中的逻辑
60J10型 马尔可夫链（离散状态空间上的离散时间马尔可夫过程）
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）

关键词：

行为距离;马尔可夫链;公理化;定量演绎系统

引文：

兹比尔1391.68021;兹比尔1392.68282;Zbl 1509.68189号;Zbl 1342.68243号
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，《电子》。注释Theor。计算。科学。336、27-39（2018年；Zbl 1525.68080）
全文： 内政部

参考文献：

[1] 卢卡·埃特罗（Luca Aceto）；佐尔坦埃西克；Ingólfsdóttir，Anna，概率相似性的等式公理（AMAST 2002）。AMAST 2002，计算机科学课堂讲稿（2002），239-253·Zbl 1275.68099号
[2] 乔治·巴奇；乔瓦尼·巴奇；Larsen，Kim G。；Mardare，Radu，《马尔可夫链上从分支到线性度量的收敛》，（ICTAC.ICTAC，计算机科学讲义，第9399卷（2015年），Springer），349-367·Zbl 1407.68277号
[3] 乔治·巴奇；乔瓦尼·巴奇；Larsen，Kim G。；Mardare，Radu，《关于半马尔科夫链的总变差距离》，（FoSSaCS.FoSSaCS，计算机科学讲义，第9034卷（2015）），185-199·Zbl 1459.68116号
[4] 乔治·巴奇；乔瓦尼·巴奇；Larsen，Kim G。；Mardare，Radu，马尔可夫链上双相似距离的完全公理化，（CONCUR.CONCUR，LIPIcs，第59卷（2016），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），21:1-21:14·兹比尔1392.68282
[5] 伊曼纽尔·班迪尼；Segala，Roberto，概率互模拟公理化，（ICALP.ICALP，计算机科学讲义（2001）），370-381·兹伯利0986.68073
[6] Filippo Bonchi；马塞洛·M·邦桑格。；Rutten，Jan J.M.M。；Silva，Alexandra，《导出定量规则行为的语法和公理》，（CONCUR.CONCUR，《计算机科学讲义》，第5710卷（2009），Springer），146-162·Zbl 1254.68129号
[7] 马塞洛·邦桑格；斯特凡·米利厄斯；Silva，Alexandra，Coalgebraic语言等价的声音和完全公理化，ACM计算逻辑汇刊，14，1，7（2013）·Zbl 1353.68186号
[8] 邓玉欣；Palamidessi，Catuscia，概率有限状态行为公理化，Theor。计算。科学。，373, 1-2, 92-114 (2007) ·Zbl 1111.68081号
[9] Josee Desharnais；古普塔、维尼特；拉达·贾加迪桑；帕南加登，普拉卡什，标记马尔可夫过程的度量，理论计算机科学，318，3，323-354（2004）·Zbl 1068.68093号
[10] 亚历山德罗·贾卡隆；Chi chang Jou；Smolka，Scott A.，概率并发系统的代数推理，（IFIP TC2编程概念和方法工作会议（1990年），北荷兰），443-458
[11] 朱智昌（Jou，Chi-Chang）；Smolka，Scott A.，概率过程的等价、同余和完全公理化，（CONCUR.CONCUR，计算机科学讲义，第458卷（1990），Springer），367-383
[12] Stephen Kleene，神经网络和有限自动机中事件的表示，自动机研究，34，3-42（1956）
[13] Kozen，Dexter，kleene代数和正则事件代数的完备性定理，（LICS（1991），IEEE计算机学会），214-225
[14] Larsen，Kim Guldstrand；阿恩·斯科（Arne Skou），《通过概率测试进行相互模拟》（POPL（1989）），第344-352页
[15] Radu Mardare；帕南加登，普拉卡什；Gordon D.Plotkin，《定量代数推理》（LICS（2016），ACM），700-709·兹比尔1391.68021
[16] 罗宾·米尔纳，一类规则行为的完整推理系统，J.Compute。系统。科学。，28, 3, 439-466 (1984) ·Zbl 0562.68065号
[17] Mislove，Michael；约尔·瓦克宁；詹姆斯·沃雷尔（James Worrell），《概率和不确定性公理》（Axioms for probability and nondeterminism），《理论计算机科学中的电子笔记》（Electronic Notes in Theory Computer Science），96，7-28（2004）·Zbl 1271.68192号
[18] 戈登·普洛金（Gordon D.Plotkin）。；Power，John，《代数运算的语义》，Electr。注释Theor。计算。科学。，45, 332-345 (2001) ·兹比尔1260.68220
[19] Rabinovich，Alexander Moshe，有限状态行为的迹同余的完全公理化，（MFPS.MFPS，计算机科学讲义，第802卷（1993），Springer），530-543·Zbl 1509.68189号
[20] Salomaa，Arto，正则事件代数的两个完整公理系统，J.ACM，13，1，158-169（1966）·Zbl 0149.24902号
[21] 亚历山德拉·席尔瓦；Filippo Bonchi；马塞洛·M·邦桑格。；Rutten，Jan J.M.M.，定量kleene余代数，Inf.Compute。，209, 5, 822-849 (2011) ·Zbl 1227.68075号
[22] 亚历山德拉·席尔瓦；Sokolova，Ana，概率系统迹语义的健全和完全公理化，Electr。注释Theor。计算。科学。，276, 291-311 (2011) ·Zbl 1342.68243号
[23] 尤金·斯塔克。；Scott A.Smolka，《有限状态概率过程的完整公理系统》，（证明、语言和交互，Robin Milner荣誉论文（2000），麻省理工出版社），571-596
[24] Stone，Marshall H.，重心演算假设，Annali di Matematica Pura ed Applicata，29，1，25-30（1949）·Zbl 0037.25002号
[25] 范·布鲁格尔（Frank van Breugel）；詹姆斯·沃雷尔（James Worrell），《概率转移系统的定量验证》（ICALP.ICALP，计算机科学讲稿，第2076卷（2001）），421-432·兹伯利0986.68093
[26] 范·布鲁格尔（Frank van Breugel）；Worrell，James，概率转移系统中行为距离的近似和计算，理论计算机科学，360，1-3，373-385（2006）·Zbl 1097.68102号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。