Identification of the unobservable behaviour of industrial automation systems by Petri nets

Control Engineering Practice

Volumn 19, Issue 9, 2011, Pages 958-966

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

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF TRIESTE   (Italy)

Author keywords

Discrete event systems; Identification algorithms; Industrial automation systems; Integer programming; Modelling; Petri nets

Indexed keywords

EVENT SEQUENCE; IDENTIFICATION ALGORITHMS; INDUSTRIAL AUTOMATION; INDUSTRIAL AUTOMATION SYSTEM; INTEGER LINEAR PROGRAMMING; MODELLING; NOMINAL SYSTEM; P-N STRUCTURE; PN MODELS; SYSTEM STRUCTURES; UNOBSERVABLE;

ALGORITHMS; AUTOMATION; ENTERPRISE RESOURCE PLANNING; INDUSTRY; INTEGER PROGRAMMING; PETRI NETS;

MATHEMATICAL MODELS;

EID: 79960892257     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2010.09.004     Document Type: Article

References (21)

1. Bourdeaud'Huy T., & Yim, P. (2004). Synthèse de rèseaux de Petri à partir d'exigences. In Proceedings of MOSIM'04, Nantes (in French).
2. Cabasino, M.P., Giua, A., Hadjicostis, & Seatzu, C. (2008). Fault model identification with Petri nets. In Proceedings of ninth workshop on discrete event systems. May 28-30, Goteborg, Sweden.
3. Cabasino M.P., Giua A., Seatzu C. Identification of Petri nets from knowledge of their language. Discrete Event Dynamical Systems 2007, 17(4):1573-1594.
4. Cassandras C.G., Lafortune S. Introduction to discrete event systems 2008, Springer, New York, NY, USA. 2nd ed.
5. Corona, D., Giua, A., & Seatzu C. (2004). Marking estimation of Petri nets with silent transitions. In Proceedings of the 43th IEEE Conference on Decision and Control and 2004 European Control Conference. Bahamas.
6. Dotoli M., Fanti M.P., Mangini A.M. Real time identification of discrete event systems using Petri nets. Automatica 2008, 44(5):1209-1219.
7. Dotoli M., Fanti M.P., Mangini A.M., Ukovich W. On-line fault detection of discrete event systems by Petri nets and integer linear programming. Automatica 2009, 45:2665-2672.
8. Gnu Linear Programming Kit. available at 〈〉. http://www.gnu.org/software/glpk/glpk.html.
9. Gold E.M. Language identification in the limit. Information and Control 1967, 10:447-474.
10. Gold E.M. Complexity of automaton identification from given data. Information and Control 1980, 37:117-135.
11. Hadjicostis C.N. Finite-state machine embeddings for non-concurrent error detection and identification. IEEE Transactions on Automatic Control 2005, 50(2):142-153.
12. Hillier F.S., Lieberman G.J. Introduction to Operations Research 2005, Mc Graw Hill, New York, NY, USA.
13. Lefebvre D., Delherm C. Diagnosis of DES with Petri net models. IEEE Transactions on Automation Science and Engineering 2007, January:114-118.
14. Lunze J. Fault diagnosis of discretely controlled continuous systems by means of discrete-event models. Discrete Event Dynamic Systems: Theory and Applications 2008, 18(2):181-210.
15. Meda-Campaña, M.E., & López-Mellado, E. (2005). Identification of concurrent discrete event systems using Petri nets. In Proceedings of IMACS world congress. Paris, France.
16. Peterson J.L. Petri net Theory and the Modeling of Systems 1981, Prentice Hall, Englewood Cliffs, NJ, USA.
17. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence 1987, 32:57-95.
18. Roth, M., Lesage, J.-J., & Litz, L. (2009a). An FDI method for manufacturing systems based on an identified model. In: Proceedings of 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09. June 3-5, Moscow, Russia.
19. Roth, M., Lesage, J.-J., & Litz, L. (2009b). Distributed identification of concurrent discrete event systems for fault detection purposes. In Proceedings of European Control Conference. August 23-26, Budapest, Hungary.
20. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., Teneketzis D. Diagnosability of discrete-event systems. IEEE Transactions Automatic Control 1995, 40:1555-1575.
21. Tilli A., & Paoli A. (2009). Rule-based composable modelling of industrial automation automata under nominal and faulty conditions. In Proceedings of seventh IFAC symposium on fault detection, supervision and safety of technical processes. June 30-July 3, 2009, Barcelona, Spain.