阿格萨里亚语,Armen;埃里克·法布雷;阿尔伯特·本文尼斯特;雷内·鲍博;克洛德·贾德 分布式系统中的故障检测和诊断:部分随机Petri网方法。 (英语) Zbl 0916.93074号 离散事件动态。系统。 8,第2期,203-231(1998). 为了考虑大型分布式系统中的报警关联问题,假设报警序列。为了分离和简化故障系统的状态估计,采用了事件的并发性。Petri网及其因果语义用于对并发进行建模。建立了特殊的部分随机Petri网;它们在并发性和独立性之间建立了某种类型的等价性。诊断问题被定义为计算给定一系列观察到的报警的网络最可能的历史。最佳轨迹是通过维特比型算法建立的,即通过连接与观察到的警报序列及其因果关系匹配的瓦片。结果表明,如果满足相同的因果图,那么作为因果图的最优轨迹并不取决于观察到的报警序列。审核人:K.Marti(纽比堡) 引用于9文件 MSC公司: 93E10型 随机控制理论中的估计与检测 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 90B25型 运筹学中的可靠性、可用性、维护和检查 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:报警相关性;大型分布式系统;状态估计;有故障系统;部分随机Petri网;并发;独立;诊断;因果关系图 PDF格式BibTeX公司 XML格式引用 \textit{A.Aghasaryan}等人,离散事件动力学。系统。8,第2号,203--231(1998;Zbl 0916.93074) 全文: 内政部