Fault diagnosis of discrete-event systems using continuous petri nets

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

Volumn 42, Issue 4, 2012, Pages 970-984

  Mahulea, Cristian ^a   Seatzu, Carla ^b   Cabasino, Maria Paola ^b   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Discrete event systems; fault diagnosis; Petri nets

Indexed keywords

COMPACT REPRESENTATION; CONTINUOUS PETRI NET; CONVEX POLYTOPES; INTEGER PROGRAMMING PROBLEMS; LINEAR PROGRAMMING PROBLEM; LOGIC PETRI NET; MODEL SYSTEM; P-N STRUCTURE; PN MODELS; UNOBSERVABLE;

FAILURE ANALYSIS; FLUIDIZATION; INTEGER PROGRAMMING; PETRI NETS; PROBLEM SOLVING;

DISCRETE EVENT SIMULATION;

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

References (43)

1. C. Mahulea, C. Seatzu, M. P. Cabasino, L. Recalde, and M. Silva, "Observer design for untimed continuous Petri nets," in Proc. Amer. Control Conf., St. Louis, MO, Jun. 2009, pp. 4765-4770.
2. C. Seatzu, M. P. Cabasino, C. Mahulea, and M. Silva, "New results for fault detection of untimed continuous Petri nets," in Proc. 48th IEEE Conf. Decision Control, Shangai, China, Dec. 2009, pp. 6952-6957.
3. C. Seatzu, C. Mahulea, M. P. Cabasino, and M. Silva, "Fault diagnoser design for untimed continuous Petri nets," in Proc. 3rd IEEE Multi-Conf. Syst. Control, Saint Petersburg, Russia, Jul. 2009, pp. 1598-1604.
4. A. Rosich, E. Frisk, J. Aslund, R. Sarrate, and F. Nejjari, "Fault diagnosis based on causal computations," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, 2011, DOI:10.1109/TSMCA.2011.2164063.
5. 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.
6. A. Ramírez-Trevino, E. Ruiz-Beltrán, J. Arámburo-Lizárraga, and E. López-Mellado, "Structural diagnosability of DES and design of reduced Petri net diagnosers," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, 2011, DOI:10.1109/TSMCA.2011. 2169950.
7. J. Meseguer, V. Puig, and T. Escobet, "Fault diagnosis using a timed discrete-event approach based on interval observers: Application to sewer networks," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 5, pp. 900-916, Sep. 2010.
8. S. Takai and R. Kumar, "Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 406-412, Mar. 2010.
9. O. Contant, S. Lafortune, and D. Teneketzis, "Diagnosis of intermittent faults," Discrete Event Dyn. Syst.: Theory Appl., vol. 14, no. 2, pp. 171-202, Apr. 2004.
10. D. Bertsimas, D. Gamarnik, and J. Tsitsiklis, "Stability conditions for multiclass fluid queueing networks," IEEE Trans. Autom. Control, vol. 41, no. 11, pp. 1618-1631, Nov. 1996.
11. H. Chen and D. Yao, Fundamentals of Queueing Networks: Performance, Asymptotics, and Optimization. New York: Springer-Verlag, 2001.
12. G. Sun, C. Cassandras, and C. Panayiotou, "Perturbation analysis of multiclass stochastic fluid models," Discrete Event Dyn. Syst.: Theory Appl., vol. 14, no. 3, pp. 267-307, Jul. 2004.
13. R. David and H. Alla, Discrete, Continuous and Hybrid Petri Nets, 2nd ed. New York: Springer-Verlag, 2010.
14. M. Silva and L. Recalde, "On fluidification of Petri net models: From discrete to hybrid and continuous models," Annu. Rev. Control, vol. 28, no. 2, pp. 253-266, Dec. 2004.
15. J. Júlvez and R. Boel, "A continuous Petri net approach for model predictive control of traffic systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 4, pp. 686-697, Jul. 2010.
16. M. Silva, J. Júlvez, C. Mahulea, and C. Vázquez, "On fluidization of discrete event models: Observation and control of continuous Petri nets," Discrete Event Dyn. Syst.: Theory Appl., vol. 21, no. 4, pp. 1-71, Dec. 2011.
17. L. Recalde, E. Teruel, and M. Silva, "Autonomous continuous P/T systems," in Proc. Appl. Theory Petri Nets, vol. 1639, Lecture Notes in Computer Science, J. K. S. Donatelli, Ed., 1999, pp. 107-126, Springer-Verlag.
18. 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.
19. 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.
20. 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.
21. R. Boel and J. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," in Proc. 6th Workshop on Discrete Event Systems, Zaragoza, Spain, Oct. 2002, pp. 175-181.
22. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 20, no. 1/2, pp. 33-79, Jan. 2000.
23. 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.
24. 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.
25. J. Lunze and J. Schroder, "Sensor and actuator fault diagnosis of systems with discrete inputs and outputs," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 34, no. 2, pp. 1096-1107, Apr. 2004.
26. M. Sampath and S. Lafortune, "Active diagnosis of discrete-event systems," IEEE Trans. Autom. Control, vol. 43, no. 7, pp. 908-929, Jul. 1998.
27. 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.
28. 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.
29. 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.
30. 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.
31. A. Ramirez-Treviño, E. Ruiz-Beltrán, I. Rivera-Rangel, and E. López-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.
32. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
33. J. Júlvez, L. Recalde, and M. Silva, "On reachability in autonomous continuous Petri net systems," in Proc. 24th Int. Conf. Appl. Theory Petri Nets, vol. 2679, ser. Lecture Notes in Computer Science, W. van der Aalst and E. Best, Eds., Eindhoven, The Netherlands, 2003, pp. 221-240, Springer-Verlag.
34. J. Campos, G. Chiola, and M. Silva, "Ergodicity and throughput bounds of Petri net with unique consistent firing count vector," IEEE Trans. Softw. Eng., vol. 17, no. 2, pp. 117-125, Feb. 1991.
35. J. Julvez, C. Mahulea, and C. Vazquez, "SimHPN: A MATLAB toolbox for simulation, analysis and design with hybrid Petri nets," Nonlinear Analysis: Hybrid Systems, vol. 6, no. 2, pp. 806-817, May 2012.
36. A. Hoffman and J. Kruskal, "Integral boundary points of convex polyhedra," in Linear Inequalities and Related Systems. Annals of Mathematics Studies, vol. 38, H. Kuhn and A. Tucker, Eds. Princeton, NJ: Princeton Univ. Press, 1956, pp. 223-246.
37. K. Truemper, "A decomposition theory for matroids. V. Testing of matrix total unimodularity," J. Combinatorial Theory, Ser. B, vol. 49, no. 2, pp. 241-281, Aug. 1990.
38. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
39. F. Basile, A. Giua, and C. Seatzu, "Petri net control using event observers and timing information," in Proc. 41th IEEE Conf. Decision Control, Las Vegas, NV, Dec. 2002, pp. 787-792.
40. 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.
41. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Chicago, Oct. 1992, pp. 974-979.
42. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996.
43. M. Pocci, Matlab Toolbox for the Diagnosis of Discrete PNs, 2009. [Online]. Available: http://www.diee.unica.it/giua/TESI/09-Marco.Pocci/PN-DIAG. zip