Diagnosis of discrete event systems using labeled Petri nets

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 2, Issue PART 1, 2009, Pages 52-57

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

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

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

Indexed keywords

FAILURE ANALYSIS; PETRI NETS;

ON-LINE DIAGNOSIS; OUTPUT SIGNAL; REACHABILITY GRAPHS;

DISCRETE EVENT SIMULATION;

EID: 79960946857     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090610-3-it-4004.00014     Document Type: Conference Paper

References (17)

1. Aghasaryan, A., Fabre, E., Benveniste, A., Boubour, R., and Jard, C. (1998). Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets. Discrete Events Dynamical Sys., 8, 203-231.
2. Basile, F., Chiacchio, P., and Tommasi, G.D. (2008). An efficient approach for online diagnosis of discrete event systems. IEEE Trans. Automatic Control.
3. Benveniste, A., Fabre, E., Haar, S., and Jard, C. (2003). Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. Automatic Control, 48(5), 714-727.
4. Boel, R. and Jiroveanu, G. (2004). Distributed contextual diagnosis for very large systems. In Proc. IFAC WODES'04: 7th Work. on Discrete Event Systems (Reims, France).
5. Boel, R. and van Schuppen, J. (2002). Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In Proc. IFAC WODES'02: 6th Work. on Discrete Event Systems (Zaragoza, Spain), 175-181.
6. Cabasino, M., Giua, A., and Seatzu, C. (2009). Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica. Preliminary accepted. A longer version is available as Technical Report at: http://www.diee.unica.it/automatica/TR/DIEE-2009-AUT-01.pdf.
7. Debouk, R., Lafortune, S., and Teneketzis, D. (2000). Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Events Dynamical Sys., 20, 33-79.
8. Dotoli, M., Fanti, M., and Mangini, A. (2008). Fault detection of discrete event systems using Petri nets and integer linear programming. In Proc. of 17th IFAC World Congress.
9. Genc, S. and Lafortune, S. (2003). Distributed diagnosis of discrete event systems using Petri nets. In Proc. Of the 24th ATPN, 316-336.
10. Giua, A. and Seatzu, C. (2005). Fault detection for discrete event systems using Petri nets with unobservable transitions. In Proc. 44th IEEE Conf. on Decision and Control, 6323-6328.
11. Jiang, S. and Kumar, R. (2004). Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans. Automatic Control, 49(6), 934-945.
12. Jiroveanu, G. and Boel, R. (2004). Contextual analysis of Petri nets for distributed applications. In 16th Int. Symp. on Mathematical Theory of Networks and Systems (Leuven, Belgium).
13. Lunze, J. and Schroder, J. (2004). Sensor and actuator fault diagnosis of systems with discrete inputs and outputs. IEEE Trans. Systems, Man and Cybernetics, Part B, 34(3), 1096-1107.
14. Murata, T. (1989). Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4).
15. Sampath, M. and Lafortune, S. (1998). Active diagnosis of discrete-event systems. IEEE Trans. Automatic Control, 43, 908-929. (Pubitemid 128737720)
16. Ushio, T., Onishi, L., and Okuda, K. (1998). 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), 113-118.
17. Zad, S.H., Kwong, R., and Wonham, W. (2003). Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans. Automatic Control, 48(7), 1199-1212.