基于Petri网诊断器的离散事件系统模式故障的在线诊断
本文研究基于Petri网诊断器的离散事件系统模式故障的在线诊断问题.先构建一种用于模式故障在线诊断的自动机,给出了基于这种自动机的在线诊断方法.然后将自动机转换为Petri网并进一步构造了可用于S型模式故障或T型模式故障在线诊断的Petri网诊断器,提出了基于Petri网诊断器的模式故障在线诊断算法.通过分析算法的复杂性,得到了该算法具有多项式空间复杂性的结论....
        Saved in:
      
    
          | Published in | 控制理论与应用 Vol. 37; no. 7; pp. 1621 - 1627 | 
|---|---|
| Main Authors | , , , , | 
| Format | Journal Article | 
| Language | Chinese | 
| Published | 
            东源县科技创新中心,广东河源517500
    
        01.07.2020
     广东工业大学计算机学院,广东广州510006%广东工业大学应用数学学院,广东广州510006%广东工业大学计算机学院,广东广州510006  | 
| Subjects | |
| Online Access | Get full text | 
| ISSN | 1000-8152 | 
| DOI | 10.7641/CTA.2020.90427 | 
Cover
| Summary: | 本文研究基于Petri网诊断器的离散事件系统模式故障的在线诊断问题.先构建一种用于模式故障在线诊断的自动机,给出了基于这种自动机的在线诊断方法.然后将自动机转换为Petri网并进一步构造了可用于S型模式故障或T型模式故障在线诊断的Petri网诊断器,提出了基于Petri网诊断器的模式故障在线诊断算法.通过分析算法的复杂性,得到了该算法具有多项式空间复杂性的结论. | 
|---|---|
| ISSN: | 1000-8152 | 
| DOI: | 10.7641/CTA.2020.90427 |