Fault detection by labeled petri nets in centralized and distributed approaches

IEEE Transactions on Automation Science and Engineering

Volumn 10, Issue 2, 2013, Pages 392-404

  Fanti, Maria Pia ^a   Mangini, Agostino Marcello ^a   Ukovich, Walter ^b  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF TRIESTE   (Italy)

Author keywords

Fault detection; integer programming; Petri nets (PN)

Indexed keywords

DISTRIBUTED APPROACHES; INTEGER LINEAR PROGRAMMING; LOCAL INFORMATION; MODULE STRUCTURE; NOMINAL SYSTEM; NON DETERMINISM; ON-LINE FAULT DETECTION; SYSTEM BEHAVIORS;

INTEGER PROGRAMMING; PETRI NETS;

FAULT DETECTION;

EID: 84876121315     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2012.2203596     Document Type: Article

References (44)

1. F. Basile, P. Chiacchio, and G. De Tommasi, "An efficient approach for on-line diagnosis of discrete event systems," IEEE Trans. Autom. Control, vol. 54, no. 4, pp. 748-759, Apr. 2008.
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. R. Boel and J. H. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," in Proc. 6th Work. on Discrete Event Syst., WODES'02, Zaragoza, Spain, Oct. 2002, pp. 175-181.
4. M. P. Cabasino, A. Giua, and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica, vol. 46, pp. 1531-1539, 2010.
5. M. P. Cabasino, A. Giua, A. Paoli, and C. Seatzu, "A new protocol for the decentralized diagnosis of labeled Petri nets," in Proc. 10th Int. Workshop on Discrete Event Syst., WODES'10, Berlin, Germany,Aug.-Sep. 2010.
6. M. P. Cabasino, A. Giua, A. Paoli, and C. Seatzu, "Decentralized diagnosability analysis of discrete event systems using Petri nets," in Proc. 18th IFAC World Congr., Milano, Italy, Aug. 28-Sep. 2 2011, pp. 6060-6066.
7. C. Cassandras and S. Lafortune, An Introduction to Discrete Event Systems, 2nd ed. Boston, MA: Kluwer, 2008.
8. O. Contant, S. Lafortune, and D. Teneketzis, "Diagnosability of discrete event systems with modular structure," Discrete Event Dynamic Syst., vol. 16, no. 1, pp. 9-37, 2006. (Pubitemid 43261383)
9. D. Corona, A. Giua, and C. Seatzu, "Marking estimation of Petri nets with silent transitions," in Proc. 43th IEEE Conf. Decision and Control and 2004 Eur. Control Conf., 2004, vol. 1, pp. 966-971. (Pubitemid 40291457)
10. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discrete Events Dynamic Syst., vol. 10, no. 1, pp. 33-86, 2000. (Pubitemid 30573763)
11. M. Dotoli, M. P. Fanti, A. M.Mangini, andW. Ukovich, "On-line fault diagnosis in a Petri net framework," in Proc. 5th IEEE Conf. Autom. Sci. Eng., CASE'09, Bangalore, India, Aug. 22-25, 2009.
12. M. Dotoli, M. P. Fanti, A. M.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, 2009.
13. 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)
14. M. Ghazel, A. Togueni, and M. Bigang, "A monitoring approach for discrete events systems based on a time Petri net model," in Proc. 16th IFAC World Congr., 2005.
15. C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using Petri nets embeddings," in Proc. Appl. Theory Petri Nets, 1999, pp. 188-208.
16. H. Hu,M. C. Zhou, and Z. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549-557, Jul. 2010.
17. H. Hu, M. C. Zhou, and Z. Li, "Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 933-944, Oct. 2010.
18. H. Hu and Z. Li, "Clarification on the computation of liveness-enforcing supervisor for resource allocation systems with uncontrollable behavior and forbidden states," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 3, pp. 557-559, Jul. 2009.
19. H. Hu,M. C. Zhou, and Z. Li, "Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern.-Part A: Syst. Humans, vol. 41, no. 2, pp. 201-212, Mar. 2011.
20. H. Hu,M. C. Zhou, and Z. Li, "Optimization of supervisor for deadlock resolution in automated manufacturing systems," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 4, pp. 794-804, Jun. 2011.
21. G. Jiroveanu and R.K. Boel, "A distributed approach for fault detection and diagnosis based on time Petri nets," Math. Comput. Simulation, vol. 70, pp. 287-313, 2006. (Pubitemid 43207553)
22. G. Jiroveanu, R. K. Boel, and B. Bordbar, "On-line monitoring of large Petri net models under partial observation," Discrete Event Dynamical Syst., vol. 18, no. 2, pp. 323-354, 2008.
23. 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)
24. L. Li and C. N. Hadjicostis, "Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 394-403, Apr. 2011.
25. J. Lunz and J. Shroder, "Sensor and actuator fault diagnosis of systems with discrete inputs and outputs," IEEE Trans. Syst., Man, Cybern., Part B, vol. 34, no. 3, pp. 1096-1107, 2004.
26. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
27. W. Qiu, Q. Wen, and R. Kumar, "Decentralized diagnosis of eventdriven systems for safely reacting to failures," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 2, pp. 362-366, Apr. 2009.
28. W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems," IEEE Trans. Syst., Man, Cybern., Part A, vol. 36, no. 2, pp. 384-395, 2006. (Pubitemid 43280558)
29. A. Ramirez-Trevino, 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)
30. M. Roth, J.-J. Lesage, and L. Litz, "An FDI method for manufacturing systems based on an identified model," in Proc. 13th IFAC Symp. Inform. Control Problems in Manuf., INCOM'09, Moscow, Russia, Jun. 3-5, 2009.
31. 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)
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. V. S. Srinivasan and M. A. Jafari, "Fault detection and monitoring using time Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 23, no. 4, pp. 1155-1162, 1993.
34. R. Su, W. Wonham, J. Kurien, and X. Koutsoukos, "Distributed diagnosis for qualitative systems," in Proc. 6th Int. Workshop on Discrete Event Syst., Zaragoza, Spain, 2002, pp. 169-174.
35. A. Tilli and A. Paoli, "Rule-based composable modelling of industrial automation automata under nominal and faulty conditions," in Proc. 7th IFAC Symp. Fault Detection, Supervision, Safety of Tech. Process., Barcelona, Spain, Jun. 30-Jul. 3 2009.
36. Y. Wang, T. S. Yoo, and S. Lafortune, "Diagnosis of discrete event systems using decentralized architectures," Discrete Event Dynamics Syst., vol. 17, no. 2, pp. 233-263, 2007. (Pubitemid 46572780)
37. Y. Wu and C. N. Hadjicostis, "Algebraic approaches for fault identification in discrete-event systems," IEEE Trans. Robot. Autom., vol. 50, no. 12, pp. 2048-2053, 2005. (Pubitemid 43056318)
38. N. Q. Wu and M. C. Zhou, System Modeling and Control With Resource-Oriented Petri Nets. New York: Taylor & Francis, Oct. 2009.
39. N. Q.Wu andM. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automatedmanufacturing systems based on a Petri net model," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 658-669, 2001.
40. N. Q. Wu and M. C. Zhou, "Deadlock resolution in automated manufacturing systems with robots," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 3, pp. 474-480, Jul. 2007.
41. N. Q.Wu, C. B. Chu, F. Chu, andM. C. Zhou, "Schedulability analysis of short-term scheduling for crude oil operations in refinery with oil residency time and charging-tank-switch-overlap constraints," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 1, pp. 190-204, Jan. 2011.
42. S. Xu, S. Jiang, and R. Kumar, "Diagnosis of dense-time systems under event and timing masks," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 870-878, Oct. 2010.
43. S. H. Zad, R. Kwong, and W. Wonham, "Fault diagnosis in discreteevent systems: Framework and model reduction," IEEE Trans. Autom. Control, vol. 48, no. 7, pp. 1199-1212, Jul. 2003.
44. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.