Petri net based fault diagnosis of discrete event systems

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 5, Issue , 2003, Pages 4730-4735

  Alcaraz Mejia M ^a   Lopez Mellado E ^a   Ramirez Trevino A ^a   Rivera Rangel, I ^a  

^a UNIDAD GUADALAJARA   (Mexico)

Author keywords

Diagnosability; Discrete event systems; Model based fault diagnosis; Modelling methodology

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; MATRIX ALGEBRA; THEOREM PROVING; VECTORS;

DIAGNOSABILITY; DISCRETE EVENT SYSTEMS; INTERPRETED PETRI NETS; PARIKH VECTOR;

PETRI NETS;

EID: 17144451819     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. A. Giau, "Petri net state estimators based on event observation", Proc. of the IEEE 36th CDC, pp. 4086-4091, December 1997.
2. A. Ramirez-Treviño, I. Rivera-Rangel and E. Lopez-Mellado. "Observer Design for Discrete Event Systems Modeled by Interpreted Petri Nets", Proc. of the IEEE ICRA, pp. 2871-287, April 2000.
3. A. Santoyo, I. Jiménez-Ochoa, A. Ramírez-Treviño, "A Complete Cycle for controller Design in Discrete Event Systems", Proc. of the IEEE Conf. on SMC, pp. 2688-2693, 2001.
4. F. Lin, "Diagnosability of discrete-event systems and its applications", J. Deds, Vol.4, No. 2, pp. 197-212, 1994.
5. F. Lin, J. Markee, and B. Rado, "Design and test of mixed signal circuits: A discrete-event approach", in Proc. 32nd CDC, pp. 246-251, 1993.
6. L. Aguirre-Salas, O. Begovich, A. Ramírez-Treviño, "Observability in Interpreted Petri Nets using Sequence Invariants", Proc. of the IEEE CDC, pp. 3602-3607, 2002.
7. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems", IEEE Trans. on Control Systems and Technology, Vol. 4, No. 2, March 1996.
8. R. Isermann, "Process fault detection based on modeling and estimation methods", Automatica 20, pp. 387-404, 1984.
9. R. Isermann, "Supervision, fault-detection, and fault-diagnosis methods and introduction", Control engineering practice, Pergamon press, Vol. 5, pp. 639-652, 1997.
10. S. Bavishi and E. Chong, "Automated fault diagnosis using a discrete-event systems framework", in Proc. 9th IEEE Int. Symp. Intell. Contr., pp. 213-218, 1994.
11. T. Murata, "Petri nets: Properties, analysis and applications", Proc. IEEE, Vol. 77, No. 4, pp. 541-580, April 1989.