A new approach for diagnosability analysis of Petri nets using verifier nets

IEEE Transactions on Automatic Control

Volumn 57, Issue 12, 2012, Pages 3104-3117

  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

Discrete event systems; fault diagnosis; Petri nets

Indexed keywords

ALGORITHMIC TECHNIQUES; DIAGNOSABILITY; DIAGNOSABILITY ANALYSIS; FAULT EVENT; PETRI NET MODELS; REACHABILITY; SUFFICIENT CONDITIONS; UNOBSERVABLE;

DISCRETE EVENT SIMULATION; FAILURE ANALYSIS; MATHEMATICAL TECHNIQUES; PETRI NETS;

FAULT DETECTION;

EID: 84867072708     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2012.2200372     Document Type: Article

References (44)

1. M. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, "Diagnosability analysis of unbounded Petri nets," in Proc. 48th IEEE Conf. Decision and Control, Shanghai, China, Dec. 2009.
2. R. Boel and J. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," Proc.WODES'02: 6thWorkshop on Discrete Event Syst., pp. 175-181, Oct. 2002.
3. 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, Jan. 2000. (Pubitemid 30573763)
4. S. Jiang and R. Kumar, "Failure diagnosis of discrete-event systems with linear-time temporal logic specifications," IEEE Trans. Autom. Control, vol. 49, no. 6, pp. 934-945, Jun. 2004.
5. F. Lin, J. Markee, and B. Rado, "Design and test of mixed signal circuits: a discrete event approach," in Proc. 32rd IEEE Conf. Decision and Control, 1993, pp. 246-251.
6. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dynamic Syst., vol. 4, no. 2, pp. 197-212, 1994.
7. S. Jiang, R. Kumar, and H. E. Garcia, "Diagnosis of repeated/intermittent failures in discrete event systems," IEEE Trans. Robot. Autom., vol. 19, no. 2, pp. 310-323, Apr. 2003.
8. J. Lunze and J. Schroder, "Sensor and actuator fault diagnosis of systems with discrete inputs and outputs," IEEE Trans. Syst., Man, Cybern., Part B: Cybern., vol. 34, no. 3, pp. 1096-1107, Apr. 2004.
9. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete-event systems," IEEE Trans. Autom. Control, vol. 43, no. 7, pp. 908-929, Jul. 1998. (Pubitemid 128737720)
10. 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, Sep. 1995.
11. 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. (Pubitemid 126782836)
12. S. Hashtrudi Zad, R. Kwong, and W. Wonham, "Fault diagnosis in discrete-event systems: framework and model reduction," IEEE Trans. Autom. Control, vol. 48, no. 7, pp. 1199-1212, Jul. 2003.
13. J. Prock, "A new tecnique for fault detection using Petri nets," Automatica, vol. 27, no. 2, pp. 239-245, 1991.
14. V. Sreenivas and M. Jafari, "Fault detection and monitoring using time Petri nets," IEEE Trans. Syst., Man, Cybernet., vol. 23, no. 4, pp. 1155-1162, 1993.
15. C. Hadjicostis and G. Veghese, "Monitoring discrete event systems using Petri net embeddings," Lecture Notes in Comput. Sci., vol. 1639, pp. 188-207, 1999.
16. A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosis of asynchronous discrete event systems: A net unfolding approach," IEEE Trans. Autom. Control, vol. 48, no. 5, pp. 714-727, May 2003.
17. Y. Wu and C. Hadjicostis, "Algebraic approaches for fault identification in discrete-event systems," IEEE Trans. Robot. Autom., vol. 50, no. 12, pp. 2048-2053, Dec. 2005. (Pubitemid 43056318)
18. D. Lefebvre and C. Delherm, "Diagnosis of DES with Petri net models," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 1, pp. 114-118, Jan. 2007. (Pubitemid 46113507)
19. A. Ramirez-Treviño Mellado, E. Ruiz-Beltrán, I. Rivera-Rangel, and E. Lopez-Mellado, "Online fault diagnosis of discrete event systems. A Petri net-based approach," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 1, pp. 31-39, Jan. 2007. (Pubitemid 46113497)
20. 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.
21. F. Basile, P. Chiacchio, and G. De Tommasi, "An efficient approach for online diagnosis of discrete event systems," IEEE Trans. Autom. Control, vol. 54, no. 4, pp. 748-759, Apr. 2009.
22. S. Genc and S. Lafortune, "Distributed diagnosis of place-bordered Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 2, pp. 206-219, Apr. 2007. (Pubitemid 46574024)
23. Y. Ru and C. Hadjicostis, "Fault diagnosis in discrete event systems modeled by partially observed Petri nets," Discrete Event Dynamic Syst., vol. 19, no. 4, pp. 551-575, 2009.
24. A. Madalinski, F. Nouioua, and P. Dague, "Diagnosability verification with Petri net unfoldings," Int. J. Knowl.-Based and Intell. Eng. Syst., vol. 14, no. 2, pp. 49-55, 2010.
25. M. Cabasino, A. Giua, and C. Seatzu, "Diagnosability of bounded Petri nets," in Proc. 48th IEEE Conf. Decision and Control, Shanghai, China, Dec. 2009, pp. 1254-1260.
26. S. Haar, "Qualitative diagnosability of labeled Petri nets revisited," in Proc. 48th IEEE Conf. Decision and Control, 2009, pp. 1248-1253.
27. G. Jiroveanu and R. Boel, "The diagnosability of Petri netmodels using minimal explanations," IEEE Trans. Autom. Control, vol. 55, no. 7, pp. 1663-1668, Jul. 2010.
28. T. Ushio, L. Onishi, and K. Okuda, "Fault detection based on Petri net models with faulty behaviors," in Proc. SMC'98: IEEE Int. Conf. Syst., Man, Cybern., San Diego, CA, Oct. 1998, pp. 113-118.
29. S. Chung, "Diagnosing pn-based models with partial observable transitions," Int. J. Comput. Integr. Manuf., vol. 12, no. 2, pp. 158-169, 2005. (Pubitemid 41663422)
30. Y. Wen and M. Jeng, "Diagnosability analysis based on T-invariants of Petri nets," Netw., Sens., Control, pp. 371-376, Mar. 2005. (Pubitemid 43897020)
31. Y. Wen, C. Li, and M. Jeng, "A polynomial algorithm for checking diagnosability of Petri nets," in Proc. SMC'05: IEEE Int. Conf. Syst., Man, Cybern., Oct. 2005, pp. 2542-2547. (Pubitemid 41674769)
32. 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.
33. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
34. R. Karp and R. Miller, "Parallel program schemata," J. Comput. Syst. Sci., no. 2, pp. 147-195, May 1969.
35. J. Hopcroft, R. Motwani, and J. Ullman, Introduction to Automata Theory, Languages and Computation, Third ed. Boston, MA: Addison-Wesley Longman, 2006.
36. R. Valk and G. Vidal-Naquet, "Petri nets and regular languages," J. Comput. Syst. Sci., vol. 23, no. 3, pp. 299-325, 1981.
37. M. Jantzen, "Complexity of place/transition nets," Advances in Petri Nets 1986, Part I on Petri Nets: Central Models and Their Properties, 1987.
38. T. Yoo and H. Garcia, "Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays," Discrete Events Dynamical Syst., vol. 19, no. 2, pp. 167-187, 2009.
39. A. Cheng, J. Esparza, and J. Palsberg, "Complexity results for 1-safe nets," Theor. Comput. Sci., vol. 147, no. 1-2, 1995.
40. F. Chu and X.-L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997. (Pubitemid 127770479)
41. TINA website [Online]. Available: http://homepages.laas.fr/bernard/tina
42. M. Cabasino, A. Giua, and C. Seatzu, "Linear programming techniques for the identification of place/transition nets," in Proc. 47th IEEE Conf. Decision and Control, Cancun, Mexico, 2008, pp. 514-520.
43. S. Genc and S. Lafortune, "Distributed diagnosis of discrete event systems using Petri nets," Proc. 24th ATPN, pp. 316-336, Jun. 2003.
44. M. 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, Sep. 2011.