A comparison among tools for the diagnosability of discrete event systems

IEEE International Conference on Automation Science and Engineering

Volumn , Issue , 2012, Pages 218-223

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

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DIAGNOSABILITY; DIAGNOSABILITY ANALYSIS; DIAGNOSABILITY OF DISCRETE EVENT SYSTEMS; NUMERICAL RESULTS; THEORETICAL RESULT;

ENGINEERING; INDUSTRIAL ENGINEERING;

SUSTAINABLE DEVELOPMENT;

EID: 84872541301     PISSN: 21618070     EISSN: 21618089     Source Type: Conference Proceeding    
DOI: 10.1109/CoASE.2012.6386425     Document Type: Conference Paper

References (22)

1. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. on Automatic Control, vol. 40 (9), pp. 1555-1575, 1995.
2. F. Lin, J. Markee, and B. Rado, "Design and test of mixed signal circuits: a discrete event approach," in Proc. 32rd IEEE Conf. on Decision and Control, 1993, pp. 246-251.
3. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dynamic Systems, vol. 4, no. 2, pp. 197-212, 1994.
4. S. Jiang, R. Kumar, and H. E. Garcia, "Diagnosis of repeated/intermittent failures in discrete event systems," IEEE Transactions on Robotics and Automation, vol. 19, no. 2, pp. 310-323, 2003.
5. A. Madalinski, F. Nouioua, and P. Dague, "Diagnosability verification with Petri net unfoldings," International Journal of Knowledge-Based and Intelligent Engineering Systems, vol. 14, no. 2, pp. 49-55, 2010.
6. M. Cabasino, A. Giua, and C. Seatzu, "Diagnosability of bounded Petri nets," in Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China, dec 2009.
7. S. Haar, "Qualitative diagnosability of labeled Petri nets revisited," in Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China, dec 2009.
8. G. Jiroveanu and R. Boel, "The diagnosability of Petri net models using minimal explanations," IEEE Trans. on Automatic Control, vol. 55, no. 7, pp. 1663-1668, 2010.
9. 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.
10. S. Chung, "Diagnosing pn-based models with partial observable transitions," International Journal of Computer Integrated Manufacturing, vol. 12 (2), pp. 158-169, 2005.
11. Y. Wen and M. Jeng, "Diagnosability analysis based on T-invariants of Petri nets," in Proc. IEEE Networking, Sensing and Control, Tucson, Arizona, Mar. 2005.
12. M. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, "A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets," IEEE Trans. on Automatic Control, 2012, to be published.
13. F. Basile, P. Chiacchio, and G. D. Tommasi, "An efficient approach for online diagnosis of discrete event systems," IEEE Trans. on Automatic Control, vol. 54, no. 4, 2009.
14. M. Dotoli, M. Fanti, A. Mangini, and W. Ukovich, "Fault detection of discrete event systems using Petri nets and integer linear programming," Automatica, vol. 45, pp. 2665-2672, 2009.
15. UMDES library, "http://www.eecs.umich.edu/umdes/toolboxes.html. "
16. M. Cabasino, A. Giua, and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica, vol. 46, no. 9, pp. 1531-1539, 2010.
17. M. Cabasino, A. Giua, M. Pocci, and C. Seatzu, "Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems," Control Engineering Practice, vol. 19, no. 9, pp. 989-1001, Sep. 2011.
18. M. Pocci PN DIAG tool tool available at the webpage, "http://www. diee.unica.it/giua/TESI/09Marco.Pocci/."
19. R. Perria, PN DIAG UNBOUNDED tool downloadable at the webpage, "http://www.disc-project.eu/PN-Diag-bounded-unbounded.zip."
20. DISC Software Platform webpage, "http://www.disc-project.eu/ software-platform.html."
21. S. Lai, D. Nessi, M. Cabasino, A. Giua, and C. Seatzu, "A comparison between two diagnostic tools based on automata and Petri nets," in Proc. IFAC WODES'08: 9th Work. on Discrete Event Systems, May 2008, pp. 144-149.
22. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.