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

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 6323-6328

  Giua, Alessandro ^a   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; FAILURE ANALYSIS; OBSERVABILITY; PETRI NETS;

BASIS MARKINGS; FAULT DETECTION; FAULTY BEHAVIORS; FIRING SEQUENCES;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33847186246     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1583175     Document Type: Conference Paper

References (14)

1. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard. Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets. Discrete Events Dynamical Systems, 8:203-231, June 1998.
2. A. Benveniste, E. Fabre, S. Haar, and C. Jard. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. Automatic Control, 48(5):714-727, May 2003.
3. R.K. Boel and G. Jiroveanu. Distributed contextual diagnosis for very large systems. In Proc. IFAC WODES'04: 7th Work. on Discrete Event Systems (Reims, France), September 2004.
4. R.K. Boel and J.H. van Schuppen. Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In Proc. WODES'02: 6th Work. on Discrete Event Systems (Zaragoza Spain), pages 175-181, October 2002.
5. D. Corona, A. Giua, and C. Seatzu. Marking estimation of Petri nets with silent transitions. In Proc. IEEE 43rd Int. Conf. on Decision and Control (Atlantis, The Bahamas), December 2004.
6. R. Debouk, S. Lafortune, and D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Events Dynamical Systems, 20:33-79, 2000.
7. S. Jiang and R. Kumar. Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans. Automatic Control, 49(6):934-945, June 2004.
8. G. Jiroveanu and R.K. Boel. Contextual analysis of Petri nets for distributed applications. In 16th Int. Symp. on Mathematical Theory of Networks and Systems (Leuven, Belgium), July 2004.
9. J. Lunze and J. Schroder. Sensor and actuator fault diagnosis of systems with discrete inputs and outputs. IEEE Trans. Systems, Man and Cybernetics, Part B, 34(3): 1096-1107, April 2004.
10. J. Martinez and M. Silva. A simple and fast algorithm to obtain all invariants of a generalized Petri net. In Girault, C. and Reisig, W., editors, Informatik-Fachberichte 52: Application and Theory of Petri Nets: Selected Papers from the First and Second European Workshop on Application and Theory of Petri Nets, Strasbourg, Sep. 23-26, 1980, Bad Honnef, Sep. 28-30, 1981, pages 301-310. Springer-Verlag, 1982.
11. T. Murata. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4), 1989.
12. M. Sampath and S. Lafortune. Active diagnosis of discrete-event systems. IEEE Trans. Automatic Control, 43:908-929, 1998.
13. 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), pages 113-118, October 1998.
14. S. Hashtrudi Zad, R.H. Kwong, and W.M. Wonham. Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans. Automatic Control, 48(7):1199-1212, July 2003.