基于Petri网诊断器的离散事件系统模式故障的在线诊断

作     者：阙蔡雄 刘富春 赵锐 邓秀勤 崔洪刚 QUE Cai-xiong;LIU Fu-chun;ZHAO Rui;DENG Xiu-qin;CUI Hong-gang

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

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

年 卷 期：2020年第37卷第7期

页      面：1621-1627页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金项目(61673122) 广东省自然科学基金项目(2019A1515010548) 广东工业大学计算机学院重大奖项培育项目(2016PY01) 广东省信息物理融合系统重点实验室项目(2016B030301008)资助 

主　　题：故障诊断 离散事件系统 Petri网 在线诊断 多项式复杂性 

摘      要：本文研究基于Petri网诊断器的离散事件系统模式故障的在线诊断问题.先构建一种用于模式故障在线诊断的自动机,给出了基于这种自动机的在线诊断方法.然后将自动机转换为Petri网并进一步构造了可用于S型模式故障或T型模式故障在线诊断的Petri网诊断器,提出了基于Petri网诊断器的模式故障在线诊断算法.通过分析算法的复杂性,得到了该算法具有多项式空间复杂性的结论.