Structural diagnosability of des and design of reduced Petri net diagnosers

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

Volumn 42, Issue 2, 2012, Pages 416-429

  Ramírez Treviño, Antonio ^a   Ruiz Beltrán, Elvia ^b   Arámburo Lizárraga, Jesús ^c   López Mellado, Ernesto ^a  

^a UNIDAD GUADALAJARA   (Mexico)

^b INSTITUTO TECNOLÓGICO DE AGUASCALIENTES   (Mexico)

^c UNIVERSITY OF GUADALAJARA   (Mexico)

Author keywords

Permanent and operational faults; Petri net based fault diagnosis; reduced diagnosers; structural diagnosabilty

Indexed keywords

DIAGNOSABILITY; DIAGNOSERS; INTERPRETED PETRI NETS; LOCATION OF FAULT; ON-LINE FAULT DETECTION; PERMANENT AND OPERATIONAL FAULTS; PETRI NET-BASED FAULT DIAGNOSIS; POLYNOMIAL ALGORITHM; REDUCED DIAGNOSERS; REDUCED MODEL; RELATIVE DISTANCES; STRUCTURAL CHARACTERIZATION; STRUCTURAL DIAGNOSABILTY; SUFFICIENT CONDITIONS;

FAULT TOLERANT COMPUTER SYSTEMS; PETRI NETS;

FAULT DETECTION;

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

References (35)

1. M. Alcaraz-Mejía, E. López-Mellado, A. Ramírez- Treviño, and I. Rivera-Rangel, "Petri net based fault diagnosis of discrete event systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 2003, pp. 4730-4735.
2. 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.
3. S. L. Chung, C.-C. Wu, and M. Jeng, "Failure diagnosis: A case study on modeling and analysis by Petri nets," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 2003, pp. 2727-2732.
4. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discr. Event Syst.: Theory Appl., vol. 10, pp. 33-79, 2000.
5. J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge, U.K.: Cambridge Univ. Press, 1995.
6. F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva, and F. B. Vernadat, Practice of Petri Nets in Manufacturing. London, U.K.: Chapman & Hall, 1993.
7. M. Dotoli, M. P. Fanti, A. M. Mangini, and W. Ukovich, "On-line fault detection of discrete event systems by Petri nets and integer linear programming," Automatica, vol. 45, no. 11, pp. 2665-2672, Nov. 2009.
8. M. Dotoli, M. P. Fanti, and A.M.Mangini, "A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism," Trans. Inst. Meas. Control, vol. 33, no. 1, pp. 149-167, 2011.
9. S. Genc and S. Lafortune, "Distributed diagnosis of discrete event systems using Petri nets," in Proc. 24th ATPN, 2003, pp. 316-336.
10. A. Giua and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," in Proc. 44th Int. Conf. Decision Control Eur. Control Conf., 2005, pp. 6323-6328.
11. C. N. Hadjicostis and G. Verghese, "Structured redundancy for fault tolerance in state-space models and Petri nets," Kybernetica, vol. 35, no. 1, pp. 39-55, 1999.
12. C. N. Hadjicostis and G. Verghese, "Power systems monitoring using Petri net embeddings," Proc. Inst. Elect. Eng.-C: Gener., Transm., Distrib., vol. 147, no. 5, pp. 299-303, Sep. 2000.
13. S. H. Zad, R. H. Kwong, andW.M.Wonham, "Fault diagnosis in discreteevent systems: Framework and model reduction," IEEE Trans. Autom. Control, vol. 48, no. 7, pp. 1199-1212, Jul. 2003.
14. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial algorithm for testing diagnosability of discrete-event systems," IEEE Trans. Autom. Control, vol. 46, no. 8, pp. 1318-1321, Aug. 2001. (Pubitemid 32829763)
15. G. Jiroveanu and R. K. Boel, "A distributed approach for fault detection and diagnosis based on timed Petri nets," in Proc. IMACS Multiconf. Comput. Eng. Syst. Appl., 2003, pp. 287-313.
16. G. Jiroveanu, R. K. Boel, and B. De Schutter, "Fault diagnosis for time Petri nets," in Proc. 8th Int. WODES, 2006, pp. 313-318. (Pubitemid 46949280)
17. M. D. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared-resource systems," IEEE Trans. Robot. Autom., vol. 11, no. 3, pp. 317-327, Jun. 1995.
18. I. Koh and F. DiCesare, "Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems," IEEE Trans. Syst.,Man, Cybern., vol. 21, no. 6, pp. 1512-1522, Nov./Dec. 1991.
19. 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)
20. 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.
21. M. E. Meda, A. Ramírez-Treviño, and A. Malo, "Identification in discrete event systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 1998, pp. 740-745.
22. Y.Wen and M. Jeng, "Diagnosability analysis based on T-invariants based on Petri nets," Proc. IEEE Netw., Sens. Control, pp. 371-376, 2005. (Pubitemid 43897020)
23. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
24. J. Prock, "A new technique for fault detection using Petri nets," Automatica, vol. 27, no. 2, pp. 239-245, Mar. 1991.
25. A. Ramírez-Treviño, I. Rivera-Rangel, and E. López-Mellado, "Observability of discrete event systems modeled by interpreted Petri nets," IEEE Trans. Robot. Autom., vol. 19, no. 4, pp. 557-565, Aug. 2003.
26. A. Ramírez-Treviño, E. Ruiz-Beltrán, I. Rivera-Rangel, and E. López-Mellado, "On-line 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)
27. I. Rivera-Rangel, A. Ramirez-Treviño, L. I. Aguirre-Salas, and J. Ruiz-León, "Geometrical characterization of observability in interpreted Petri nets," Kybernetika, vol. 41, no. 5, pp. 553-574, 2005. (Pubitemid 43294213)
28. E. Ruiz-Beltrán, A. Ramírez-Treviño, and E. López-Mellado, "Building diagnosable Petri net models for distributed fault location of discrete event systems," in Proc. Int. Conf. Syst., Man, Cybern., 2004, pp. 4929-4934. (Pubitemid 40415807)
29. E. Ruiz-Beltrán, I. Jiménez, A. Ramírez, E. López, and M. Meda, "Fault detection and location in DES using Petri nets," in Proc. 3rd Annu. IEEE Conf. Autom. Eng., 2005, pp. 1645-1650.
30. E. Ruiz-Beltrán, E. López-Mellado, and A. Ramírez-Treviño, "Fault diagnosis based on Petri net reduced models," in Proc. 3rd Int. Conf. Elect. Electron. Eng./XII Conf. Elect. Eng., 2006, pp. 222-226.
31. E. Ruiz-Beltrán, A. Ramírez-Treviño, and E. López-Mellado, "A structural characterization of diagnosable Petri net models," in Proc. IEEE Int. Conf. Autom. Sci. Eng., 2007, pp. 1137-1142. (Pubitemid 351752742)
32. 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.
33. 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)
34. F. Lin and W. M. Wonham, "Supervisory control of timed discrete event systems under partial observation," IEEE Trans. Autom. Control, vol. 40, no. 3, pp. 558-562, Mar. 1995.
35. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.