Building diagnosable Petri net models for distributed fault location of DES

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

Volumn 5, Issue , 2004, Pages 4929-4934

  Ruiz Beltran E ^a   Ramirez Trevino A ^a   Lopez Mellado E ^a  

^a UNIDAD GUADALAJARA   (Mexico)

Author keywords

Diagnos ability of discrete event systems; Modular modelling methods; Petri net based fault diagnosis

Indexed keywords

DIAGNOSABILITY OF DISCRETE EVENT SYSTEMS; DISTRIBUTED FAULT LOCATION; MODULAR MODELING METHODS; PETRI NET-BASED FAULT DIAGNOSIS;

COMPUTATIONAL METHODS; CONSTRAINT THEORY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; MATRIX ALGEBRA; POLYNOMIALS;

PETRI NETS;

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

References (13)

1. Ramírez-Treviño, A, Riverar-Rangel,I, López-Mellado, E. "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.
2. A. Ramírez-Treviño, E. Ruiz-Beltrán, I. Rivera-Rangel, E. López-Mellado, "Diagnosability of Discrete Event Systems. A Petri Net Based Approach," Proc. of the IEEE International Conference on Robotic and Automation, pp. 541-546, April 26-May 1, 2004, New Orleans, LA, USA.
3. J. Desel and J. Esparza, Free Choice Petri Nets, Cambridge University Press, 1995.
4. 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.
5. M. Alcaraz-Mejía, E. López-Mellado, A. 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.
6. 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.
7. 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. Conference on Robotics and Automation, April 26-May 1, 2004, New Orleans, LA, USA.
8. 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.
9. R. Debouk, "A modular Architecture for Diagnosis of Discrete Event Systems," IEEE Conference on Decision and Control, pp.417-422, December 2002
10. R. Debouk, "Diagnosis of Discrete Event Systems. A modular Approach", Proc. of the IEEE Conference on SMC, pp. 306-311, Washington, U.S.A. Oct. 2003.
11. R. Isermann, "Process fault detection based on modeling and estimation methods. A survey", Automatica, vol. 20, pp. 387-404, 1984.
12. S. Chung, C. Wu, M. Jeng, "Failure Diagnosis: A case study on Modelling and Analysis by Petri Nets", IEEE Conference on Systems, Man, and Cybernetics, pp. 2727-2732, Washington USA, Oct. 2003.
13. 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. 2003.