Fault detection for discrete event systems using Petri nets with unobservable transitions

Automatica

Volumn 46, Issue 9, 2010, Pages 1531-1539

  Cabasino, Maria Paola ^a   Giua, Alessandro ^a   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Discrete event systems; Fault diagnosis; On line diagnosis; Petri nets; Place transition nets

Indexed keywords

DETECTION APPROACH; DISCRETE EVENT SYSTEMS; FAULT DIAGNOSIS; NET SYSTEMS; ON-LINE DIAGNOSIS; PLACE/TRANSITION NETS; REACHABILITY GRAPHS; UNOBSERVABLE;

GRAPH THEORY; PETRI NETS;

FAULT DETECTION;

EID: 77956179793     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2010.06.013     Document Type: Article

References (17)

1. F. Basile, P. Chiacchio, and G. De Tommasi An efficient approach for online diagnosis of discrete event systems IEEE Transactions on Automatic Control 54 4 2009 748 759
2. A. Benveniste, E. Fabre, S. Haar, and C. Jard Diagnosis of asynchronous discrete event systems: a net unfolding approach IEEE Transactions on Automatic Control 48 5 2003 714 727
3. Boel, R. K., & Jiroveanu, G. (2004). Distributed contextual diagnosis for very large systems. In Proc. IFAC WODES'04: 7th work. on discrete event systems. Reims, France (pp. 343348).
4. Boel, R. K., & van Schuppen, J. H. (2002). Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In Proc. WODES'02: 6th work. on discrete event systems. Zaragoza, Spain (pp. 175181).
5. Cabasino, M. P., Giua, A., & Seatzu, C. (2009). Fault detection for discrete event systems using Petri nets with unobservable transitions. Technical report at: http://www.diee.unica.it/~seatzu/TRcabasino.pdf.
6. D. Corona, A. Giua, and C. Seatzu Marking estimation of Petri nets with silent transitions IEEE Transactions on Automatic Control 52 9 2007 1695 1699 (Pubitemid 47456081)
7. R. Debouk, S. Lafortune, and D. Teneketzis Coordinated decentralized protocols for failure diagnosis of discrete-event systems Discrete Event Dynamical Systems 10 1 2000 33 86 (Pubitemid 30573763)
8. Dotoli, M., Fanti, M. P., & Mangini, A. M. (2008). Fault detection of discrete event systems using Petri nets and integer linear programming. In Proc. of 17th IFAC world congress. Seoul, Korea.
9. S. Genc, and S. Lafortune Distributed diagnosis of place-bordered Petri nets IEEE Transactions on Automation Science and Engineering 4 2 2007 206 219 (Pubitemid 46574024)
10. Giua, A., & Seatzu, C. (2005). Fault detection for discrete event systems using Petri nets with unobservable transitions. In Proc. 44th IEEE conf. on decision and control. (pp. 63236328). (Pubitemid 46297981)
11. Jiroveanu, G., & Boel, R. K. (2004). Contextual analysis of Petri nets for distributed applications. In 16th int. symp. on mathematical theory of networks and systems. Leuven, Belgium.
12. J. Martinez, and M. Silva A simple and fast algorithm to obtain all invariants of a generalized Petri net C. Girault, W. Reisig, Informatik-Fachberichte 52: application and theory of Petri nets 1980 301 310
13. J. Prock A new technique for fault detection using Petri nets Automatica 27 2 1991 239 245
14. M. Sampath, S. Lafortune, and D. Teneketzis Active diagnosis of discrete-event systems IEEE Transactions on Automatic Control 43 7 1998 908 929 (Pubitemid 128737720)
15. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Diagnosability of discrete-event systems IEEE Transactions on Automatic Control 40 9 1995 1555 1575
16. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Failure diagnosis using discrete-event models IEEE Transactions on Control Systems Technology 4 2 1996 105 124 (Pubitemid 126782836)
17. S. Hashtrudi Zad, R.H. Kwong, and W.M. Wonham Fault diagnosis in discrete-event systems: framework and model reduction IEEE Transactions on Automatic Control 48 7 2003 1199 1212