Diagnosability of discrete event systems. A Petri Net based approach

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2004, Issue 1, 2004, Pages 541-546

  Ramirez Trevino A ^a   Ruiz Beltran E ^a   Rivera Rangel, I ^a   Lopez Mellado E ^a  

^a UNIDAD GUADALAJARA   (Mexico)

Author keywords

Diagnosability discrete event systems; Model based fault diagnosis; Modelling methods based on interpreted petri nets

Indexed keywords

ALGORITHMS; DIAGNOSIS; DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; FUNCTIONS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; MATRIX ALGEBRA;

DIAGNOSABILITY DISCRETE EVENT SYSTEMS; MODEL-BASED FAULT DIAGNOSIS; MODELLING METHODS BASED ON INTERPRETED PETRI NETS; PETRI NETS (PN);

ROBOTICS;

EID: 3042616825     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/robot.2004.1307205     Document Type: Conference Paper

References (14)

1. R. Debouk, S. Lafortune and D. Teneketzis, "Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems", Kluwer Academic Publishers, Discrete Event Systems: Theory and Applications, vol. 10, pp. 33-79, 2000.
2. R. Debouk, "Diagnosis of Discrete Event Systems. A modular Approach", Proc. of the IEEE Conference on SMC, pp. 306-311, Oct. 2003.
3. J. Desel and J. Esparza, Free Choice Petri Nets, Cambridge University Press,1995.
4. S. Gene and S. Lafortune. "Distributed Diagnosis of Discrete-Event Systems Using Petri Nets" Proc. of the 24th. ATPN,Eindhoven, Netherlands, pp.316 - 336, June, 2003.
5. C. N. Hadjicostis and G. Verghese, "Structured Redundancy for Fault Tolerance in State-Space models and Petri Nets", Kybernetica, vol. 35, no. 1, pp. 39-55, 1999.
6. J. Prock, "A New Technique for Fault Detection Using Petri Nets", Automatica, vol. 27, no. 2, pp. 239-245, 1991.
7. Koh, J, F. DiCesare. "Transformation Methods for Generalized Petri Nets and Their Applications to Flexible Manufacturing Systems". IEEE Transactions on SMC. vol. 21, no. 6, pp. 1512-1522. 1991.
8. Mildreth Alcaraz-Mejía, E. López-Mellado, Antonio Ramírez-Treviño, I. Rivera-Rangel. "Petri Net Based Fault Diagnosis of Discrete Event Systems", Proc. of the IEEE Conference on SMC, pp. 4730-4735, Oct. 2003.
9. T. Murata. "Petri nets: Properties, analysis and applications", Proc. of the IEEE. vol. 77, No. 4, pp. 541-580, Apr. 1989.
10. A. Ramírez-Treviño, I. Rivera-Rangel, E. López-Mellado. "Observability of Discrete Event Systems Modeled by Interpreted Petri Nets". IEEE Transactions on Robotics and Automation, vol 19, no. 4, pp. 557-565, August 2003.
11. R. Isermann, "Process fault detection based on modeling and estimation methods. A survey", Automatica, vol. 20, pp. 387-404, 1984.
12. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems", IEEE Transactions on Automatic Control, vol 40, no. 9, pp. 1555-1575, 1995.
13. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure Diagnosis Using Discrete-Event Models", IEEE Transactions on Control System Technology, vol. 4, no.2, pp. 105-124. 1996.
14. Shen-Lue Chung, Chien-Chung Wu, MuDer Jeng, "Failure Diagnosis: A case study on Modelling and Analysis by Petri Nets", Proc. of the IEEE Conference on SMC, pp. 2727-2732, Oct. 2003.