具有多项式时间复杂性的离散事件系统安全诊断

• 作者: 刘富春 罗苹
• 来源期刊: 控制理论与应用
• 学科: 工学
• 关键词: 离散事件系统 故障诊断 安全诊断 多项式时间复杂性
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 论文与报告
• 页码范围: 717-722
• 页数: 6页
• 分类号: TP13
• 字数: 5357字
• 语种: 中文
• DOI: 10.7641/CTA.2017.60619

摘要

离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘富春	广东工业大学计算机学院	49	235	10.0	14.0
2	罗苹	广东工业大学计算机学院	1	11	1.0	1.0