×

Input-output identification of controlled discrete manufacturing systems. (English) Zbl 1307.93253

Summary: The automated construction of discrete event models from observations of external system’s behaviour is addressed. This problem, often referred to as system identification, allows obtaining models of ill-known (or even unknown) systems. In this article, an identification method for discrete event systems (DESs) controlled by a programmable logic controller is presented. The method allows processing a large quantity of observed long sequences of input/output signals generated by the controller and yields an interpreted Petri net model describing the closed-loop behaviour of the automated DESs. The proposed technique allows the identification of actual complex systems because it is sufficiently efficient and well adapted to cope with both the technological characteristics of industrial controllers and data collection requirements. Based on polynomial-time algorithms, the method is implemented as an efficient software tool which constructs and draws the model automatically; an overview of this tool is given through a case study dealing with an automated manufacturing system.

MSC:

93C65 Discrete event control/observation systems
93B30 System identification
90B30 Production models
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Angluin D, Machine Learning 2 pp 319– (1988)
[2] DOI: 10.1109/TASE.2010.2050199 · doi:10.1109/TASE.2010.2050199
[3] DOI: 10.1109/TC.1972.5009015 · Zbl 0243.94039 · doi:10.1109/TC.1972.5009015
[4] Booth T L, Sequential Machines and Automata Theory (1967)
[5] DOI: 10.1007/s10626-007-0025-0 · Zbl 1125.93332 · doi:10.1007/s10626-007-0025-0
[6] DOI: 10.1007/s00703-003-0070-7 · doi:10.1007/s00703-003-0070-7
[7] DOI: 10.1016/j.energy.2010.01.037 · doi:10.1016/j.energy.2010.01.037
[8] DOI: 10.1016/j.compind.2003.10.005 · doi:10.1016/j.compind.2003.10.005
[9] DOI: 10.1016/j.automatica.2007.10.014 · Zbl 1283.93187 · doi:10.1016/j.automatica.2007.10.014
[10] DOI: 10.1016/j.conengprac.2010.09.004 · doi:10.1016/j.conengprac.2010.09.004
[11] Du, G. Zhibin, J., Xiaodi, D., Yan, Y., Huiran, L., and Yang, Y. (2009), ’A Dynamic Workflow Modelling and Performance Analysis Methodology for Complicated Clinical Pathway with Variations’, inProceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS’09), Bari, Italy, pp. 205–210
[12] Estrada-Vargas, A P. López-Mellado, E., and Lesage, J.J. (2009), ’Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour’, inProceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, pp. 181–186
[13] Estrada-Vargas, A P. López-Mellado, E., and Lesage, J.J. (2010a), ’A Comparative Analysis of Recent Identification Approaches for Discrete-event Systems’,Mathematical Problems in Engineering, Hindawi, 2010, Article ID 453254, 1–21 · Zbl 1205.93034
[14] Estrada-Vargas, A P. Lopez-Mellado, E., and Lesage, J.J. (2010b), ’An Identification Method for PLC-based Automated Discrete Event Systems’, inProceedings of the IEEE International Conference on Decision and Control, Atlanta, GA, USA, December, pp. 6740–6746
[15] Fanti, M P. and Seatzu, C. (2008), ’Fault Diagnosis and Identification of Discrete Event Systems Using Petri Nets’, inProceedings of the 9th International Workshop on Discrete Event Systems, Göteborg, Sweden, pp. 432–435
[16] Giua, A. and Seatzu, C. (2005), ’Identification of Free-labeled Petri Nets via Integer Programming’, inProceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, Seville, Spain, pp. 7639–7644
[17] DOI: 10.1016/S0019-9958(67)91165-5 · Zbl 0259.68032 · doi:10.1016/S0019-9958(67)91165-5
[18] DOI: 10.1007/3-540-55676-1 · doi:10.1007/3-540-55676-1
[19] Ishizaka H, Machine Learning 5 pp 151– (1990)
[20] DOI: 10.1109/T-C.1971.223241 · Zbl 0218.94022 · doi:10.1109/T-C.1971.223241
[21] Klein, S. Litz, L., and Lesage, J.J. (2005), ’Fault Detection of Discrete Event Systems Using an Identification Approach’, inProceedings of the 16th Triennial IFAC World Congress, Vol. 16, Part 1, Praha, Czech Republic, pp. 92–97
[22] Lanubile, F. and Visaggio, G. (2002), ’Iterative Re-engineering to Compensate for Quick-fix Maintenance’, inProceedings of the IEEE International Conference on Software Maintenance, Opio, France, pp. 140–146
[23] DOI: 10.1016/S0019-9958(78)90849-5 · Zbl 0387.68067 · doi:10.1016/S0019-9958(78)90849-5
[24] Lohmann, S. Stursberg, O., and Engell, S. (2007), ’Comparison of Event-triggered and Cycle-driven Models for Verifying SFC Programs’, inProceedings of the IEEE American Control Conference, 11–13 July, New York City, USA, pp. 3606–3611
[25] Meda-Campaña, M. and López-Mellado, E. (2001), ’A Passive Method for On-line Identification of Discrete Event Systems’, inProceedings of the IEEE International Conference on Decision and Control, Orlando, FL, USA, pp. 4990–4995
[26] Meda-Campaña, M. and López-Mellado, E. (2003), ’Required Transition Sequences for DES Identification’, inProceedings of the IEEE Conference on Decision and Control (CDC 2003), Maui, HI, USA, pp. 3778–3782
[27] Meda-Campaña, M. Ramírez, A., and López-Mellado, E. (2000), ’Asymptotic Identification for DES’, inProceedings of the IEEE Conference on Decision and Control, Sydney, Australia, December, pp. 2266–2271
[28] DOI: 10.1006/jsvi.1993.1340 · Zbl 0967.74525 · doi:10.1006/jsvi.1993.1340
[29] Ould El Medhi, S, Bekrar, R, Messai, N, Leclercq, E, Lefebvre, D and Riera, B. (2012), ’Design and Identification of Stochastic and Deterministic Stochastic Petri Nets’,IEEE Transactions on Systems, Man, and Cybernetics – Part A: Systems and Humans, 42, 931–946 · doi:10.1109/TSMCA.2011.2173798
[30] Ould El Medhi, S, Leclercq, E and Lefebvre, D. (2006), ’Petri Nets Design and Identification for the Diagnosis of Discrete Event Systems’, inIAR-ACD Annual Meeting Nancy, Workshop on Advanced Control and Diagnosis, pp. 1–6
[31] DOI: 10.1016/0167-8655(84)90004-7 · Zbl 0556.68018 · doi:10.1016/0167-8655(84)90004-7
[32] Roth, M. Lesage, J.J., and Litz, L. (2009), ’Distributed Identification of Concurrent Discrete Event Systems for Fault Detection Purposes’, inProceedings of the European Control Conference (ECC 2009), pp. 2590–2595
[33] Roth, M. Lesage, J.J., and Litz, L. (2010), ’Black-box Identification of Discrete Event Systems with Optimal Partitioning of Concurrent Subsystems’, inProceedings of the American Control Conference (ACC 2010), Baltimore, MA, USA, pp. 2601–2606
[34] Roth, M. Schneider, S., Lesage, J.J., and Litz, L. (2012), ’Fault Detection and Isolation in Manufacturing Systems with an Identified Discrete Event Model’,International Journal of Systems Science, 43, 1826–1841 · Zbl 1305.93140 · doi:10.1080/00207721.2011.649369
[35] DOI: 10.1016/0020-0190(88)90208-6 · Zbl 0658.68094 · doi:10.1016/0020-0190(88)90208-6
[36] DOI: 10.1145/1968.1972 · Zbl 0587.68077 · doi:10.1145/1968.1972
[37] DOI: 10.1109/TKDE.2004.47 · Zbl 05110009 · doi:10.1109/TKDE.2004.47
[38] DOI: 10.1109/TC.1978.1675053 · Zbl 0368.94052 · doi:10.1109/TC.1978.1675053
[39] DOI: 10.1080/01969728108927670 · Zbl 0457.68048 · doi:10.1080/01969728108927670
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.