摘要: 采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.
中图分类号:
欧阳丹彤, 罗知雨, 耿雪娜, 张立明. 分布式离散事件系统的安全可诊断性算法[J]. 吉林大学学报(理学版), 2018, 56(3): 594-600.
OUYANG Dantong, LUO Zhiyu, GENG Xuena, ZHANG Liming. Algorithm of Safe Diagnosability for Distributed Discrete Event Systems[J]. Journal of Jilin University Science Edition, 2018, 56(3): 594-600.