Fault diagnosis and identification of discrete event systems using Petri nets

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 432-435

  Fanti, Maria Pia ^a   Seatzu, Carla ^b  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b POLITECNICO DI BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC FAULT CURRENTS; MARINE BIOLOGY; PETRI NETS; TECHNICAL PRESENTATIONS;

DISCRETE EVENT SYSTEMS; FAULT DIAGNOSIS AND IDENTIFICATION; STATE OF THE ARTS;

GRAPH THEORY;

EID: 53149139303     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605985     Document Type: Conference Paper

References (43)

1. E. Badouel, L. Bernardinello, and P. Darondeau. Polynomial algorithms for the synthesis of bounded nets. Proceedings of CAAP'95, Lecture Notes in Computer Science, 915, 1995.
2. E. Badouel and P. Darondeau. On the synthesis of general Petri nets. Inria Research Report 3025, (Rennes, France), 1996.
3. E. Badouel and P. Darondeau. Theory of regions. Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models, 1491:529-586, 1998.
4. F. Balduzzi, A. Giua, and G. Menga. First-order hybrid Petri nets: a model for optimization and control. IEEE Trans. on Automation, 16:382-399, 2000.
5. F. Basile, P. Chiacchio, and G. De Tommasi. An efficient approach for on-line diagnosis of discrete event systems. In Proc. 15th IEEE Mediterranean Conference on Control and Automation, Athens, Greece, June 2007.
6. F. Basile, P. Chiacchio, and G. De Tommasi. An efficient approach for on-line diagnosis of discrete event systems. Automatica, 2008 (submitted).
7. A. Benveniste, E. Fabre, S. Haar, and C. Jard. Diagnosis of asynchronous discrete event systems: A net unfolding approach. IEEE Trans. on Automatic Control, 48(5):714-727, 2003.
8. T. Bourdeaud'huy and P. Yim. Synthèse de réseaux de Petri à partir d'exigences. In Actes de la 5me Conf. Francophone de Modélisation et Simulation, Nantes, France, September 2004.
9. M. P. Cabasino, A. Giua, and C. Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica, (submitted).
10. M.P. Cabasino, A. Giua, and C. Seatzu. Identification of unbounded Petri nets from their coverability graph. In Proc. 45th IEEE Conf. on Decision and Control, San Diego, US, December 2006.
11. M.P. Cabasino, A. Giua, and C. Seatzu. Identification of Petri nets from samples of their languages. Discrete Events Dynamical Systems, 17(4):447-474, 2007.
12. J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. Deriving Petri nets from finite transition systems. IEEE Transactions on Computers, 47(8):859-882, 1998.
13. M. Dotoli, M.P. Fanti, and A.M. Mangini. Fault detection of discrete event systems using Petri nets and integer linear programming. In Proc. of 17th IFAC World Congress, Seoul, Korea, July 2008.
14. M. Dotoli, M.P. Fanti, and A.M. Mangini. Real time identification of discrete event systems using Petri nets. Automatica, 44(5):1209-1219, 2008.
15. M. Dotoli, M.P. Fanti, and A.M. Mangini. Fault monitoring of discrete event systems by first order hybrid Petri nets. In Workshop on Petri Nets and Agile Manufacturing, a satellite event of the 29th Int. Conf. on Application and Theory of Petri Nets and Other Models of Concurrency, Xi'an, China, June 2008 (to appear).
16. S. Gene and S. Lafortune. Distributed diagnosis of place-bordered Petri nets. IEEE Trans. on Automation Science and Engineering, 4(2):206-219, 2007.
17. M. Ghazel, A. Togueni, and M. Bigang. A monitoring approach for discrete events systems based on a time Petri net model. In Proc. of 16th IFAC World Congress, Prague, Czech Republic, July 2005.
18. A. Giua and C. Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions. In Proc. 44th IEEE Conf on Decision and Control, Seville, Spain, December 2005.
19. A. Giua and C. Seatzu. Identification of free-labeled Petri nets via integer programming. In Proc. 44th IEEE Conf. on Decision and Control, Seville, Spain, December 2005.
20. C.N. Hadjicostis and G.C. Veghese. Monitoring discrete event systems using Petri net embeddings. In Lecture Notes in Computer Science, volume 1639, pages 188-207. Springer-Verlag, 1999.
21. K. Hiraishi. Construction of a class of safe Petri nets by presenting firing sequences. In Jensen, K., editor. Lecture Notes in Computer Science; 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, volume 616, pages 244-262. Springer-Verlag, June 1992.
22. P. Hoogers, H. Kleijn, and P. Thiagarajan. A trace semantics for Petri nets. Information and Computation, 117(1):98-114, 1995.
23. W.S. Lee, D.L. Grosh, F.A. Tillman, and C.H. Lie. Fault tree analysis, methods, and applications - A review. IEEE Trans. Reliability, 34:194-203, 1985.
24. D. Lefebvre and C. Delherm. Diagnosis of DES with Petri net models. IEEE Trans. on Automation Science and Engineering, 4(1): 114-118, 2007.
25. L. Li, Y. Ru, and C.N. Hadjicostis. Least-cost firing sequence estimation in labeled Petri nets. In Proc. 45th IEEE Conf. on Decision and Control, San Diego, California USA, December 2006.
26. F. Lin. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems, 4(2): 197-212, 1994.
27. R. Lorenz, G. Juhás, and S. Mauser. How to synthesize nets from languages - a survey. In Proc. 2007 Winter Simulation Conference, Washington DC, USA, December 2007.
28. M.E. Meda-Campaña and E. López-Mellado. Incremental synthesis of Petri net models for identification of discrete event systems. In Proc. 41th IEEE Conf. on Decision and Control, Las Vegas, Nevada USA, December 2002.
29. M.E. Meda-Campaña and E. López-Mellado. Required event sequences for identification of discrete event systems. In Proc. 42th IEEE Conf. on Decision and Control, Maui, Hawaii, USA, December 2003.
30. D.N. Pandalai and L.E. Holloway. Template languages for fault monitoring of timed discrete event processes. IEEE Trans. on Automatic Control, 45(5), 2000.
31. C.A. Petri. Kommunication mit automaten.
32. J. Prock. A new tecnique for fault detection using Petri nets. Automatica, 27(2):239-245, 1991.
33. Y. Ru and C. N. Hadjicostis. State estimation in discrete event systems modeled by labeled Petri nets. In Proc. 45th IEEE Conf. on Decision and Control, San Diego, California USA, December 2006.
34. A. Ramirez-Treviño E. Ruiz-Beltràn, I. Rivera-Rangel, and E. Lopez-Mellado. Online fault diagnosis of discrete event systems. A Petri net-based approach. IEEE Trans. on Automation Science and Engineering, 4(1):31-39, 2007.
35. M. Sampath and S. Lafortune. Active diagnosis of discrete-event systems. IEEE Trans. on Automatic Control, 43(7):908-929, 1998.
36. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohidden, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Trans. on Automatic Control, 40(9): 1555-1575, 1995.
37. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. Control Systems Technology, 4(2): 105-124, 1996.
38. V.S. Sreenivas and M.A. Jafari. Fault detection and monitoring using time Petri nets. IEEE Trans. Systems, Man and Cybernetics, 23(4): 1155-1162, 1993.
39. T. Ushio, L. Onishi, and K. Okuda. Fault detection based on Petri net models with faulty behaviors. In Proc. SMC'98: IEEE Int. Conf. on Systems, Man, and Cybernetics (San Diego, CA, USA).
40. J.H. van Schuppen. System theory for system identification. Journal of Econometrics, 118(l-2):313-339, January-February 2004.
41. Y. Wen and M. Jeng. Diagnosability analysis based on T-invariants of Petri nets. In Proc. IEEE 2005 Networking, Sensing and Control, 2005 (Tucson, Arizona), March 2005.
42. Y. Wu and C.N. Hadjicostis. Algebraic approaches for fault identification in discrete-event systems. IEEE Trans. Robotics and Automation, 50(12):2048-2053, 2005.
43. S. Hashtrudi Zad, R.H. Kwong, and W.M. Wonham. Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans. on Automatic Control, 48(7):1199-1212, July 2003.