基于时序的离散事件系统的可诊断性

提出一种基于事件之间的时序关系判定可诊断性的方法。首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模，删除局部模型中的无用路径以降低状态空间;其次利用通讯事件和可观测事件之间的时序关系，对受限局部模型的可诊断性进行判定，得出几个判定性质，然后把这些性质运用到局部模型的可诊断性判定中，以避免同步操作的高复杂性;最后通过实例对可诊断性判定的过程进行分析。