基于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 |