Diagnosability of discrete-event systems using labeled petri nets

IEEE Transactions on Automation Science and Engineering

Volumn 11, Issue 1, 2014, Pages 144-153

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

^a UNIVERSITY OF CAGLIARI   (Italy)

^b AIX MARSEILLE UNIV   (France)

Author keywords

Discrete event systems (DES); Fault diagnosis; Petri nets (PNs)

Indexed keywords

DIAGNOSABILITY; DISCRETE EVENTS; FAULT EVENT; INITIAL MARKING; NET SYSTEMS; PETRI NETS (PNS); TWO-GRAPHS; UNOBSERVABLE;

DISCRETE EVENT SIMULATION; FAILURE ANALYSIS; PETRI NETS;

FAULT DETECTION;

EID: 84892439859     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2013.2289360     Document Type: Article

References (24)

1. - 2009. [Online]. Available: http://www.diee.unica.it/giua/tesi/09-marco. pocci/pn-diag.zip
2. F. Basile, P. Chiacchio, and G. De Tommasi, "On K-diagnosability of Petri nets via Integer linear programming," Automatica, vol. 48, no. 9, pp. 2047-2058, 2012.
3. R. K. Boel and G. Jiroveanu, "Distributed contextual diagnosis for very large systems," in Proc. IFAC WODES'04: 7th Work. Discrete Event Syst., Sep. 2004, pp. 343-348.
4. R. K. Boel and G. Jiroveanu, "The diagnosability of Petri net models using minimal explanations," IEEE Trans. Autom. Control, vol. 55, no. 7, pp. 1663-1668, Jul. 2010.
5. R. K. Boel, G. Jiroveanu, and B. Bordbar, "On-line monitoring of large Petri netmodels under partial observation," Discrete Events Dynamical Syst., vol. 18, pp. 323-354, 2008.
6. M. P. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, "A new approach for diagnosability analysis of petri nets using verifier nets," IEEE Trans. Autom. Control, vol. 57, no. 12, pp. 3104-3117, Dec. 2012.
7. M. P. Cabasino, A. Giua, L. Marcias, and C. Seatzu, "A comparison among tools for the diagnosability of discrete event systems," in Proc. 8th IEEE Conf. Autom. Sci. Eng., Seoul, Korea, Aug. 2012, pp. 218-223.
8. M. P. Cabasino, A. Giua, M. Pocci, and C. Seatzu, "Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems," Control Eng. Practice, vol. 19, no. 9, pp. 989-1001, 2011.
9. M. P. Cabasino, A. Giua, and C. Seatzu, "Diagnosability of bounded Petri nets," in Proc. 48th IEEE Conf.Decision Control, Shangai, China, Dec. 2009, pp. 1254-1260.
10. M. P. 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.
11. S. L. Chung, "Diagnosing PN-based models with partial observable transitions," Int. J. Comput. Integr. Manuf., vol. 12, no. 2, pp. 158-169, 2005.
12. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discrete Events Dynamical Syst., vol. 10, no. 1, pp. 33-86, 2000.
13. S. Haar, "Qualitative diagnosability of labeled Petri nets revisited," in Proc. 48th IEEE Conf. Decision Control, Shanghai, China, Dec. 2009, pp. 1248-1253.
14. S. Hashtrudi Zad, R. H. Kwong, andW. M.Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," IEEE Trans. Autom. Control, vol. 48, no. 7, pp. 1199-1212, 2003.
15. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dynamic Syst., vol. 4, no. 2, pp. 197-212, 1994.
16. A. Madalinski, F. Nouioua, and P. Dague, "Diagnosability verification with Petri net unfoldings," Int. J. Knowl.-Based Intell. Eng. Syst., vol. 14, no. 2, pp. 49-55, 2010.
17. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989.
18. M. Pocci, "A toolbox for place/transition net diagnosability," (in Italian) M.S. thesis, Dept. Elect. Electron. Eng., Univ. Cagliari, Cagliari, Italy, 2009.
19. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, 1995.
20. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Control Syst. Technol., vol. 4, no. 2, pp. 105-124, Mar. 1996.
21. T. Ushio, L. Onishi, and K. Okuda, "Fault detection based on Petri net models with faulty behaviors," in Proc. IEEE Int. Conf. Syst., Man, Cybern., San Diego, CA, USA, Oct. 1998, vol. 1, pp. 113-118.
22. Y.Wen andM. Jeng, "Diagnosability analysis based on T-invariants of Petri nets," in Proc. IEEE Networking, Sensing and Control, Tucson, AZ, USA, Mar. 2005, pp. 371-376.
23. Y. Wen, C. Li, and M. Jeng, "A polynomial algorithm for checking diagnosability of Petri nets," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Hawaii, USA, Oct. 2005, pp. 2542-2547.
24. T.-S. Yoo and S. Lafortune, "Polynomial-time verification of diagnosability of partially observed discrete-event systems," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1491-1495, Sep 2002.