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

作     者：刘富春 罗苹 LIU Fu-chun;LUO Ping

作者机构：广东工业大学计算机学院广东广州510006 

出 版 物：《控制理论与应用》 (Control Theory & Applications)

年 卷 期：2017年第34卷第6期

页      面：717-722页

核心收录：

学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 0804[工学-仪器科学与技术] 0802[工学-机械工程] 0811[工学-控制科学与工程] 

基　　金：国家自然科学基金项目(61673122 61273118) 广东省教育厅省级重大项目(2014KZDXM033) 广东省公益研究与能力建设专项资金项目(2015A030402006) 广东工业大学计算机学院重大奖项培育项目资助(2016PY01)~~ 

主　　题：离散事件系统 故障诊断 安全诊断 多项式时间复杂性 

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