Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems

Control Engineering Practice

Volumn 19, Issue 9, 2011, Pages 989-1001

  Cabasino, M P ^a   Giua, A ^a   Pocci, M ^a   Seatzu, C ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Discrete event systems; Fault diagnosis; Labeled Petri nets; Petri nets

Indexed keywords

DISCRETE EVENTS; LABELED PETRI NETS; ON-LINE DIAGNOSIS; REACHABILITY; UNOBSERVABLE;

MANUFACTURE; MATLAB;

PETRI NETS;

EID: 79960105342     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2010.12.010     Document Type: Article

References (46)

1. Basile F., Chiacchio P., De Tommasi G. An efficient approach for online diagnosis of discrete event systems. IEEE Transactions on Automatic Control 2009, 54(4):748-759.
2. Baviehi, S., & Chong, E. K. P. (1994). Automated fault diagnosis using a discrete event systems. In IEEE international symposium on intelligent control, Ohio, USA.
3. Benveniste A., Fabre E., Haar S., Jard C. Diagnosis of asynchronous discrete event systems: A net unfolding approach. IEEE Transactions on Automatic Control 2003, 48(5):714-727.
4. Boel, R. K., & Jiroveanu, G. (2004). Distributed contextual diagnosis for very large systems. In Proceedings of the IFAC WODES'04: 7th workshop on discrete event systems (pp. 343-348).
5. Boel, R. K., & van Schuppen, J. H. (2002). Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In Proceedings of the WODES'02: 6th workshop on discrete event systems (pp. 175-181).
6. Cabasino, M. P., Giua, A., Lafortune, S., & Seatzu, C. (2009). Diagnosability analysis of unbounded Petri nets. In Proceedings of the 48th IEEE conference on decision and control, Shanghai, China.
7. Cabasino, M. P., Giua, A., & Seatzu, C. (2009a). Diagnosability of bounded Petri nets. In Proceedings of the 48th IEEE conference on decision and control, Shanghai, China.
8. Cabasino, M. P., Giua, A., & Seatzu, C. (2009b). Diagnosis of discrete event systems using labeled Petri nets. In Proceedings of the 2nd IFAC workshop on dependable control of discrete systems, Bari, Italy.
9. Cabasino M.P., Giua A., Seatzu C. Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 2010, 46(9):1531-1539.
10. Cassandras C.G., Lafortune S. Introduction to discrete event systems 2007, Springer. 2nd ed.
11. Chung S.L. Diagnosing pn-based models with partial observable transitions. International Journal of Computer Integrated Manufacturing 2005, 12(2):158-169.
12. Corona, D., Giua, A., & Seatzu, C. (2004). Marking estimation of Petri nets with silent transitions. In Proceedings of the IEEE 43rd international conference on decision and control, Atlantis, The Bahamas.
13. Corona D., Giua A., Seatzu C. Marking estimation of Petri nets with silent transitions. IEEE Transactions on Automatic Control 2007, 52(9):1695-1699.
14. Debouk R., Lafortune S., Teneketzis D. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Events Dynamical Systems 2000, 10(1):33-86.
15. Dotoli, M., Fanti, M.P., Mangini, A., & Ukovich, W. Identification of the unobservable behaviour of industrial automation systems by Petri nets. Control Engineering Practice, this issue, doi:. http://10.1016/j.conengprac.2010.09.004.
16. Dotoli, M., Fanti, M. P., & Mangini, A. M. (2008). Fault detection of discrete event systems using Petri nets and integer linear programming. In Proceedings of 17th IFAC world congress, Seoul, Korea.
17. Garcia E., Correcher A., Morant F., Quiles E., Blasco R. Modular fault diagnosis based on discrete event systems. Discrete Event Dynamic Systems 2005, 15(3):237-256.
18. Genc S., Lafortune S. Distributed diagnosis of place-bordered Petri nets. IEEE Transactions on Automation Science and Engineering 2007, 4(2):206-219.
19. Ghazel, M., Togueni, A., & Bigang, M. (2005). A monitoring approach for discrete events systems based on a time Petri net model. In Proceedings of 16th IFAC world congress, Prague, Czech Republic.
20. Hadjicostis, C. N., & Veghese, G. C. (1999). Monitoring discrete event systems using Petri net embeddings. Lecture notes in computer science (Vol. 1639, pp. 188-207).
21. Huang Z., Chandra V., Jiang S., Kumar R. Modeling discrete event systems with faults using a rules based modeling formalism. Mathematical and Computer Modelling of Dynamical Systems 2003, 9(3):233-254.
22. Jiroveanu, G., & Boel, R. K. (2004). Contextual analysis of Petri nets for distributed applications. In 16th international symposium on mathematical theory of networks and systems, Leuven, Belgium.
23. Lai, S., Nessi, D., Cabasino, M. P., Giua, A., & Seatzu, C. (2008). A comparison between two diagnostic tools based on automata and Petri nets. In: Proceedings of the IFAC WODES'08: 9th workshop on discrete event systems (pp. 144-149).
24. Lefebvre D., Delherm C. Diagnosis of DES with Petri net models. IEEE Transactions on Automation Science and Engineering 2007, 4(1):114-118.
25. Lin F. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems 1994, 4(2):197-212.
26. Lin, F., Markee, J., & Rado, B. (1993). Design and test of mixed signal circuits: A discrete event approach. In Proceedings of the 32rd IEEE conference on decision and control (pp. 246-251).
27. Lunze J., Schroder J. Sensor and actuator fault diagnosis of systems with discrete inputs and outputs. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics 2004, 34(3):1096-1107. doi:10.1109/TSMCB.2003.820593.
28. Martinez J., Silva M. A simple and fast algorithm to obtain all invariants of a generalized Petri net. Informatik-Fachberichte 52: Application and Theory of Petri Nets 1982, 301-310. Springer-Verlag.
29. Miyagi P.E., Riascos L.A.M. Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets. Control Engineering Practice 2010, 14(4):397-408.
30. Murata T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 1989, 77(4):541-580.
31. Pocci, M., 2009. The MATLAB toolbox is available at the following web address: 〈〉. http://www.diee.unica.it/giua/TESI/09_Marco.Pocci/PN_DIAG.zip.
32. Prock J. A new technique for fault detection using Petri nets. Automatica 1991, 27(2):239-245.
33. Ramirez-Treviño A., Ruiz-Beltràn E., Rivera-Rangel I., Lopez-Mellado E. Online fault diagnosis of discrete event systems. A Petri net-based approach. IEEE Transactions on Automation Science and Engineering 2007, 4(1):31-39.
34. Sampath, M. (1995). A discrete event systems approach to failure diagnosis. Ph.D. thesis. Ann Arbor, MI: The University of Michigan.
35. Sampath M., Lafortune S., Teneketzis D. Active diagnosis of discrete-event systems. IEEE Transactions on Automatic Control 1998, 43(7):908-929.
36. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., Teneketzis D. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 1995, 40(9):1555-1575.
37. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., Teneketzis D. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 1996, 4(2):105-124.
38. Sreenivas V.S., Jafari M.A. Fault detection and monitoring using time Petri nets. IEEE Transactions on Systems, Man and Cybernetics 1993, 23(4):1155-1162.
39. Ushio, T., Onishi, L., & Okuda, K. (1998). Fault detection based on Petri net models with faulty behaviors. In Proceedings of the SMC'98: IEEE international conference on systems, man, and cybernetics (pp. 113-118), San Diego, CA, USA.
40. Viswanadham, N., & Johnson, T. L. (1988). Fault detection and diagnosis of automated manufacturing systems. In Proceedings of the 27th IEEE conference on decision and control (pp. 2301-2306), Austin, Texas.
41. Wen, Y., & Jeng, M. (2005). Diagnosability analysis based on T-invariants of Petri nets. In Networking, sensing and control, 2005. Proceedings, 2005 (pp. 371-376). IEEE.
42. Wen, Y., Li, C., & Jeng, M. (2005). A polynomial algorithm for checking diagnosability of Petri nets. In Proceedings of the SMC'05: IEEE international conference on systems, man, and cybernetics (pp. 2542- 2547).
43. Wu Y., Hadjicostis C.N. Algebraic approaches for fault identification in discrete-event systems. IEEE Transactions on Robotics and Automation 2005, 50(12):2048-2053.
44. Zad S.H., Kwong R.H., Wonham W.M. Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Transactions on Automatic Control 2003, 48(7):1199-1212.
45. Zad S.H., Kwong R.H., Wonham W.M. Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Transactions on Automatic Control 2003, 48(7):1199-1212.
46. Zhou M.C., DiCesare F. Petri net synthesis for discrete event control manufacturing systems 1993, Kluwer.