一种高阶离散事件系统的诊断方法

为了保证诊断结果的正确性及唯一性，提出了高阶离散事件系统的可诊断性定义和可诊断性判定算法。在待诊断系统的诊断过程中，构建了可同时用于可诊断性判定的诊断机，对每个状态编译故障行为，所以不需在每次重构系统行为后遍历全部模型进行故障判断，并且在不影响诊断结果的前提下，根据约束条件对诊断机状态之间的转移进行限制，减少不必要节点的产生。