离散事件系统基于模式的安全故障诊断
刘富春1
唐顺桥1
赵锐1
邓秀勤2
崔洪刚3
1.广东工业大学计算机学院,广东广州5100062.广东工业大学应用数学学院,广东广州5100063.广东工业大学计算机学院,广东广州510006;广东省东源县科技创新中心,广东河源517500
摘要：基于模式的故障诊断方法能将触发系统故障的事件串诊断出来,但在诊断期间系统仍然可能执行被禁止的不安全操作.为此,提出了一种离散事件系统基于S型和T型模式的安全诊断方法.先对离散事件系统基于模式的安全可诊断性进行形式化,再通过构造非法语言识别器和安全诊断器对系统发生的故障模式实施安全诊断,最后分别得到了一个关于S型和T型模式的系统安全可诊断性的充分必要条件,实现了离散事件系统基于模式的安全故障诊断.
关键词：离散事件系统故障诊断故障模式安全诊断
资助基金：国家自然科学基金(61673122)广东省教育厅省级重大项目(2014KZDXM033)广东工业大学计算机学院重大奖项培育项目(2016PY01)
论文发表日期：2020-01-28
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：7( 162-168 )
英文信息