摘要

现有分布式随机离散事件系统的研究都集中在单个事件导致的故障上,然而许多实际应用系统所发生的故障往往是由一系列事件相继发生而导致的。针对此类故障的检测问题,本文提出了一种随机离散事件系统的模式故障安全协同诊断方法。首先,对分布式随机离散事件系统的模式故障安全协同可诊断性进行了形式化。然后,通过构造模式故障安全协同诊断器,提出了一个基于安全协同诊断器的分布式随机离散事件系统的模式故障安全协同可诊断性的充要条件,实现了分布式随机离散事件系统的模式故障安全诊断。