Diagnosability of bounded Petri nets

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 1254-1260

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

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ENGINEERING;

DIAGNOSABILITY; INITIAL MARKING; PETRI NET SYSTEMS; REACHABILITY; REACHABILITY GRAPHS; TWO-GRAPHS;

PETRI NETS;

EID: 77950843928     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2009.5399874     Document Type: Conference Paper

References (12)

1. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Automatic Control, vol.40 (9), pp. 1555-1575, 1995.
2. -, "Failure diagnosis using discrete-event models," IEEE Trans. Contr. Syst. Tech, vol.4 (2), pp. 105-124, 1996.
3. 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), Oct. 1998, pp. 113-118.
4. S. Chung, "Diagnosing pn-based models with partial observable transitions," International Journal of Computer Integrated Manufacturing, vol.12 (2), pp. 158-169, 2005.
5. Y. Wen and M. Jeng, "Diagnosability analysis based on t-invariants of Petri nets," in Networking, Sensing and Control, 2005. Proceedings, Mar. 2005, pp. 371- 376.
6. Y. Wen, C. Li, and M. Jeng, "A polynomial algorithm for checking diagnosability of Petri nets," in Proc. SMC'05: IEEE Int. Conf. on Systems, Man, and Cybernetics, Oct. 2005, pp. 2542- 2547.
7. M. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, "Diagnosability analysis of unbounded Petri nets," in Proc. 48th IEEE Conf. on Decision and Control, Dec. 2009.
8. M. Cabasino, A. Giua, and C. Seatzu, "Diagnosis of discrete event systems using labeled Petri nets," in Proc. 2nd IFAC Workshop on Dependable Control of Discrete Systems (Bari, Italy), Jun. 2009.
9. -, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica, (Preliminary accepted).
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. T. Murata, "Petri nets: properties, analysis and applications," Proceedings of the IEEE, vol.77, no.4, 1989.
12. 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), Dec. 2004.