Partially Observed System Design Method Realizing Unambiguous Fault Diagnosis

Authors

Fang Huan, 1. School of Computer & Information, Heifei University of Technology, Hefei 230009, China;;2. College of Science, Anhui University of Science & Technology, Huainan 232001, China;;
Lu Yang, 1. School of Computer & Information, Heifei University of Technology, Hefei 230009, China;;3. The Anhui Provincial Key Laboratory of Mine IoT and Mine Safety Supervisory Control, Hefei 230088, China;
Yue Feng, 1. School of Computer & Information, Heifei University of Technology, Hefei 230009, China;;
Junming Guan, 3. The Anhui Provincial Key Laboratory of Mine IoT and Mine Safety Supervisory Control, Hefei 230088, China;

Abstract

Abstract: The construction methodology of partially observed system realizing unambiguous fault diagnosis was studied. The observable places determination algorithm OPD was proposed, and the necessary and sufficient condition for solution existence of the algorithm with polynomial time complexity was presented, then it is proved that all transitions in the modeled system could be distinguished by setting S_O. The system operating state determination algorithm SOSD was presented based on the OPD algorithm. The proposed SOSD algorithm was realized by 1-step forward marking computation of observable places set $S_O$, it doesn't rely on the initial marking $M_0$ of the controlled system while judging system status. It is proved that the proposed construction method for partially observed system satisfies the optimum supervisory condition, which achieves the optimal supervisory purpose.

Recommended Citation

Huan, Fang; Yang, Lu; Feng, Yue; and Guan, Junming (2020) "Partially Observed System Design Method Realizing Unambiguous Fault Diagnosis," Journal of System Simulation: Vol. 27: Iss. 3, Article 4.
Available at: https://dc-china-simulation.researchcommons.org/journal/vol27/iss3/4

First Page

470

Revised Date

2014-09-06

DOI Link

https://doi.org/

Last Page

479

CLC

TP301

Recommended Citation

Fang Huan, Lu Yang, Yue Feng, Guan Junming. Partially Observed System Design Method Realizing Unambiguous Fault Diagnosis[J]. Journal of System Simulation, 2015, 27(3): 470-479.