On K-diagnosability of Petri nets via integer linear programming

Automatica

Volumn 48, Issue 9, 2012, Pages 2047-2058

  Basile, F ^a   Chiacchio, P ^a   De Tommasi, G ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Diagnosability; Discrete event systems; Integer linear programming; Petri nets

Indexed keywords

DIAGNOSABILITY; FINITE NUMBER; INTEGER LINEAR PROGRAMMING; MATHEMATICAL REPRESENTATIONS; SUFFICIENT CONDITIONS; UNOBSERVABLE;

CONTROL SYSTEMS; DISCRETE EVENT SIMULATION; ELECTRICAL ENGINEERING;

PETRI NETS;

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

References (33)

1. Basile, F.; Chiacchio, P.; De Tommasi, G. (2008). Sufficient conditions for diagnosability of Petri nets. Proceedings - 9th International Workshop on Discrete Event Systems, WODES'08(370-375) (4605974)
2. F. Basile, P. Chiacchio, and G. De Tommasi An efficient approach for online diagnosis of discrete event systems IEEE Transactions on Automatic Control 54 4 2009 748 759
3. Basile, F.; Chiacchio, P.; De Tommasi, G. (2009b). Online diagnosis of discrete events systems based on Petri nets and integer linear programming. In Proc. 2nd IFAC workshop on dependable control of discrete systems, DCDS'09. Bari, Italy. June (pp. 111-116).
4. Boel, R. K.; Jiroveanu, G. (2004). Contextual distributed diagnosis for very large systems. In 16th int. symp. on mathematical theory of networks and systems. Leuven, Belgium. July.
5. Cabasino, M. P.; Giua, A.; Lafortune, S.; Seatzu, C. (2009a). Diagnosability analysis of unbounded Petri nets. In Proc. of the 48th IEEE conf. on decision and control. Shangai, China. December (pp. 1267-1272).
6. Cabasino, M. P.; Giua, A.; Seatzu, C. (2009b). Diagnosability analysis of bounded Petri nets. In Proc. of the 48th IEEE conf. on decision and control. Shangai, China. December (pp. 1254-1260).
7. M.P. Cabasino, A. Giua, and C. Seatzu Fault detection for discrete event systems using Petri nets with unobservable transitions Automatica 46 9 2010 1531 1539
8. C.G. Cassandras, and S. Lafortune Introduction to discrete event systems 1999 Springer
9. Cassez, F.; Tripakis, S.; Altisen, K. (2007). Sensor minimization problems with static or dynamic observers for fault diagnosis. In 7th Int. conf. application of concurrency to system design. Bratislava, Slovak Republic. July.
10. S.L. Chung Diagnosing PN-based models with partial observable transitions International Journal of Computer Integrated Manufacturing 18 2-3 2005 158 169
11. R. Debouk, S. Lafortune, and D. Teneketzis Coordinated decentralized protocols for failure diagnosis of discrete event systems Discrete Event Dynamic Systems 10 1 2000 33 86
12. A. Dideban, and H. Alla Reduction of constraints for controller synthesis based on safe Petri nets Automatica 44 7 2008 1697 1706
13. M. Dotoli, M.P. Fanti, and A.M. Mangini Fault detection of discrete event systems by Petri nets and integer linear programming Automatica 45 11 2009 2665 2672
14. García Vallés, F. (1999). Contributions to the structural and symbolic analysis of place/transition nets with applications to flexible manufacturing systems and asynchronous circuits. Ph.D. Thesis. Universidad de Zaragoza.
15. GLPK, (2008). GNU linear programming kit. http://www.gnu.org/software/ glpk/.
16. P. Góra Graph theoretic bound on number of A.C.I.M. for random transformation Proceedings of the American Mathematical Society 116 2 1992 401 410
17. B. Hruz, and M.C. Zhou Modeling and control of discrete event dynamic systems 2007 Springer London, UK
18. G. Jiroveanu, and R.K. Boel The diagnosability of Petri net models using minimal explanations IEEE Transactions on Automatic Control 55 7 2010 1663 1668
19. D. Lefebvre, and C. Delherm Diagnosis of DES with Petri net models IEEE Transactions on Automation Science and Engineering 4 1 2007 114 118
20. J. Lunze, and J. Schröder State observation and diagnosis of discrete-event systems described by stochastic automata Discrete Event Dynamic Systems 11 4 2001 319 369
21. T. Murata Petri nets: properties, analysis and applications Proceedings of the IEEE 77 4 1989 541 580
22. Netlab, (2011). http://www.irt.rwth-aachen.de/en/fuer-studierende/ downloads/petri-net-tool-netlab/.
23. A. Paoli, and S. Lafortune Safe diagnosability for fault-tolerant supervision of discrete-event systems Automatica 41 8 2005 1335 1347
24. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Diagnosability of discrete event systems IEEE Transactions on Automatic Control 40 9 1995 1555 1575
25. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D.C. Teneketzis Failure diagnosis using discrete-event models IEEE Transactions on Control Systems Technology 4 2 1996 105 124
26. M. Silva, E. Teruel, and J.M. Colom Linear algebraic and linear programming techniques for the analysis of place/transition net systems Lectures notes in computer science Vol. 616 1992 Springer-Verlag 309 373
27. E. Teruel, and M. Silva Liveness and home states in equal conflict systems Proceedings of the 14th international conference on application and theory of Petri nets 1993 Springer-Verlag London, UK 415 432
28. A.R. Trevino, E. Ruiz-Beltran, I. Rivera-Rangel, and E. Lopez-Mellado Online fault diagnosis of discrete event systems. A Petri net-based approach IEEE Transactions on Automation Science and Engineering 4 1 2007 31 39
29. Ushio, T.; Onishi, L.; Okuda, K. (1998). Fault detection based on Petri net models with faulty behaviors. In Proc. of the 1998 IEEE conf. on systems, man, and cybernetics. San Diego, CA, USA. October (pp. 113-118).
30. Wen, Y.; Li, C.; Jeng, M. (2005). A polynomial algorithm for checking diagnosability of Petri nets. In Proc. of the 2005 IEEE conf. on systems, man, and cybernetics, SMC'05. Vol. 3. October (pp. 2542-2547).
31. Y. Wu, and C.N. Hadjicostis Algebraic approaches for fault identification in discrete-event systems IEEE Transactions on Automatic Control 50 12 2005 2048 2053
32. S.H. Zad, R.H. Kwong, and W.M. Wonham Fault diagnosis in discrete-event systems: framework and model reduction IEEE Transactions on Automatic Control 48 7 2003 1199 1212
33. S.H. Zad, R.H. Kwong, and W.M. Wonham Diagnosis in discrete-event systems: incorporating timing information IEEE Transactions on Automatic Control 50 7 2005 1010 1015