×
Jan Friso，格鲁特;里奥·里维拉·威尔杜斯科;埃里克·P·德文克。

一种确定概率互模拟的有效算法。 （英语） Zbl 1461.68133号

算法（巴塞尔） 11，第9号，第131号论文，22页（2018年）.
摘要：我们提供了一种有效计算概率标记转换系统互模拟的算法，该系统具有非确定性选择和离散概率选择的特点。该算法在转换次数上是线性的，在状态数上是对数的，可以区分动作状态和概率状态，以及它们之间的转换。该算法改进了迄今为止针对相同目的提出的最佳算法的复杂度界限C.拜尔等人[J.Compute.Syst.Sci.60，No.1，187-231（2000；Zbl 1073.68690号)]. 此外，通过实验，在各种基准上，我们的算法表现得相当好；即使在相对较小的过渡系统上，也可以实现因子10000的性能增益。

引用于5文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
第68季度87 计算机科学中的概率（算法分析、随机结构、相变等）
68瓦40 算法分析

关键词：

不确定性概率系统;概率标记转换系统;概率互模拟;分区重新定义算法

引文：

Zbl 1073.68690号

软件：

mCRL2型
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}等人，《算法（巴塞尔）》11，第9期，第131号论文，22页（2018；Zbl 1461.68133）
全文： 内政部

参考文献：

[1] 拉森，K.G。；A.斯科。；通过概率测试进行互模拟；信息计算：1991年；第94卷，1-28页·Zbl 0756.68035号
[2] 塞加拉，R。；随机分布式实时系统的建模与验证；博士论文：剑桥，马萨诸塞州，美国1995年。
[3] 塞加拉，R。；林奇，N。；概率过程的概率模拟；CONCUR’94：并发理论：德国柏林，2005年；第836481-496卷。
[4] 拜尔，C。；Engelen，B。；Majster-Cederbaum，医学博士。；决定概率过程的二相似性和相似性；J.计算。系统。科学：2000; 第60卷，187-231·Zbl 1073.68690号
[5] 佩奇，R。；R.E.塔尔詹。；三种分区细化算法；SIAM J.计算：1987; 第16卷，973-989·Zbl 0654.68072号
[6] Valmari，A。；弗朗西斯基尼，G。；简单O（mlogn）时间马尔可夫链集总；第十六届系统构建与分析工具与算法国际会议论文集：，38-52. ·Zbl 1284.68437号
[7] 德萨维，S。；Hermanns，H。；桑德斯，H。；马尔可夫链中的最优状态空间集总；信息处理。信函：2003; 第87卷，309-315·Zbl 1189.68039号
[8] Kwiatkowska，M。；诺曼，G。；帕克，D。；随机模型检验；第七届绩效评估正式方法国际会议记录：，220-270. ·Zbl 1323.68379号
[9] Groote，J.F。；穆萨维，M.R；通信系统建模与分析：美国马萨诸塞州剑桥市，2014·Zbl 1353.68006号
[10] 克兰恩，S。；Groote，J.F。；Keiren，J.J.A。；订书机，F.P.M。；德文克，E.P。；Wesselink，J.W。；威廉姆斯，T.A.C。；mCRL2工具集及其最新进展综述；用于系统构建和分析的工具和算法：德国柏林，2013年；第7795卷，199-213·Zbl 1381.68198号
[11] 汉森，H.A。；Jonsson，B。；关于时间和可靠性的推理逻辑；形式方面计算：1994; 第6卷，512-535·Zbl 0820.68113号
[12] Katoen，J.-P。；肯纳，T。；扎普列夫，I。；詹森，D.N。；互模拟最小化主要加快概率模型检验；系统构建和分析的工具和算法：德国柏林，2007年；第4424卷，第87-101页·Zbl 1186.68296号
[13] Dehnert，C。；Katoen，J.-P。；帕克，D。；基于SMT的马尔可夫模型互模拟最小化；验证、模型检查和抽象解释：德国柏林，2013年；卷7737，28-47·Zbl 1426.68168号
[14] 宋，L。；张，L。；Hermanns，H。；Godskesen，J.C。；增量互模拟抽象细化；ACM事务处理。嵌入式计算。系统：2014; 第13卷，1-23。
[15] Hillston，J。；A.马林。；罗西，S。；C.广场。；上下文集总性；第七届国际绩效评估方法和工具会议记录：，194-203.
[16] 克雷法，S。；Ranzato，F。；基于抽象解释的概率转移系统的互模拟与仿真算法；形式方法系统。设计：2012; 第40卷，356-376·Zbl 1290.68093号
[17] 美国多尔施。；米利厄斯，S。；施罗德，L。；Wissmann，T。；高效的余代数划分精化；arXiv:2017年。
[18] 张，L。；Hermanns，H。；艾森布兰德，F。；詹森，D.N。；流程更快：用于概率模拟的高效决策算法；逻辑方法计算。科学：2008; 第4卷，1-43·Zbl 1161.68473号
[19] 张，L。；詹森，D.N。；概率自动机上的一种空间有效模拟算法；信息计算：2016; 第249卷，138-159页·Zbl 1345.68219号
[20] 卡塔尼，S。；塞加拉，R。；概率互模拟的决策算法；CONCUR 2002：并发理论：德国柏林，2002；第2421卷，第371-386页·Zbl 1012.68127号
[21] Turrini，A。；Hermanns，H。；概率自动机的多项式时间决策算法；信息计算：2015; 第244134-171卷·Zbl 1329.68168号
[22] 轩尼诗，M。；探索概率互模拟，第一部分；形式方面计算：2012; 第24卷，749-768·Zbl 1259.68153号
[23] Kannelakis，P。；斯莫尔卡，S。；CCS表达式、有限状态过程和三个等价问题；信息计算：1990; 第86卷，第43-68页·Zbl 0705.68063号
[24] Groote，J.F。；詹森，D.N。；Keiren，J.J.A。；A.J.Wijs。；计算断续等价和分支互模拟的O（mlogn）算法；ACM事务处理。计算。逻辑：2017年；第18卷，1-34·兹比尔1367.68211
[25] Valmari，A。；O（mlogn）时间内的简单双相似性最小化；芬丹。信息：2010年；第105卷，319-339页·Zbl 1209.68344号
[26] 拜尔，C；个人交流：2018。
[27] 安东尼克·G。；网格上的蚂蚁。
[28] Groote，J.F。；德文克，E.P。；有见地的过程代数解题；建模教育、测试教育、信任教育。计算机科学讲稿：Cham，瑞士2017；卷10500，48-63·Zbl 1498.68186号
[29] 班迪尼，E。；塞加拉，R。；概率互模拟的公理化；2001年第28届国际自动化、语言和编程学术讨论会论文集：，370-381. ·Zbl 0986.68073号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。