离散事件系统基于模式的安全故障诊断

作     者：刘富春 唐顺桥 赵锐 邓秀勤 崔洪刚 LIU Fu-chun;TANG Shun-qiao;ZHAO Rui;DENG Xiu-qin;CUI Hong-gang

作者机构：广东工业大学计算机学院广东广州510006 广东工业大学应用数学学院广东广州510006 广东省东源县科技创新中心广东河源517500 

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

年 卷 期：2020年第37卷第1期

页      面：162-168页

核心收录：

学科分类：08[工学] 080401[工学-精密仪器及机械] 0804[工学-仪器科学与技术] 080402[工学-测试计量技术及仪器] 0838[工学-公安技术] 

基　　金：国家自然科学基金项目(61673122) 广东省教育厅省级重大项目(2014KZDXM033) 广东工业大学计算机学院重大奖项培育项目(2016PY01)资助~~ 

主　　题：离散事件系统 故障诊断 故障模式 安全诊断 

摘      要：基于模式的故障诊断方法能将触发系统故障的事件串诊断出来,但在诊断期间系统仍然可能执行被禁止的不安全操作.为此,提出了一种离散事件系统基于S型和T型模式的安全诊断方法.先对离散事件系统基于模式的安全可诊断性进行形式化,再通过构造非法语言识别器和安全诊断器对系统发生的故障模式实施安全诊断,最后分别得到了一个关于S型和T型模式的系统安全可诊断性的充分必要条件,实现了离散事件系统基于模式的安全故障诊断.