控制与决策

作者：刘富春,唐顺桥,赵锐,邓秀勤,崔洪刚

单位：广东工业大学计算机学院，广州510006,,广东工业大学计算机学院，广州510006,,广东工业大学计算机学院，广州510006,,广东工业大学应用数学学院，广州510006,,广东工业大学计算机学院，广州510006;广东省东源县科技创新中心，广东河源517500,

关键词：离散事件系统;间歇性故障;故障诊断;安全诊断;识别器;验证器

基金：国家自然科学基金项目(61673122)；广东省自然科学基金项目(2019A1515010548)；广东省公益研究与能力建设专项资金项目(2015A030402006)；广东工业大学计算机学院重大奖项培育项目(2016PY01).

离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建模,并给出系统间歇性故障的安全可诊断性的形式化定义.然后通过构造非法语言识别器对系统的非法操作进行识别,并在此基础上构建一个安全验证器,由此得到一个关于系统间歇性故障安全可诊断性的充分必要条件,实现离散事件系统对间歇性故障的安全诊断.这种安全诊断既保证了间歇性故障一旦发生即能被及时诊断出来,又确保了在故障诊断期间系统不会执行任何不安全操作.

来源：2020年第5期

《控制与决策》期刊编辑部

查看控制与决策杂志2020年第5期