On-line fault detection in discrete event systems by Petri nets and integer linear programming

Automatica

Volumn 45, Issue 11, 2009, Pages 2665-2672

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

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF TRIESTE   (Italy)

Author keywords

Discrete event systems; Fault detection; Integer programming; Petri nets

Indexed keywords

COMPUTATIONAL EFFORT; DISCRETE EVENT SYSTEMS; FAULT DETECTION PROBLEM; INITIAL MARKING; INTEGER LINEAR PROGRAMMING; ON-LINE FAULT DETECTION; PN MODELS; SYSTEM FAULTS; UNOBSERVABLE;

DYNAMIC PROGRAMMING; FAULT DETECTION; GRAPH THEORY; INTEGER PROGRAMMING; LINEARIZATION; PETRI NETS;

MATHEMATICAL MODELS;

EID: 70349884020     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2009.07.021     Document Type: Article

References (26)

1. Basile F., Chiacchio P., and De Tommasi G. An efficient approach for on-line diagnosis of discrete event systems. Proc. of wodes 2008 the 9th int. workshop on discrete event systems (2008), Göteborg, Sweden
2. Benveniste A., Fabre E., Haar S., and Jard C. Diagnosis of asynchronous discrete event systems: A net unfolding approach. IEEE Transactions on Automatic Control 48 (2003) 714-727
3. Cabasino, M. P. (2005). Diagnosi di un sistema ad eventi discreti mediante automi e reti di Petri
4. Cabasino M.P., Giua A., and Seatzu C. Identification of Petri nets from knowledge of their language. Discrete Event Dynamic Systems 17 4 (2007) 447-474
5. Cassandras C.G., and Lafortune S. Introduction to discrete event systems. 2nd ed. (2008), Kluwer Academic, Boston
6. Corona, D., Giua, A., & Seatzu, C. (2004). Marking estimation of Petri nets with silent transitions. In Proc. 43th IEEE. conf. on decision and control and 2004 European control conf.
7. Dotoli, M., Fanti, M. P., & Mangini, A. M. (2008). Fault monitoring of discrete event systems by first order hybrid Petri nets. In Proc. of workshop on Petri nets and Agile manufacturing, a satellite event of the 29th int. conf. on application and theory of Petri nets and other models of concurrency
8. Dotoli M., Fanti M.P., and Mangini A.M. Real time identification of discrete event systems using Petri nets. Automatica 44 5 (2008) 1209-1219
9. Genc, S., & Lafortune, S. (2003). Distributed diagnosis of discrete event systems using Petri nets. In Proc. of inter. conf. of application and theory of Petri nets
10. Genc S., and Lafortune S. Distributed diagnosis of place-bordered Petri nets. IEEE Transactions on Automation Science and Engineering 4 2 (2007) 206-219
11. Ghazel, M., Togueni, A., & Bigang, M. (2005). A monitoring approach for discrete events systems based on a time Petri net model. In Proc. of 16th IFAC world congress
12. Giua, A., & Seatzu, C. (2005). Fault detection for discrete event systems using Petri nets with unobservable transitions. In Proc. 44th IEEE. conf. on decision and control and 2005 European control conf. (pp. 6326-6328)
13. Hadjicostis, C. N., & Verghese, G. C. (1999). Monitoring discrete event systems using Petri nets embeddings. In Proc. application theory Petri nets (pp. 188-208)
14. Jiroveanu G., and Boel R.K. A distributed approach for fault detection and diagnosis based on time Petri nets. Mathematics and Computers in Simulation 70 1 (2006) 287-313
15. Jiroveanu G., Boel R.K., and Bordbar B. On-line monitoring of large Petri net models under partial observation. Discrete Event Dynamical Systems 18 2 (2008) 323-354
16. Lefebvre D., and Delherm C. Diagnosis of DES with Petri net models. IEEE Transactions on Automation Science and Engineering 4 1 (2007) 114-118
17. GLPK, (0000). Reference manual. Available at: http://www.gnu.org/software/glpk/glpk.html
18. Nemhauser G.L., and Wolsey L.A. Integer and combinatorial optimization (1988), John Wiley and Sons, USA
19. Peterson J.L. Petri net theory and the modeling of systems (1981), Prentice Hall, Englewood Cliffs, NJ, USA
20. Prock J. A new technique for fault detection using Petri nets. Automatica 27 2 (1991) 239-245
21. Ramirez-Trevino A., Ruiz-Beltrán E., Rivera-Rangel I., and Lopez-Mellado E. Online fault diagnosis of discrete event systems. A Petri net-based approach. IEEE Transactions on Automation Science and Engineering 4 1 (2007) 31-39
22. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 40 (1995) 1555-1575
23. Shanthi, P., & Parthasarathi, R. (2003). Exploring FPGA structures for evolving fault tolerant hardware. In Proc. 2003 NASA/DoD conference on evolvable hardware
24. Srinivasan V.S., and Jafari M.A. Fault detection and monitoring using time Petri nets. IEEE Transactions on Systems, Man and Cybernetics 23 4 (1993) 1155-1162
25. Wu Y., and Hadjicostis C.N. Algebraic approaches for fault identification in discrete-event systems. IEEE Transactions on Robotics and Automation 50 12 (2005) 2048-2053
26. Hashtrudi Zad S., Kwong R.H., and Wonham W.M. Fault diagnosis in discrete-event systems: Framework and model reduction. IEEE Transactions on Automatic Control 48 7 (2003) 1199-1212