沃洛德米尔·斯科贝列夫(Volodymyr G.Skobelev)。;沃洛德米尔·斯库贝列夫五世。 用有限离散时间马尔可夫链分析网络物理系统中的故障。 (英文) Zbl 1469.68009号 计算。科学。J.模具。 28,第3号(84),269-284(2020). 小结:本文研究了网络物理系统在故障发生时的行为分析问题。为了表示所研究的网络物理系统的无故障行为以及在允许故障存在的情况下的行为,提出并分析了一些有限离散时间马尔可夫链。结果表明,对于所提出的模型,存在单一的平稳概率分布。该分布用于根据当前故障到关键故障集的距离表征所研究的网络物理系统的行为。此外,还提出了故障目标集的有界概率可达性分析算法。 MSC公司: 68米15 网络和计算机系统的可靠性、测试和容错 60J20型 马尔可夫链和离散时间马尔可夫过程在一般状态空间(社会流动、学习理论、工业过程等)上的应用 关键词:计算机物理系统;故障;离散时间马尔可夫链;有界概率可达性;概率反例 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Skobelev}和\textit{V.V.Skoberlev}.计算。科学。J.模具。28,第3号(84),269--284(2020;Zbl 1469.68009) 全文: 链接 参考文献: [1] 阿鲁尔(Alur,R.)。;Courcoubetis,C。;Halbwachs,N。;Henzinger,T.A。;Ho,P.H。;尼克林,X。;奥利维罗,A。;Sifakis,J。;Yovine,S.,混合系统的算法分析,理论计算机科学,138,1,3-34(1995)·Zbl 0874.68206号 [2] Lygeros,J.,混合系统讲稿,ENSIETA短期课程讲稿,2-6,2(2004) [3] Raskin,J.-F。;赫里斯托·瓦尔萨凯利斯,D。;Levine,W.S.,《网络化和嵌入式控制系统手册》。控制工程,混合自动机简介,491-518(2005),Birkhauser:Birkhauser,波士顿,巴塞尔,柏林·邮编1094.93005 [4] Castaneda,G.A.Perez;奥布里,J.-F。;Brinzei,N.,《动态可靠性评估的随机混合自动机模型》,《风险与可靠性杂志》,225,1,28-41(2011) [5] Franzle,M。;哈恩,E.M。;Hermanns,H。;北卡罗来纳州沃洛维克。;Zhang,L.,随机混合系统的可测性和安全性验证,Proc。第14届混合系统国际会议:计算与控制-HSCC’11,43-52(2011)·Zbl 1362.68170号 [6] 斯普洛斯顿,J。;Joseph,M.,《实时和容错系统中的形式化技术》。FTRTFT 2000,1926,概率混合自动机的可判定模型检验,31-45(2000)·Zbl 0986.68058号 [7] 张,L。;她,Z。;Ratschan,S.公司。;Hermanns,H。;哈恩,E.M。;Touili,T.等人。;库克,B。;Jackson,P.,《计算机辅助验证》。CAV 2010,6174,概率混合系统的安全验证,196-211(2010) [8] Sproston,J.,随机混合系统类的精确和近似抽象,欧洲软件科学与技术协会电子通信,70,79-88(2014) [9] 亚伯拉罕·E。;贝克尔,B。;Dehnert,C。;Jansen,N。;Katoen,J.-P。;Wimmer,R。;贝尔纳多,M。;达米亚尼,F。;Hahnle,R。;约翰森,E.B。;Schaefer,I.,《可执行软件模型的规范化方法》。SFM 20148483,离散时间马尔可夫模型的反例生成:介绍性调查,65-121(2014)·Zbl 1445.68130号 [10] Kemeney,J.G。;斯内尔,J.L。;Knapp,A.W.,《数不清的马尔可夫链》(1976),美国纽约州:斯普林格·弗拉格,美国纽约·Zbl 0348.60090号 [11] Kwiatkowska,M。;诺曼,G。;帕克博士。;贝尔纳多,M。;Hillston,J.,《绩效评估的形式方法》。SFM 2007,4486,随机模型检验,220-270(2007)·Zbl 1323.68379号 [12] Biere,A。;Cimatti,A。;克拉克,E.M。;斯特里赫曼,O。;朱毅,有界模型检验,计算机进展,58118-149(2003) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。