基于时序的离散事件系统的可诊断性
提出一种基于事件之间的时序关系判定可诊断性的方法。首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模，删除局部模型中的无用路径以降低状态空间；其次利用通讯事件和可观测事件之间的时序关系，对受限局部模型的可诊断性进行判定，并得出几个判定性质，然后把这些性质运用到局部模型的可诊断性判定中，避免同步操作的高复杂性；最后通过实例对可诊断性判定的过程进行分析。
模型分解 受限局部模型 可诊断性
李占山 陈超 叶寒锋
吉林大学 符号计算与知识工程教育部重点实验室,长春130012; 吉林大学 计算机科学与技术学院,长春130012
国内会议
长春
中文
1-11
2012-08-04（万方平台首次上网日期，不代表论文的发表时间）