Identification of industrial automation systems: Building compact and expressive Petri Net models from observable behavior

Proceedings of the American Control Conference

Volumn , Issue , 2012, Pages 6095-6101

  Estrada Vargas, Ana Paula ^a   Lesage, Jean Jacques ^b   Lopez Mellado, Ernesto ^a  

^a UNIDAD GUADALAJARA   (Mexico)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MANUFACTURE; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS;

BLACK-BOX IDENTIFICATION; DISCRETE MANUFACTURING SYSTEMS; INDUSTRIAL AUTOMATION SYSTEM; INPUT-OUTPUT; IT FOCUS; OBSERVABLE BEHAVIOR; PETRI NET MODELS; UNOBSERVABLE;

AUTOMATION;

EID: 84869429648     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2012.6315237     Document Type: Conference Paper

References (13)

1. M.P. Cabasino, A. Giua and C. Seatzu, "Identification of Petri Nets from Knowledge of Their Language", Discrete Event Dynamic Systems, 17(4), pp. 447-474, 2007
2. M. P. Cabasino, A. Giua, C. Seatzu, "Linear Programming Techniques for the Identification of Place/Transition Nets", IEEE Int. Conf. on Decision & Control, Cancun, Mexico, pp. 514-520, Dec. 2008
3. S. Ould El Medhi, E. Leclercq, D. Lefebvre, "Petri nets design and identification for the diagnosis of discrete event systems", 2006 IAR Annual Meeting, Nancy, France, Nov. 2006
4. M. Meda-Campaña, E. López-Mellado, "Identification of Concurrent Discrete Event Systems Using Petri Nets", IMACS 2005 World Congress, Paris, France, pp.1-7, Jul. 2005
5. S. Klein, L. Litz, J.-J. Lesage, "Fault detection of Discrete Event Systems using an identification approach", 16th IFAC World Congress, paper No02643, 6 pages, Praha, Czech Republic, Jul. 2005
6. M. Roth, J.-J. Lesage, L. Litz, "Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems", American Control Conf. (ACC 2010), Baltimore, Maryland, USA, pp. 2601-2606, Jun. 2010
7. M. Dotoli, M. P. Fanti, A. M. Mangini, "Real time identification of discrete event systems using Petri nets", Automatica, 44(5), pp. 1209-1219, May. 2008
8. M. Dotoli, M. P. Fanti, A. M. Mangini, W. Ukovich, "Identification of the unobservable behaviour of industrial automation systems by Petri nets", Control Engineering Practice, Vol. 19, Issue 9, Sep. 2011, pp. 958-966
9. J.E. Cook, Z. Du, C. Liu, A. L. Wolf, "Discovering models of behavior for concurrent workflows", Computers in Industry, 53(3), pp. 297 - 319, 2004
10. A. P. Estrada-Vargas, J.-J. Lesage, E. López-Mellado, "Stepwise Identification of Automated Discrete Manufacturing Systems", 16th IEEE Int. Conf. on Emerging Technologies and Factory Automation, Toulouse, France, paper No4-6, 8 pages, Sep. 2011
11. R. David and H. Alla, "Petri Nets for Modeling of Dynamic Systems-A Survey", Automatica, 30(2), pp. 175-202, 1994
12. M. Roth, J.-J. Lesage, L. Litz, "Identification of Discrete Event Systems, implementation issues and model completeness", 7th Int. Conf. on Informatics in Control Automation and Robotics, (ICINCO 2010), pp. 73-80, Funchal, Portugal, Jun. 2010
13. A.P. Estrada-Vargas, E. Lopez-Mellado, J.-J. Lesage, "An Identification Method for PLC-based Automated Discrete Event Systems". Proc. of the IEEE Int. Conf. on Decision and Control (CDC 2010), pp.6740-6746. Atlanta, USA. Dec. 2010