Online fault diagnosis of discrete event systems. A petri net-based approach

IEEE Transactions on Automation Science and Engineering

Volumn 4, Issue 1, 2007, Pages 31-39

  Ramírez Treviño, Antonio ^a   Ruiz Beltrán, Elvia ^a   Rivera Rangel, Israel ^a,b   López Mellado, Ernesto ^a  

^a UNIDAD GUADALAJARA   (Mexico)

^b SCHOOL OF ENGINEERING AND SCIENCES   (Mexico)

Author keywords

Diagnosability of discrete event systems; Model based fault diagnosis; Modeling methods based on interpreted Petri nets (PN)

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SIMULATION; MATHEMATICAL MODELS; ONLINE SYSTEMS; PETRI NETS;

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

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 33846307028     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2006.872120     Document Type: Article

References (23)

1. R. Isermann, "Process fault detection based on modeling and estimation methods. A Survey," Automatica, vol. 20, pp. 387-404, 1984.
2. F. Lin, J. Markee, and B. Rado, "Design and test of mixed signal circuits: a discrete-event approach," in Proc. IEEE Control Decision Conf., 1993, pp. 246-251.
3. F. Lin, "Diagnosability of discrete-event systems and its applications," in Discrete Event Systems: Theory and Applications. Norwell, MA: Kluwer, 1994, vol. 4, pp. 197-212.
4. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
5. _, "Failure diagnosis using discrete-event models," IEEE Trans. Control Syst. Technol., vol. 4, no. 2, pp. 105-124, Mar. 1996.
6. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," in Discrete Event Systems: Theory and Applications. Norwell, MA: Kluwer, 2000, vol. 10, pp. 33-79.
7. R. Debouk, "Diagnosis of discrete event systems. A modular approach," in Proc. IEEE Conf. SMC, 2003, pp. 306-311.
8. T. Murata, "Petri nets: properties, analysis and applications," in Proc. IEEE, Apr. 1989, vol. 77, no. 4, pp. 541-580.
9. F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva, and B. Vernadat, Practice of Petri Nets in Manufacturing. London., U.K.: Chapman & Hall, 1993.
10. J. Prock, "A new technique for fault detection using petri nets," Automatica, vol. 27, pp. 239-245, 1991.
11. C. N. Hadjicostis and G. Verghese, "Structured redundancy for fault tolerance in state-space models and petri nets," Kybernetica, vol. 35, pp. 39-55, 1999.
12. S. Gene and S. Lafortune, "Distributed diagnosis of discrete-event systems using petri nets," in Proc. 24th ATPN, 2003, pp. 316-336.
13. S. Chung, C. Wu, and M. Jeng, "Failure diagnosis: a case study on modeling and analysis by petri nets," in Proc. IEEE Conf. Systems Man and Cybernetics, 2003, pp. 2727-2732.
14. G. Jiroveanu and R. K. Boel, "A distributed approach for fault detection and diagnosis based on timed petri nets," presented at the IMACS Multiconf. Computational Engineering in Systems Applications, Lille, France, Jul. 9-11, 2003.
15. M. D. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared-resource systems," IEEE Trans. Robot. Autom., vol. 11, no. 3, pp. 317-327, Jun. 1995.
16. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
17. L. Ferrarini, M. Narduzzi, and M. Tassan-Solet, "A new approach to modular liveness analysis conceived for large logic controllers design," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 169-184, Apr. 1994.
18. A. Giua and F. DiCesare, "Petri net structural analysis for supervisory control," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 185-195, Apr. 1994.
19. L. Aguirre-Salas, O. Begovich, and A. Ramírez-Treviño, "Observability in interpreted petri nets using sequence invariants," in Proc. IEEE Control Decision Conf., 2002, pp. 3602-3607.
20. A. Ramírez-Treviño, I. Rivera-Rangel, and E. López-Mellado, "Observability of discrete event systems modeled by interpreted petri nets," IEEE Trans. Robot. Autom., vol. 19, no. 4, pp. 557-565, Aug. 2003.
21. G. Strang, Introduction to Linear Algebra, 3rd ed. Wellesley, MA: Wellesley-Cambridge, 2003.
22. M. Alcaraz-Mejía, E. López-Mellado, A. Ramírez- Treviño, and I. Rivera-Rangel, "Petri net based fault diagnosis of discrete event systems," in Proc. IEEE Conf. SMC, 2003, pp. 4730-4735.
23. J. Koh and F. DiCesare, "Transformation methods for generalized petri nets and their applications to flexible manufacturing systems," IEEE Trans. Syst., Man Cybern., vol. 21, no. 6, pp. 1512-1522, Nov./Dec. 1991.