Diagnosability analysis of unbounded Petri nets

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 1267-1272

  Cabasino, Maria Paola ^a   Giua, Alessandro ^a   Lafortune, Stéphane ^b   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b University of Michigan   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ENGINEERING;

COVERABILITY GRAPHS; DIAGNOSABILITY; DIAGNOSABILITY ANALYSIS;

PETRI NETS;

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

References (14)

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. Control Systems Technology, vol.4, no.2, pp. 105-124, 1996.
3. 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.
4. M. Cabasino, A. Giua, and C. Seatzu, "Diagnosability of bounded Petri nets," in Proc. 48th IEEE Conf. on Decision and Control, Dec. 2009.
5. 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.
6. S. Chung, "Diagnosing pn-based models with partial observable transitions," International Journal of Computer Integrated Manufacturing, vol.12 (2), pp. 158-169, 2005.
7. 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.
8. 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.
9. T. Murata, "Petri nets: properties, analysis and applications," Proceedings of the IEEE, vol.77, no.4, pp. 541-580, 1989.
10. D. Corona, A. Giua, and C. Seatzu, "Marking estimation of Petri nets with silent transitions," IEEE Trans. Automatic Control, vol.52, no.9, pp. 1695-1699, Sep. 2007.
11. C. Cassandras and S. Lafortune, Introduction to discrete event systems, Second Edition. Springer, 2007.
12. T. Yoo and H. Garcia, "Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays," Discrete Events Dynamical Systems, 2008.
13. 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.
14. 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.