引用本文:刘富春,唐顺桥,赵锐,等.离散事件系统间歇性故障的安全诊断[J].控制与决策,2020,35(5):1205-1210
【打印本页】   【HTML】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】 附件
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览次   下载 本文二维码信息
码上扫一扫!
分享到: 微信 更多
离散事件系统间歇性故障的安全诊断
刘富春1, 唐顺桥1, 赵锐1, 邓秀勤2, 崔洪刚1,3
(1. 广东工业大学计算机学院,广州510006;2. 广东工业大学应用数学学院,广州510006;3. 广东省东源县科技创新中心,广东河源517500)
摘要:
离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建模,并给出系统间歇性故障的安全可诊断性的形式化定义.然后通过构造非法语言识别器对系统的非法操作进行识别,并在此基础上构建一个安全验证器,由此得到一个关于系统间歇性故障安全可诊断性的充分必要条件,实现离散事件系统对间歇性故障的安全诊断.这种安全诊断既保证了间歇性故障一旦发生即能被及时诊断出来,又确保了在故障诊断期间系统不会执行任何不安全操作.
关键词:  离散事件系统  间歇性故障  故障诊断  安全诊断  识别器  验证器
DOI:10.13195/j.kzyjc.2018.1060
分类号:TP13
基金项目:国家自然科学基金项目(61673122);广东省自然科学基金项目(2019A1515010548);广东省公益研究与能力建设专项资金项目(2015A030402006);广东工业大学计算机学院重大奖项培育项目(2016PY01).
Safe diagnosability for intermittent faults of discrete-event systems
LIU Fu-chun1,TANG Shun-qiao1,ZHAO Rui1,DENG Xiu-qin2,CUI Hong-gang1,3
(1. School of Computers,Guangdong University of Technology,Guangzhou510006,China;2. School of Applied Mathematics,Guangdong University of Technology,Guangzhou510006,China;3. Science and Technology Innovation Center of Dongyuan,Heyuan517500,China)
Abstract:
Intermittent faults diagnosis of discrete event systems(DES) can detect intermittent faults in the system in time, but the system may execute unsafe operation during the fault detection. An approach for safe diagnosability is proposed for intermittent faults of DESs. Firstly, the system with intermittent faults is modeled, and the notion of safe diagnosability for intermittents faults of DESs is formalized. Then we construct the recognizer of illegal language to identify the sequences of the forbidden operations. Based on the recognizer, the safe verifier is constructed. In particular, a necessary and sufficient condition of safe diagnosability for intermittent faults of DESs is proposed and a safe diagnosis of intermittent faults is achieved. It is guaranteed that not only each intermittent fault occurring in safe diagnosable DESs can be detected in time, but also the system does not execute any unsafe operation during the fault detection.
Key words:  discrete-event systems  intermittent faults  fault diagnosis  safe diagnosability  recognizer  verifier

用微信扫一扫

用微信扫一扫