Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events

2010 IEEE International Conference on Automation Science and Engineering, CASE 2010

Volumn , Issue , 2010, Pages 485-490

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

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SYSTEMS; FAULT CLASS; FAULT EVENT; LABELED TRANSITIONS; NON-DETERMINISM;

GRAPH THEORY;

PETRI NETS;

EID: 78149432190     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2010.5583995     Document Type: Conference Paper

References (13)

1. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete-event systems," IEEE Trans. on Automatic Control, vol. 43, no. 7, pp. 908-929, Jul. 1998.
2. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discrete Events Dynamical Systems, vol. 10, no. 1, pp. 33-86, Jan. 2000. (Pubitemid 30573763)
3. R. Boel and J. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," in Proc. WODES'02: 6th Work. on Discrete Event Systems, Oct. 2002, pp. 175-181.
4. S. H. Zad, R. Kwong, and W. Wonham, "Fault diagnosis in discreteevent systems: framework and model reduction," IEEE Trans. On Automatic Control, vol. 48, no. 7, pp. 1199-1212, Jul. 2003.
5. J. Lunze and J. Schroder, "Sensor and actuator fault diagnosis of systems with discrete inputs and outputs," vol. 34, no. 3, pp. 1096-1107, Apr. 2004.
6. 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, vol. 8, pp. 203-231, Jun. 1998.
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, vol. 48, no. 5, pp. 714-727, May 2003.
8. S. Genc and S. Lafortune, "Distributed diagnosis of discrete event systems using Petri nets," in Proc. of the 24th ATPN, Jun. 2003, pp. 316-336.
9. G. Jiroveanu and R. Boel, "Contextual analysis of Petri nets for distributed applications," in 16th Int. Symp. on Mathematical Theory of Networks and Systems (Leuven, Belgium), Jul. 2004.
10. 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, Dec. 2005, pp. 6323-6328.
11. M. Cabasino, A. Giua, and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica, 2010, in press.
12. --, "Diagnosis of discrete event systems using labeled Petri nets," in Proc. 2nd IFAC Workshop on Dependable Control of Discrete Systems (Bari, Italy), Jun. 2009.
13. T. Murata, "Petri nets: properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.