×
塞勒姆德里萨维;彼得·坎佩尔;威廉·H·桑德斯。

状态共享组合模型的符号状态空间探索和数值分析。 （英语） Zbl 1048.65007号

线性代数应用。 386, 137-166 (2004).
摘要：现实世界系统的随机模型的复杂性通常是通过抽象细节和以分层方式构建模型来管理的。系统通常是通过复制和连接子系统来构建的，这使得创建可生成集总状态空间的模型结构成为可能。这一事实被用来促进基于模型的数值分析。同样，最近关于模型构建的结果表明，决策图可以用来紧凑地表示大型连续时间马尔可夫链（CTMC）。
在本文中，我们提出了一种结合并扩展这两种方法的方法。特别是，我们提出了适用于基于共享状态变量的层次结构模型的方法。层次结构的构造方式是在构造的模型中暴露结构对称性，从而便于集中。此外，这些方法允许直接从给定模型导出相关CTMC的符号表示，而无需计算和存储整个状态空间或CTMC。生成矩阵的结果表示允许以集总形式分析大型CTMC。通过两个示例模型证明了该方法的有效性。

引用于2文件

MSC公司：

65立方厘米 马尔可夫链的数值分析或方法
60J22型 马尔可夫链中的计算方法

关键词：

多值决策图;矩阵图;符号状态空间探索;连续时间马尔可夫链;数值示例
PDF格式BibTeX公司 XML格式引用
\textit{S.Derisavi}等人，《线性代数应用》。386137--166（2004年；Zbl 1048.65007）
全文： 内政部

参考文献：

