【摘要】 提出了一种验证离散事件系统共可诊断性的多项式算法,算法通过构建一个检验自动机来实现,将故障路径和正常路径提取出来进行对比。另外将传统的共可诊断性划分为两种情况分别处理可以提高算法效率。可分别用于验证系统的F-共可诊断性和NF-共可诊断性。复杂性分析和案例分析表明本文算法的计算复杂度更低。实验验证了本文方法的高效性和有效性。更多还原

【Abstract】 A polynomial algorithm of codiagnosability verification of discrete event systems was proposed,which can be used to verify F-codiagnosability and NF-codiagnosability of system respectively.Algorithm is achieved by constructing a test automaton which extracts the fault path and the normal path to compare.In addition,the traditional codiagnosability was divided into two case,it can improve the efficiency of the algorithm.Both complexity analysis and case study have shown that our algorithm has more lower computational complexity.The experimental results verify the effectiveness and efficiency of the method.更多还原