克里斯特尔·拜尔;霍尔格赫尔曼斯;Joost-Pieter卡托恩 概率弱模拟在多项式时间内是可判定的。 (英语) Zbl 1183.68703号 Inf.流程。莱特。 89,第3期,123-130(2004). 摘要:本文考虑了马尔可夫链的弱模拟预序,该预序允许口吃。尽管其定义中存在二阶量化,但我们提出了一种多项式时间算法来计算有限马尔可夫链的弱模拟预序。 引用于10文件 MSC公司: 68岁20岁 模拟(MSC2010) 关键词:算法;计算复杂性;马尔可夫链;绩效评估;模拟预订单 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息处理》。莱特。89,第3号,第123--130条(2004年;Zbl 1183.68703) 全文: 内政部 参考文献: [1] Andova,S。;Baeten,J.,概率过程代数中的抽象,(Margaria,T.;Yi,W.,《系统构建和分析的工具和算法》,《系统的构建和分析工具和算法,计算科学讲义》,第2031卷(2001),施普林格:施普林格柏林),204-219·Zbl 0978.68100号 [2] 拜尔,C。;Engelen,B。;Majster-Cederbaum,M.,《确定概率过程的双相似性和相似性》,J.Compute。系统科学。,60, 1, 187-231 (2000) ·Zbl 1073.68690号 [3] 拜尔,C。;Hermanns,H.,《全概率系统的弱互模拟》,(Grumberg,O.,《计算机辅助验证》,《计算机科学讲义》,第1256卷(1997),施普林格:施普林格-柏林),119-130 [4] 拜尔,C。;Hermanns,H。;Katoen,J.-P。;Wolf,V.,马尔可夫链的比较分支时间语义,(de Simone,R.;Lugiez,D.,并发理论。并发理论,计算科学讲义,第2761卷(2003年),Springer:Springer-Berlin),492-508·Zbl 1274.68264号 [5] 拜尔,C。;Katoen,J.-P。;Hermanns,H。;Haverkort,B.,《连续时间Markov链的模拟》(Brim,L.等,并发理论,计算科学讲义,第2421卷(2002年),Springer:Springer-Berlin),338-354·Zbl 1012.68526号 [6] 拜尔,C。;Stoelinga,M.,《时滞概率互模拟的范数函数》,(Tiuryn,J.,《软件科学与计算结构的发现》,《软件科技与计算结构发现》,计算科学讲义,第1784卷(2000),施普林格:施普林格-柏林),1-16·兹比尔0961.68087 [7] Bravetti,M.,《重新审视交互式马尔可夫链》,(Vogler,W.;Larsen,K.G.,《时间关键系统模型》,《金砖国家注释系列NS-02-3(2002)》),60-80·Zbl 1270.68207号 [8] 布朗,M。;克拉克,E。;Grumberg,O.,《表征命题时态逻辑中的有限Kripke结构》,Theoret。计算。科学。,59, 115-131 (1988) ·Zbl 0677.03011号 [9] Buchholz,P.,有限马尔可夫链中的精确和普通集总性,J.Appl。概率。,31, 59-75 (1994) ·Zbl 0796.60073号 [10] 卡塔尼,S。;Segala,R.,概率互模拟的决策算法,(Brim,L.;等人,并发理论。并发理论,计算机科学讲义,第2421卷(2002年),施普林格:施普林格柏林),371-385·Zbl 1012.68127号 [11] 德里萨维,S。;Hermanns,H。;Sanders,W.H.,马尔可夫链中的最优状态空间集块,Inform。过程。莱特。,87, 6, 309-315 (2003) ·兹比尔1189.68039 [12] Gentilini,R。;C.广场。;Policriti,A.,《模拟作为最粗划分问题》,(Katoen,J.-P.;Stevens,P.,《系统构建和分析的工具和算法》,《系统构造和分析工具和算法,计算科学讲义》,第2280卷(2002),Springer:Springer Berlin),415-430·Zbl 1043.68590号 [13] van Glabbeek,R.J。;韦杰兰德,W.P.,互模拟语义中的分支时间和抽象,J.ACM,43,3,555-600(1996)·Zbl 0882.68085号 [14] Henzinger,M.R。;Henzinger,T。;Kopke,P.W.,有限图和无限图的计算模拟,(IEEE Symp.on Foundation of Comp.Sci.(1995)),453-462·Zbl 0938.68538号 [15] Hillston,J.,《绩效建模的组合方法》(1996),剑桥大学出版社:剑桥大学出版社 [16] Hyunh,T。;Tian,L.,关于概率过程的一些等价关系,Fund。通知。,17, 211-234 (1992) ·Zbl 0766.68099号 [17] Jonsson,B.,《分布式系统规范之间的模拟》,(Baeten,J.C.M.;Groote,J.F.,《并发理论》,《计算科学讲义》,第527卷(1991),Springer:Springer-Berlin),346-360 [18] 琼斯,C。;Plotkin,G.,评估的概率功率域,(IEEE计算机科学逻辑交响乐团(1989)),186-195年·Zbl 0716.06003号 [19] Jonsson,B。;Larsen,K.G.,概率过程的规范和精化,(IEEE计算机科学逻辑研讨会(1991)),266-277 [20] Kemeny,J.G.(凯门尼,J.G.)。;Snell,J.L.,《有限马尔可夫链》(1960),Van Nostrand:Van Nostrand纽约·Zbl 0112.09802号 [21] Kulkarni,V.G.,《随机系统建模与分析》(1995),查普曼和霍尔:查普曼与霍尔伦敦·Zbl 0938.60004号 [22] Milner,R.,《沟通与并发》(1989),普伦蒂斯·霍尔:普伦蒂斯霍尔·恩格尔伍德·克利夫斯,新泽西州·Zbl 0683.68008号 [23] 佩奇,R。;Tarjan,R.,三分区优化算法,SIAM J.Compute。,16, 6, 973-989 (1987) ·Zbl 0654.68072号 [24] Papadimitriou,C.H。;Steiglitz,K.,《组合优化:算法和复杂性》(1998),多佛:纽约州多佛市米诺拉·Zbl 0944.90066号 [25] 菲利普·A。;李,I。;Sokolsky,O.,概率系统的弱互模拟,(Palamidessi,C.,并发理论,计算科学讲义,第1877卷(2000年),Springer:Springer-Berlin),334-349·Zbl 0999.68146号 [26] Puterman,M.L.,《马尔可夫决策过程:离散随机动态规划》(Markov Decision Processes:Discrete Stochastic Dynamic Programming)(1994),John Wiley&Sons:John Willey&Sons New York·Zbl 0829.90134号 [27] Schrijver,A.,《线性和整数规划理论》(1986),John Wiley&Sons出版社:John Wiley&Sons纽约·Zbl 0665.90063号 [28] Tan,L。;Cleaveland,R.,《重访模拟》,(Margaria,T.;Yi,W.,《系统构建和分析的工具和算法》,《系统构造和分析工具和算法,计算科学讲义》,第2031卷(2002),施普林格:施普林格柏林),480-495·Zbl 0986.68165号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。