A polynomial algorithm for checking diagnosability of Petri nets

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 2005, Pages 2542-2547

  Wen, YuanLin ^a   Li, ChunHsi ^a   Jeng, MuDer ^a  

^a NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

Diagnosability; Fault diagnosis; Linear programming; Petri Nets

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FINITE AUTOMATA; LINEAR PROGRAMMING; PETRI NETS;

DIAGNOSABILITY; FAULT DIAGNOSIS;

POLYNOMIAL APPROXIMATION;

EID: 27944466054     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. S.-L. Chung, C.-C. Wu and M. D. Jeng, "Failure Diagnosis: a Case Study on Modeling and Analysis by Petri Nets", Proc. of 2003 IEEE International Conference on Systems, Man, and Cybernetics pp.2127 - 2732, 2003.
2. A. Benveniste, E. Fahre, C. Jard and S. Haar, "Diagnosis of Asynchronous Discrete Event Systems, A Net Unfolding Approach", Sixth International Workshop on Discrete Event Systems, 2002, pp.182-187, 2002.
3. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A Polynomial Algorithm for Testing Diagnosability of Discrete-Event Systems", IEEE Tran. on Automatic Control, Vol.46, No.8, pp.1318-1321, August 2001.
4. T. Murata, "Petri Nets: Properties, Analysis and Applications", Proc. of the IEEE, Vol.77, No.4, pp.541-580, April 1989.
5. M. Sampath, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of Discrete-Event Systems", IEEE Tran. on Automatic Control, Vol.40, No.9, pp.1555-1575, September 1995.
6. M. Sampath, R. Sengupta, S. Lafortune, K. Sinamohideen and, D. Teneketzis, "Failure Diagnosis Using Discrete-Event Models", Proc. of the 33rd Conference on Decision and Control, pp.3110-3116, 1994.
7. T. Ushio, I. Onishi, and K. Okuda, "Fault Detection Based on Petri Net Models with Faulty Behaviors", Proc. of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, pp.113-118, 1998.
8. T. S. Yoo, S. Lafortune, "Polynomial-Time Verfication of Diagnosability of Partially Observed Discrete-Event Systems", IEEE Trans. on Automatic Control, Vol.47, No.9, pp.1491-1495, Sept. 2002.
9. A. Ramírez-Treviño, I. Rivera-Rangel, and E. Lopez-Mellado, "Observability of Discrete Event Systems Modeled by Interpreted Petri Nets", IEEE Trans. on Robotics and Automation, Vol. 19, No.4, pp.557-565, August 2003
10. A. Ramírez-Treviño, I. Rivera-Rangel, and E. Lopez-Mellado, "Diagnosability of Discrete Event Systems. A Petri Net Based Approach", Proc. of the 2004 IEEE International Conference on Robotics and Automation, pp.541-546, 2004.
11. S.-L. Chung, and M. D. Jeng, "Adaptive Diagnosis of Discrete Event Systems", Jour. of the Chinese Institute of Engineers, Vol.27, No.3, pp.417-429, 2004.
12. M. D. Jeng, "Comments on: Timed Petri Nets in Modeling and Analysis of Cluster Tools" IEEE Trans. on Automation Science and Engineering, Vol. 19, No.4, pp.557-565, August 2003
13. M.Silva and J.M. Colom, "On the Computation of structural Synchronic Invariants in P/N Nets" Advances in Petri Nets 1988, LNCS 340, Springger Verlag, pp 387-417.