Stochastic petri net identification for the fault detection and isolation of discrete event systems

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

Volumn 41, Issue 2, 2011, Pages 213-225

  Lefebvre, Dimitri ^a   Leclercq, Edouard ^a  

^a UNIVERSITY OF LE HAVRE   (France)

Author keywords

Fault diagnosis; Identification; Petri net (PNs) design

Indexed keywords

DISCRETE EVENT SIMULATION; ELECTRIC FAULT CURRENTS; FAILURE ANALYSIS; IDENTIFICATION (CONTROL SYSTEMS); PETRI NETS; PROBABILITY DENSITY FUNCTION; STOCHASTIC SYSTEMS;

FAULT DETECTION AND IDENTIFICATION; FAULT DETECTION AND ISOLATION; PETRI NETS (PNS); PROBABILITY DENSITY FUNCTIONS (PDFS); REFERENCE MODELS; STATE GRAPHS; STOCHASTIC PETRI NETS; TRANSITION FIRINGS;

FAULT DETECTION;

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

References (44)

1. A. Adamyan and D. He, "Sequential failure analysis using counters of Petri net models," IEEE Trans. Syst., Man, Cybern. A, Syst., Human, Vol. 33, no. 1, pp. 1-11, Jan. 2003.
2. M. Alcaraz-Mejia, E. Lopez-Mellado, A. Ramirez-Trevino, and I. Rivera-Rangel, "Petri net based fault diagnosis of DES," in Proc. IEEE SMC, Washington, DC, 2003, pp. 4730-4735.
3. A. Allahham and H. Alla, "Monitoring of timed discrete events systems with interrupts," IEEE Trans. Autom. Sci. Eng., Vol. 7, no. 1, pp. 146-150, Jan. 2010.
4. R. Bekrar, N. Messai, N. Essounbouli, A. Hamzaoui, and B. Riera, "Off line identification for class of discrete event systems using safe Petri nets," in Proc. IFAC DESDes, Rydzyna Castle, Poland, 2006, pp. 221-226.
5. A. Benveniste, F. Fabre, C. Jard, and S. Haar, "Diagnosis of asynchronous discrete event systems: A net unfolding approach," IEEE Trans. Autom. Control, Vol. 48, no. 5, pp. 714-727, May 2003.
6. M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault Tolerant Control. New York: Springer-Verlag, 2003.
7. R. Bouyekhf and A. E. Moudni, "On the analysis of some structural properties of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Human, Vol. 35, no. 6, pp. 784-794, Nov. 2005.
8. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. New York: Springer-Verlag, 2007.
9. O. Contant, S. Lafortune, and D. Teneketzis, "Diagnosis of intermittent failure," in Proc. 41th IEEE-CDC, Las Vegas, NV, 2002, pp. 4006-4011.
10. R. David and H. Alla, Petri Nets and Grafcet - Tools for Modelling Discrete Events Systems. London, U.K.: Prentice-Hall, 1992.
11. M. Dotoli, M. P. Fanti, and A. M. Mangini, "Real time identification of discrete event systems using Petri nets," Automatica, Vol. 44, no. 5, pp. 1209-1219, May 2008.
12. M. Dotoli, M. P. Fanti, and A. M. Mangini, "Fault monitoring of discrete event systems by first order hybrid Petri nets," in Proc. Workshop Petri Nets, Agile Manuf., Xi'an, China, 2008, pp. 1-7.
13. F.-S. Hsieh, "Fault-tolerant deadlock avoidance algorithm for assembly processes," IEEE Trans. Syst., Man, Cybern. A, Syst., Human, Vol. 34, no. 1, pp. 65-79, Jan. 2004.
14. A. Giua and C. Seatzu, "Identification of free-labeled Petri nets via integer programming," in Proc. 44th IEEE CDC, 2005, pp. 7639-7644.
15. A. Giua and C. Seatzu, "Observability of place/transition nets," IEEE Trans. Autom. Control, Vol. 47, no. 9, pp. 1424-1437, Sep. 2002.
16. K. Hiraishi, "Construction of a class of safe Petri nets by representing firing sequences," in Application and Theory of Petri Nets 1992. Berlin, Germany: Springer-Verlag, 1992, pp. 244-262.
17. S. Jiang, R. Kumar, and E. Garcia, "Diagnosis of repeated/intermittent failures in discrete event systems," IEEE Trans. Robot. Autom., Vol. 19, no. 2, pp. 310-323, Apr. 2003.
18. J. Li, Y. Fan, and M. Zhou, "Performance modeling and analysis of workflow," IEEE Trans. Syst., Man, Cybern. A, Syst., Human, Vol. 34, no. 2, pp. 229-242, Mar. 2004.
19. E. Leclercq, D. Lefebvre, and S. Ould El Mehdi, "Petri nets design based on neural networks," in Proc. IEEE ESANN, Bruges, Belgium, Apr. 23-25, 2008, pp. 529-534.
20. D. Lefebvre, E. Leclercq, and S. Ould El Mehdi, "Identification of timed stochastic Petri net models with normal distribution of firing periods," in Proc. INCOM, Moscow, Russia, 2009.
21. D. Lefebvre and C. Delherm, "Fault detection and isolation of discrete event systems with Petri net models," IEEE Trans. Autom. Sci. Eng., Vol. 4, no. 1, pp. 114-118, Jan. 2007.
22. D. Lefebvre, "Firing sequences estimation in vector space over Z3 for ordinary Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Human, Vol. 38, no. 6, pp. 1325-1336, Nov. 2008.
23. D. Lefebvre, "Diagnosis of discrete event systems with Petri nets," in Petri Net: Theory and Application, V. Kordic, Ed. Vienna, Australia: I-Tech Educ. Publishing, 2008, pp. 353-376.
24. D. Lefebvre, E. Leclercq, and S. Ould El Mehdi, "Petri net models for detection isolation and identification of faults in DES," in Proc. Safeprocess, Barcelona, Spain, 2009.
25. D. Lefebvre and A. El Moudni, "Firing and enabling sequences estimation for timed Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Human, Vol. 31, no. 3, pp. 153-162, May 2001.
26. H. Mannila, H. Toivonen, and A. I. Verkamo, "Discovery of frequent episodes in event sequences," Data Mining Knowl. Discov., Vol. 1, no. 3, pp. 259-289, Sep. 1997.
27. H. Mannila, "Local and global methods in data mining: Basic techniques and open problems," in Proc. 29th Int. Colloq. Automata, Lang., Program., Vol. 2380, Lecture Notes in Computer Science, P. Widmayer, F. Triguero, R. Morales, M. Hennessey, S. Eidenbenz, and R. Conejo, Eds., 2002, pp. 57-68.
28. M. E. Meda and E. L. Mellado, "Identification of concurrent discrete event systems using Petri nets," in Proc. 17th IMACS World Congr., 2005, pp. 11-15.
29. P. M. Merlin, "A study of the recoverability of computing systems," Ph.D. dissertation, Univ. of California, Dept. Inf. Comput. Sci., Irvine, CA, 1974.
30. M. K. Molloy, "Performance analysis using stochastic Petri nets," IEEE Trans. Comput., vol. C-31, no. 9, pp. 913-917, Sep. 1982.
31. O. Mustapha, M. Khalil, G. Hoblos, H. Chafouk, and D. Lefebvre, "Fault detection algorithm using DCS method combined with filters bank derived from the wavelet transform," Int. J. Innov. Comput. Inf. Control, Vol. 5, no. 5, pp. 1313-1327, May 2009.
32. S. Ould El Mehdi, S. Mehdi, E. Leclercq, and D. Lefebvre, "Identification of stochastic and deterministic stochastic Petri net models for reliability analysis," Proc. Inst. Mech. Eng. O, J. Risk Rel., Vol. 223, no. 1, pp. 13-26, 2009.
33. R. J. Patton, M. Frank, and R. N. Clark, Eds., Fault Diagnosis in Dynamic Systems: Theory and Applications. New York: Prentice-Hall, 1989.
34. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., Vol. 25, no. 1, pp. 206-230, Jan. 1987.
35. A. Ramirez-Trevino, E. Ruiz-Bletran, I. Rivera-Rangel, and E. Lopez-Mellado, "Diagnosability of discrete event systems: A Petri net based approach," in Proc. IEEE ICRA, New Orleans, LA, 2004, pp. 541-546.
36. M. Rausand and A. Hoyland, System Reliability Theory: Models, Statistical Methods, and Applications. Hoboken, NJ: Wiley, 2004.
37. A. Ray, "Symbolic dynamic analysis of complex systems for anomaly detection," Signal Process., Vol. 84, no. 7, pp. 1115-1130, Jul. 2004.
38. L. Recalde and M. Silva, "PN fluidification revisited: Semantics and steady state," in Proc. Autom. Mixed Process. - Hybrid Dyn. Syst., J. Zaytoon and S. Engell, Eds., 2000, pp. 279-286.
39. H. Ren and Z. Mi, "Power system fault diagnosis modeling techniques based on encoded Petri nets," presented at the IEEE Power Eng. Soc. Gen. Meet., 2006.
40. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosibility of discrete event systems," IEEE Trans. Autom. Control, Vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
41. V. Shen, Y.-S. Chang, and T. T.-Y. Juang, "Supervised and unsupervised learning by using Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Human, Vol. 40, no. 2, pp. 363-375, Mar. 2010.
42. T. Ushio, I. Onishi, and K. Okuda, "Fault detection based on Petri net models with faulty behaviors," in Proc. IEEE SMC, 1998, pp. 113-118.
43. Y. L. Wen, C. H. Li, and M. Jeng, "A polynomial algorithm for checking diagnosability of Petri nets," in Proc. IEEE SMC, 2005, vol. 3, pp. 2542-2547.
44. Y. Wu and N. Hadjicostis, "Algebraic approaches for fault identification in discrete event systems," IEEE Trans. Autom. Control, Vol. 50, no. 12, pp. 2048-2055, Dec. 2005.