The finite state automata was used to model distributed discrete event systems ,then we proposed an algorithm of safe diagnosability for distributed discrete event systems .First ,we got the global model of the system ,pruning and determining w hether the given system could be diagnosed or not .If the system could be diagnosed ,the safe-diagnostor of the system was constructed .Then the safe labels were added to the global model to determine whether the system was safe diagnosable or not .The experimental results show that the algorithm can judge whether the distributed discrete event system is safe diagnosable or not ,and the solution space is reduced .The state numbers are approximately reduced by 7 times in the best case ,and the state numbers are approximately reduced by 5 .45 times in the average case .%采用有限状态自动机对分布式离散事件系统建模,提出一种分布式离散事件系统的安全可诊断性算法.首先,获得系统的全局模型,剪枝并确定系统是否可诊断.若系统可诊断,则构建该系统的安全诊断器,在全局模型中添加安全标签,判断系统是否安全可诊断.实验结果表明:该算法可判断分布式离散事件系统是否安全可诊断,缩小了求解空间;最好情况下实例状态数约缩减至7倍,平均情况下实例状态数约缩减5.45倍.
展开▼
