Diagnosability of Petri nets

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

Volumn 5, Issue , 2004, Pages 4891-4896

  Wen, YuanLin ^a   Jeng, MuDer ^a  

^a NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

Diagnosability; Petri Nets

Indexed keywords

DIAGNOSABILITY; DISCRETE EVENT SYSTEMS (DES); FAILURE TRANSITION; FINITE STATE MACHINES (FSM);

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FAILURE ANALYSIS; FINITE AUTOMATA; MATHEMATICAL MODELS; PROBLEM SOLVING;

PETRI NETS;

EID: 15744365661     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1401306     Document Type: Conference Paper

References (8)

1. S.-L. Chung, C.-C. Wu and M. D. Jeng, "Failure Diagnosis: a Case Study on Modeling and Analysis by Petri Nets", Proceedings of 2003 IEEE International Conference on Systems, Man, and Cybernetics pp:2727 - 2732, 2003.
2. A. Benveniste, E. Fabre, 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 Transactions on Automatic Control, Vol.46, No.8, pp.1318-1321, August 2001.
4. T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings 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 Transactions 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", Proceedings 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", Proceedings of 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 Transactions on on Automatic Control, Vol.47, No.9, pp. 1491-1495, Sept. 2002.