On-line fault diagnosis with partially observed petri nets

IEEE Transactions on Automatic Control

Volumn 59, Issue 7, 2014, Pages 1919-1924

  Lefebvre, Dimitri ^a  

^a UNIVERSITY OF LE HAVRE   (France)

Author keywords

Fault detection; fault diagnosis; partially observed Petri nets; Petri nets

Indexed keywords

FAILURE ANALYSIS; LINEAR MATRIX INEQUALITIES; PETRI NETS;

DIAGNOSIS DECISION; FAULT DETECTION AND DIAGNOSIS; FIRING SEQUENCES; LINEAR COMPLEXITY; ON-LINE DIAGNOSIS; ON-LINE FAULT DIAGNOSIS; TECHNICAL NOTES;

FAULT DETECTION;

EID: 84903175697     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2013.2294617     Document Type: Article

References (23)

1. F. Basile, P. Chiacchio, and G. De Tommasi, "An efficient approach for online diagnosis of discrete event systems," IEEE Trans. Autom. Control, vol. 54, no. 4, pp. 748-759, Apr. 2009.
2. M. P. Cabasino, A. Giua, and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica, vol. 46, no. 9, pp. 1531-1539, 2010.
3. M. P. Cabasino, A. Giua, M. Pocci, and C. Seatzu, "Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems," Control Eng. Practice, vol. 19, pp. 989-1001, 2011.
4. M. Dotoli, M. P. Fanti, A. M.Mangini, andW. Ukovich, "On-line fault detection in discrete event systems by Petri nets and integer linear programming," Automatica, vol. 45, pp. 2665-2672, 2009.
5. F. Garcia Valles, "Contributions to the Structural and Symbolic Analysis of Place/Transition Nets With Applications to Flexible Manufacturing Systems and Asynchronous Circuits," Ph.D. dissertation, Universidad de Zaragoza, Zaragoza, Spain, 1999.
6. S. Genc and S. Lafortune, "Distributed diagnosis of place-bordered Petri nets," IEEE Trans. Automat. Sci. Eng., vol. 4, no. 2, pp. 206-219, 2007. (Pubitemid 46574024
7. C. N. Hadjicostis and G. C. Veghese, "Monitoring discrete event systems using Petri net embeddings," Lecture Notes in Comput. Sci., vol. 1639, pp. 188-207, 1999.
8. D. Lefebvre and C. Delherm, "Diagnosis of DES with Petri net models," IEEE Trans. Automat. Sci. Eng., vol. 4, no. 1, pp. 114-118, 2007. (Pubitemid 46113507)
9. D. Lefebvre, "Diagnosis with Petri nets according to partial events and states observation," in Proc. IFAC Safeprocess'12, Mexico City, Mexico, 2012.
10. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dyn. Syst., vol. 4, no. 2, pp. 197-212, 1994.
11. J. L. Peterson, Petri Net Theory and the Modelling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
12. J. Prock, "A new technique for fault detection using Petri nets," Automatica, vol. 27, no. 2, pp. 239-245, 1991.
13. A. Ramírez-Treviño, E. Ruiz-Beltran, I. Rivera-Rangel, and E. Lopez- Mellado, "Online fault diagnosis of discrete event systems. A Petri netbased approach," IEEE Trans. Automat. Sci. Eng., vol. 4, no. 1, pp. 31-39, 2007. (Pubitemid 46113497
14. Y. Ru and H. Hadjiscotis, "Fault diagnosis in discrete event systems modelled by partially observed Petri nets," Discrete Event Dyn. Syst., vol. 19, pp. 551-575, 2009.
15. 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.
16. T. Ushio, L. Onishi, and K. Okuda, "Fault detection based on Petri net models with faulty behaviors," in Proc. IEEE Conf. Syst., Man, Cybern., San Diego, CA, USA, 1998, pp. 113-118.
17. R. Vanderbei, Linear Programming: Foundations and Extension. New York: Springer, 2007.
18. Y. Wu and C. N. Hadjicostis, "Algebraic approaches for fault identification in discrete-event systems," IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 2048-2053, Dec. 2005. (Pubitemid 43056318
19. R. David and H. Alla, Petri Nets and Grafcet - Tools for Modelling Discrete Events Systems. London, U.K.: Prentice-Hall, 1992.
20. R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets. Berlin, Germany: Springer-Verlag, 2005.
21. X. Ye, J. Zhou, and X. Song, "On reachability graphs of Petri nets," Comp. Electric. Eng., vol. 29, pp. 263-272, 2003. (Pubitemid 35412163)
22. M. Dotoli, M. P. Fanti, and A. M. Mangini, "Real time identification of discrete event systems using Petri nets," Automatica, vol. 44, no. 5, pp. 1209-1219, 2008.
23. F. Basile, P. Chiacchio, and G. De Tommasi, "On -diagnosability of Petri nets via integer linear programming," Automatica, vol. 48, no. 9, pp. 2047-2058, 2012.