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

On-line pattern diagnosis of discrete event systems with Petri net diagnosers

作　　者：阙蔡雄 刘富春[1] 赵锐[1] 邓秀勤[2] 崔洪刚[1,3] QUE Cai-xiong;LIU Fu-chun;ZHAO Rui;DENG Xiu-qin;CUI Hong-gang(School of Computers,Guangdong University of Technology,Guangzhou Guangdong 510006,China;School of Applied Mathematics,Guangdong University of Technology,Guangzhou Guangdong 510006,China;Science and Technology Innovation Center of Dongyuan,Heyuan Guangdong 517500,China)

机构地区：[1]广东工业大学计算机学院,广东广州510006 [2]广东工业大学应用数学学院,广东广州510006 [3]东源县科技创新中心,广东河源517500

出　　处：《控制理论与应用》2020年第7期1621-1627,共7页Control Theory & Applications

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

摘　　要：本文研究基于Petri网诊断器的离散事件系统模式故障的在线诊断问题.先构建一种用于模式故障在线诊断的自动机,给出了基于这种自动机的在线诊断方法.然后将自动机转换为Petri网并进一步构造了可用于S型模式故障或T型模式故障在线诊断的Petri网诊断器,提出了基于Petri网诊断器的模式故障在线诊断算法.通过分析算法的复杂性,得到了该算法具有多项式空间复杂性的结论.This paper studies the online diagnosis of patterns fault of DESs with Petri net diagnoser.Firstly,an automaton for online diagnosis of patterns are constructed,and the corresponding online diagnostic method based on this automaton is given.Then the automaton is converted into Petri net and a Petri net diagnoser for S-type or T-type pattern online diagnosis is constructed.The online pattern diagnosis algorithm based on Petri net diagnoser is proposed.By analyzing the complexity of the algorithm,the conclusion that the algorithm has the spatial complexity of polynomial is obtained.

关 键 词：故障诊断 离散事件系统 PETRI网 在线诊断 多项式复杂性 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]