Diagnosis using labeled petri nets with silent or undistinguishable fault events

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 43, Issue 2, 2013, Pages 345-355

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

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Discrete event systems; Fault detection; Petri nets

Indexed keywords

DIAGNOSIS PROBLEM; DIAGNOSTIC PROCEDURE; DIAGNOSTIC SYSTEMS; FAULT CLASS; FAULT EVENT; REACHABILITY SET; UNOBSERVABLE;

DISCRETE EVENT SIMULATION; FAULT DETECTION; PETRI NETS;

PETRI NETS; FAULT DETECTION;

EID: 84887067143     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2012.2199307     Document Type: Article

References (28)

1. 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.
2. Y. Wu and C. Hadjicostis, "Algebraic approaches for fault identification in discrete-event systems," IEEE Trans. Robot. Autom., vol. 50, no. 12, pp. 2048-2055, Dec. 2005.
3. 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.
4. 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.
5. G. Jiroveanu and R. Boel, "A distributed approach for fault detection and diagnosis based on time Petri nets," Math. Comput. Simul., vol. 70, no. 5/6, pp. 287-313, Feb. 2006.
6. M. Dotoli, M. Fanti, A. Mangini, andW. Ukovich, "On-line fault detection in discrete event systems by Petri nets and integer linear programming," Automatica, vol. 45, no. 11, pp. 2665-2672, Nov. 2009.
7. A. Ramirez-Treviño, E. Ruiz-Beltràn, I. Rivera-Rangel, and E. Lopez-Mellado, "Online fault diagnosis of discrete event systems. A Petri netbased approach," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 1, pp. 31-39, Jan. 2007.
8. A. Ramirez-Trevino, E. Ruiz-Beltran, J. Aramburo-Lizarraga, and E. Lopez-Mellado, "Structural diagnosability of DES and design of reduced Petri net diagnosers," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 2, pp. 416-429, Mar. 2012.
9. 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, Sep. 2010.
10. M. P. Cabasino, A. Giua, M. Pocci, and C. Seatzu, "Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems," Control Eng. Pract., vol. 19, no. 9, pp. 989-1001, Sep. 2011.
11. E. Garcia, L. Rodriguez, F. Morant, A. Correcher, E. Quiles, and R. Blasco, "Fault diagnosis with coloured Petri nets using latent nestling method," in Proc. IEEE Int. Symp. Ind. Electron., Cambridge, U.K., 2008, pp. 986-991.
12. L. Rodriguez, E. Garcia, F. Morant, A. Correcher, and E. Quiles, "Hybrid latent nesting method: A fault diagnosis case study in the wind turbine subsets," in Proc. IEEE/ASME Int. Conf. Adv. Intell. Mechatron., Budapest, Hungary, 2011, pp. 566-571.
13. Y. Ru and C. N. Hadjicostis, "Fault diagnosis in discrete event systems modeled by partially observed Petri nets," Discr. Event Dyn. Syst., vol. 19, no. 4, pp. 551-575, 2009.
14. M. Ghazel, A. Toguyéni, and P. Yim, "State observer for DES under partial observation with time Petri nets," Discr. Event Dyn. Syst., vol. 19, no. 2, pp. 137-165, 2009.
15. D. Lefebvre and E. Leclercq, "Stochastic Petri net identification for the fault detection and isolation of discrete event systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 213-225, Mar. 2011.
16. Y. Qu, L. Li, Y. Chen, and Y. Dai, "An optimal design approach for fault-tolerant Petri net controllers using arc weights minimization," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 5, pp. 1036-1043, Sep. 2012.
17. C. Mahulea, C. Seatzu, M. P. Cabasino, and M. Silva, "Fault diagnosis of discrete-event systems using continuous Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 4, pp. 970-984, Jul. 2012.
18. M. P. Cabasino, A. Giua, and C. Seatzu, "Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events," in Proc. IEEE Conf. Autom. Sci. Eng., Toronto, ON, Canada, Aug. 2010, pp. 485-490.
19. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discr. Events Dyn. Syst., vol. 10, no. 1, pp. 33-86, 2000.
20. S. H. 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.
21. 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.
22. 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.
23. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
24. D. Corona, A. Giua, and C. Seatzu, "Marking estimation of Petri nets with silent transitions," IEEE Trans. Autom. Control, vol. 52, no. 9, pp. 1695-1699, Sep. 2007.
25. R. Boel and G. Jiroveanu, "Distributed contextual diagnosis for very large systems," in Proc. 7th IFACWork. Discr. Event Syst., Reims, France, 2004.
26. G. Jiroveanu and R. Boel, "Contextual analysis of Petri nets for distributed applications," in Proc. 16th Int. Symp. Math. Theory Netw. Syst., Leuven, Belgium, 2004.
27. J. Martinez and M. Silva, "A simple and fast algorithm to obtain all invariants of a generalized Petri net," in Informatik-Fachberichte 52: Application and Theory of Petri Nets. New York: Springer-Verlag, 1982, pp. 301-310.
28. M. Pocci, Matlab Tool. [Online]. Available: http://www.diee.unica.it/ giua/TESI/09-Marco.Pocci/PN-DIAG.zip