文件大小：0.51 MB 15页
基于跨度和耦合的随机过渡系统的组成
作者
-
部分： 体积： 第43届国际自动化、语言和编程学术讨论会（ICALP 2016）
系列： 莱布尼茨国际信息学论文集
会议： 自动化、语言和编程国际学术讨论会（ICALP） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-08-23
文件
文件标识符
引用为 获取BibTex
摘要
关键词
随机过渡系统 组成 随机混合运动自动机 随机独立 联轴器 跨度 仿真对 一致性 Po公司
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
拉德·阿尔法罗。 概率系统的形式验证。 斯坦福大学博士论文，1997年。 
-
拉德·阿尔法罗。 随机过渡系统。 在第九届并行理论国际会议（CONCUR）上，LNCS 1446，第423-438页。 斯普林格，1998年。
-
R.Alur、C.Courcoubetis、N.Halbwachs、T.A.Henzinger、P.Ho、X.Nicollin、A.Olivero、J.Sifakis和S.Yovine。 混合系统的算法分析。 理论计算机科学，138（1）：3-341995。
-
R.Alur和D.L.Dill。 时间自动机理论。 理论计算机科学，126:183-2351994。
-
R.Alur和T.A.Henzinger。 定时和混合系统的模块化。 在第八届并行理论国际会议（CONCUR）上，LNCS 1243，第74-88页。 施普林格，1997年。
-
巴奇、巴奇、拉森和马达尔。 任意可测空间上马尔可夫过程的互模拟。 在心灵的地平线。 向P.Panangaden致敬，LNCS 8464，第76-95页。 斯普林格，2014年。
-
P.Billingsley。 概率测度的收敛性。 Wiley-Interscience，第2版，1999年。
-
V.I.博加乔夫。 测量理论卷，第1卷和第2卷。 施普林格，2007年。
-
H.Bohnenkamp、P.R.D'Argenio、H.Hermanns和J.-P.Katoen。 MoDeST：实时和随机系统的组合建模形式。 IEEE软件工程学报，32（10）：812-8302006。
-
S.Bornot和J.Sifakis。 关于混合系统的组成。 第一届混合系统国际研讨会：计算与控制（HSCC），计算机科学课堂讲稿第1386卷，第49-63页。 斯普林格，1998年。
-
P.Bouyer、T.Brihaye、P.Carlier和Q.Menet。 随机时间自动机的组成设计。 在俄罗斯第11届国际计算机科学研讨会（CSR）上，LNCS，2016（即将亮相）。
-
布拉维蒂先生。 实时和随机时间。 《实时系统设计的形式方法》，计算机、通信和软件系统设计形式方法国际学校（SFM-RT），LNCS 3185，第132-180页。 斯普林格，2004年。
-
M.Bravetti和P.R.D'Argenio。 Tutte le algebrare insime：具有一般分布的随机过程代数的概念、讨论和关系。 《随机系统验证-当前研究指南》，LNCS 2925，第44-88页。 斯普林格，2004年。
-
M.Bravetti和R.Gorrieri。交互式广义半马尔可夫过程理论。 理论计算机科学，282（1）：5-322002。
-
M.L.Bujorianu和John Lygeros。 走向随机混合系统的一般理论。 《随机混合系统》，《控制与信息科学讲义》第337卷，第3-30页。 斯普林格，2006年。
-
S.Cattani、R.Segala、M.Z.Kwiatkowska和G.Norman。 连续状态空间和非确定性的随机转移系统。 在第八届软件科学和计算结构基础国际会议（FOSSACS）上，LNCS 3441，第125-139页。 斯普林格，2005年。
-
V.Danos、J.Desharnais、F.Laviolette和P.Panangaden。 概率系统的互模拟和同余。 信息与计算，204（4）：503-5232006。
-
P.R.D’Argenio先生。 时间和随机系统的代数和自动机。 特温特大学博士论文，1999年。
-
P.R.D’Argenio和J.-P.Katoen。 随机系统理论第一部分：随机自动机和第二部分：过程代数。 信息与计算，203（1）：1-742005。
-
P.R.D’Argenio、P.Sánchez Terraf和N.Wolovick。 非确定性标记马尔可夫过程的互模拟。 计算机科学中的数学结构，22:43-682012。
-
E.P.de Vink和J.J.M.M.Rutten。 概率转移系统的互模拟：一种联合方法。 理论计算机科学，221:271-2931999。
-
J.Desharnais、A.Edalat和P.Panangaden。 标记马尔可夫过程的互模拟。 信息与计算，179（2）：163-1932002。
-
C.Eisentraut、H.Hermanns和L.Zhang。 关于连续时间中的概率自动机。 第25届IEEE计算机科学逻辑研讨会（LICS），342-351页。 IEEE计算机学会，2010年。
-
M.Fränzle、E.M.Hahn、H.Hermann、N.Wolovick和L.Zhang。 随机混合系统的可测性和安全性验证。 第14届混合系统国际会议：计算与控制（HSCC），第43-52页。 ACM，2011年。
-
D.Gburek、C.Baier和S.Klüppelholz。 基于跨度和耦合的随机过渡系统的组成。 技术报告，德累斯顿理工大学，2016年。 网址： http://wwwtcs.inf.tu-dresden.de/ALGI/PUB/ICALP16/ . -
E.M.哈恩。 模型检验随机混合系统。 萨尔兰德大学博士论文，2013年。
-
E.M.Hahn、A.Hartmanns、H.Hermann和J.-P.Katoen。 随机混合系统的组合建模和分析框架。 系统设计中的形式方法，2012年。
-
A.Hartmanns和H.Hermanns。 在定量自动化动物园。 《计算机编程科学》，112:3-232015年。
-
T.A.亨廷格。 混合自动机理论。 第11届IEEE计算机科学逻辑研讨会（LICS），第278-292页。 IEEE计算机学会，1996年。
-
H.赫尔曼。 交互式马尔可夫链：以及量化质量的探索。 斯普林格，2002年。
-
H.Hermanns、J.Krcál和J.Kretínsk。 概率互模拟：自然分布。 在第25届并行理论国际会议（CONCUR）上，LNCS 8704，第249-265页。 斯普林格，2014年。
-
C.A.R.霍尔。 通信顺序过程。 Prentice-Hall，Inc.，美国新泽西州上鞍河，1985年。
-
J.Hu、J.Lygeros和S.Sastry。 走向随机混合系统理论。 第12届混合动力系统国际会议：计算与控制（HSCC），LNCS 1790，第160-173页。 斯普林格，2000年。
-
A.S.Kechris，《经典描述集理论》，《数学研究生论文》第156卷。 斯普林格，1995年。
-
H.Kerstan和B.König。 基于测度理论的概率转移系统的余代数迹语义。 第23届并发理论国际会议，LNCS 7454，第410-424页。 施普林格，2012年。
-
N.Lynch、R.Segala和F.Vaandrager。 混合I/O自动机。 信息与计算，185（1）：105-1572003。
-
R.Milner。 通信系统微积分。 施普林格，1982年。
-
S.Mitra和N.Lynch。 概率定时I/O自动机的基于跟踪的语义。 第十二届混合系统国际会议：计算与控制（HSCC），LNCS 4416，第718-722页。 施普林格，2007年。
-
R.塞加拉。 随机分布式实时系统的建模与验证。 麻省理工学院博士论文，1995年。
-
J.斯普洛斯顿。 概率定时和混合系统的模型检验。 伯明翰大学博士论文，2001年。
-
V.斯特拉森。 给定边际的概率测度的存在性。 《数理统计年鉴》，36（2）：423-4391965年。