[1] Bause，F。；Buchholz，P。；Kemper，P.，《DEDS功能和定量分析工具箱》，（Proc.10th Int.Conf.Modeling Techniques and Tools for Computer Performance Evaluation，Proc.10t Int.Conv.Modeling Teiques&Tools for Computer Perfformance Evalgation，计算机科学讲义，第1469卷（1998），Springer），第356-359页
[2] A.Benoit，L.Brenner，P.Fernandes，B.Plateau，随机自动机网络与副本的聚合，收录于：Proc。第四届国际马尔可夫链数值解会议（NSMC），2003年，第145-166页；A.Benoit，L.Brenner，P.Fernandes，B.Plateau，随机自动机网络与副本的聚合，收录于：Proc。第四届国际马尔可夫链数值解会议（NSMC），2003年，第145-166页·Zbl 1050.65003号
[3] Bryant，R.E.，布尔函数操作的基于图形的算法，IEEE Trans。计算。，35, 8, 677-691 (1986) ·Zbl 0593.94022号
[4] P.Buchholz，《马尔科夫过程代数：合成与等价》，Proc。第二次工艺研讨会。代数与性能建模（PAPM），1994年，第11-30页；P.Buchholz，《马尔科夫过程代数：合成与等价》，Proc。第二次工艺研讨会。代数与性能建模（PAPM），1994年，第11-30页
[5] Buchholz，P。；Ciardo，G。；多纳泰利，S。；Kemper，P.，记忆有效的Kronecker操作的复杂性及其在马尔可夫模型解中的应用，INFORMS J.Compute。，203-222年3月12日（2000年）·Zbl 1040.65504号
[6] Buchholz，P。；Kemper，P.，组合自动机的大可达性集的有效计算和表示，离散事件Dyn。系统。，12, 3, 265-286 (2002) ·Zbl 1048.93065号
[7] Burch，J.R。；克拉克，E.M。；McMillan，K.L.，符号模型检查：\（10^｛20｝\）状态及以上，Inform。和计算。，98、2、142-170（1992），6月·Zbl 0753.68066号
[8] Chiola，G。；Dutheillet，C。；弗朗西斯科尼斯，G。；Haddad，S.，《随机格式良好的有色网络和对称建模应用》，IEEE Trans。计算。，42, 11, 1343-1360 (1993)
[9] Ciardo，G。；吕特根，G。；Siminiceanu，R.，《饱和：符号状态空间生成的有效迭代策略》（TACAS 2001）。TACAS 2001，LNCS，第2031卷（2001），施普林格），328-342·Zbl 0978.68545号
[10] Ciardo，G。；Marmorstein，R.M。；Siminineanu，R.，《未绑定饱和度》（TACAS 2003）。TACAS 2003，LNCS，第2619卷（2003），施普林格），379-393·Zbl 1031.68544号
[11] Ciardo，G。；Miner，A.S.，《大型结构化状态空间的存储替代方案》，（Proc.9th Int.Conf.Modeling Techniques and Tools for Computer Performance Evaluation，Proc.9st Int.Conf Modeling Technologies and Tools for Computer Performance Evalgation，LNCS，vol.1245（1997），Springer），44-57
[12] G.Ciardo，A.S.Miner，GSPN有效Kronecker解的数据结构，见：Proc。第八届国际Petri网和性能模型研讨会，1999年，第22-31页；G.Ciardo，A.S.Miner，GSPN有效Kronecker解的数据结构，见：Proc。第八届国际Petri网和性能模型研讨会，1999年，第22-31页
[13] Ciardo，G。；Miner，A.S.，《使用决策图高效可达集生成和存储》，（Proc.20th Int.Conf.Application and Theory of Petri Nets.Proc.20st Int.Conf Application and Theory of Petri Nets，LNCS，vol.1639（1999），Springer），6-25
[14] 克拉克，E.M。；格伦伯格，O。；Peled，D.，《模型检验》（1999），麻省理工学院出版社
[15] 迪沃斯，D.D。；克拉克·G。；科特尼，T。；Daly，D。；德里萨维，S。；多伊尔，J.M。；桑德斯，W.H。；韦伯斯特，P.G.，莫比乌斯框架及其实现，IEEE Trans。柔软。工程，28，10，956-969（2002）
[16] C.Delamare，Y.Gardan，P.Moreaux，《异步可分解swn的性能评估：实现和案例研究》，摘自：Proc。第十届Petri网与性能模型国际研讨会，2003年，第20-29页；C.Delamare，Y.Gardan，P.Moreaux，《异步可分解swn的性能评估：实现和案例研究》，摘自：Proc。第十届Petri网与性能模型国际研讨会，2003年，第20-29页
[17] S.Derisavi，P.Kemper，W.H.Sanders，T.Courtney，莫比乌斯州级抽象功能接口，收录于：Proc。第12届国际计算机性能评估建模技术和工具会议（Tools 2002），2002年，第31-50页；S.Derisavi，P.Kemper，W.H.Sanders，T.Courtney，莫比乌斯州级抽象功能接口，收录于：Proc。第12届计算机性能评估建模技术和工具国际会议（Tools 2002），2002年，第31-50页·兹比尔1047.68518
[18] H.Hermanns，J.Kayser，M.Siegle，表示和分析连续时间马尔可夫链的多端二进制决策图，见：Proc。第三届马尔可夫链数值解会议（NSMC），1999年，第188-207页；H.Hermanns，J.Kayser，M.Siegle，表示和分析连续时间马尔可夫链的多终端二进制决策图，在：Proc。第三届马尔可夫链数值解会议（NSMC），1999年，第188-207页
[19] 茨城，T。；Katoh，N.，图传递闭包的在线计算，Inform。过程。莱特。，16, 95-97 (1983) ·Zbl 0514.68062号
[20] K.Lampka，M.Siegle，莫比乌斯框架内的符号构成，收录于：B.Wolfinger，K.Heidtmann（编辑），Leistungs-，Zuverlässigkeits-und Verlässlichkeitsbeertung van Kommunikationsnetzen und vertilten Systemen。2.MMB Arbeitsgespräch，汉堡大学，Fachbereich Informatik，Bericht 2422002，第63-74页；K.Lampka，M.Siegle，莫比乌斯框架内的符号构成，收录于：B.Wolfinger，K.Heidtmann（编辑），Leistungs-，Zuverlässigkeits-und Verlässlichkeitsbeertung van Kommunikationsnetzen und vertilten Systemen。2.MMB Arbeitsgespräch，汉堡大学，Fachbereich Informatik，Bericht 2422002，第63-74页
[21] D.Lee，J.Abraham，D.Rennels，G.Gilley，《评估大型封闭容错系统的数值技术》，摘自：Proc。第二届国际关键应用可靠计算会议2（DCCA-2），1992年，第95-114页；D.Lee，J.Abraham，D.Rennels，G.Gilley，《评估大型封闭容错系统的数值技术》，摘自：Proc。第二届国际关键应用可靠计算会议2（DCCA-2），1992年，第95-114页
[22] A.S.Miner，使用规范矩阵图有效求解GSPN，in：Proc。第九届国际Petri网和性能模型研讨会，2001年，第101-110页；A.S.Miner，使用规范矩阵图有效求解GSPN，in：Proc。第九届国际Petri网和性能模型研讨会，2001年，第101-110页
[23] A.S.Miner，使用随机Petri网和矩阵图计算响应时间分布，摘自：Proc。第十届Petri网与性能模型国际研讨会，2003年，第10-19页；A.S.Miner，使用随机Petri网和矩阵图计算响应时间分布，摘自：Proc。第十届Petri网与性能模型国际研讨会（PNPM），2003年，第10-19页
[24] B.Plateau，关于分布式算法的并行和同步模型的随机结构，见：Proc。1985年SIGMETRICS计算机系统测量和建模会议，1985年，第147-153页；B.Plateau，关于分布式算法的并行和同步模型的随机结构，见：Proc。1985年SIGMETRICS计算机系统测量和建模会议，1985年，第147-153页
[25] 桑德斯，W.H。；Malhis，L.M.，使用基于SAN的组合奖励模型进行可靠性评估，J.并行分布式计算。，7月15日、3日、238-254日（1992年）
[26] 桑德斯，W.H。；Meyer，J.F.，《随机活动网络的简化基础模型构建方法》，IEEE J.Selected Areas Commun。，9, 1, 25-36 (1991)
[27] A.Srinivasan，T.Kam，S.Malik，R.E.Brayton，离散函数操作算法，in：CAD国际会议，1990年，第92-95页；A.Srinivasan，T.Kam，S.Malik，R.E.Brayton，离散函数操作算法，收录于：CAD国际会议，1990年，第92-95页
[28] Stewart，W.J.，《马尔可夫链数值解导论》（1994），普林斯顿·Zbl 0821.65099号
[29] C.M.Woodside，Y.Li，通过延迟等效聚合对通信协议软件进行性能Petri网分析，在：Proc。第四届Petri网与性能模型国际研讨会，1991年，第64-73页；C.M.Woodside，Y.Li，通过延迟等效聚合对通信协议软件进行性能Petri网分析，in：Proc。第四届国际Petri网和性能模型研讨会，1991年，第64-73页
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。