Input-output identification of controlled discrete manufacturing systems

International Journal of Systems Science

Volumn 45, Issue 3, 2014, Pages 456-471

  Estrada Vargas, Ana Paula ^a,b   López Mellado, Ernesto ^a   Lesage, Jean Jacques ^b  

^a UNIDAD GUADALAJARA   (Mexico)

^b Ecole Normale Superieure de Cachan   (France)

Author keywords

automated modelling; controlled DES; I O identification; interpreted Petri nets

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; AUTOMATED MODELLING; CONTROLLED DES; DISCRETE MANUFACTURING SYSTEMS; INPUT-OUTPUT IDENTIFICATION; INTERPRETED PETRI NETS; POLYNOMIAL-TIME ALGORITHMS; TECHNOLOGICAL CHARACTERISTICS;

ALGORITHMS; FAULT TOLERANT COMPUTER SYSTEMS; IDENTIFICATION (CONTROL SYSTEMS);

DISCRETE EVENT SIMULATION;

EID: 84884844129     PISSN: 00207721     EISSN: 14645319     Source Type: Journal    
DOI: 10.1080/00207721.2012.724098     Document Type: Article

References (39)

1. Angluin, D. 1988. Queries and Concept Learning. Machine Learning, 2: 319-342.
2. Bel Mokadem, H, Bérard, B, Gourcuff, V, Roussel, J M, and, De Smet, O. 2010. Verification of a Timed Multitask System with UPPAAL. IEEE Transactions on Automation Science and Engineering, 7: 921-932.
3. Biermann, A W, and, Feldman, J A. 1972. On the Synthesis of Finite-state Machines from Samples of Their Behavior. IEEE Transactions on Computers, 21: 592-597.
4. Booth, T L. 1967. Sequential Machines and Automata Theory, New York, London, Sidney: Wiley Sons.
5. Cabasino, M P, Giua, A, and, Seatzu, C. 2007. Identification of Petri Nets from Knowledge of their Language. Discrete Event Dynamic Systems, 17: 447-474. (Pubitemid 350074186)
6. Chang, J C, and, Hanna, S R. 2004. Air Quality Model Performance Evaluation. Meteorology and Atmospheric Physics, 87: 167-196. (Pubitemid 39403671)
7. Connolly, D, Lund, H, Mathiesen, B V, and, Leahy, M. 2010. Modelling the Existing Irish Energy System to Identify Future Energy Costs and the Maximum Wind Penetration Feasible. Energy, 35: 2164-2173.
8. Cook, J E, Du, Z, Liu, C, and, Wolf, A. 2004. Discovering Models of Behavior for Concurrent Workflows. Computers in Industry, 53: 297-319.
9. Dotoli, M, Fanti, M P, and, Mangini, A M. 2008. Real Time Identification of Discrete Event Systems Using Petri Nets. Automatica, 44: 1209-1219.
10. Dotoli, M, Fanti, M P, Mangini, A M, and, Ukovich, W. 2011. Identification of the Unobservable Behaviour of Industrial Automation Systems by Petri Nets. Control Engineering Practice, 19: 958-966.
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, in Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS09), 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, in Proceedings 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
14. Estrada-Vargas, A P. Lopez-Mellado, E., and Lesage, J.-J. (2010b), An Identification Method for PLC-based Automated Discrete Event Systems, in Proceedings 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, in Proceedings 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, in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, Seville, Spain, pp. 7639-7644
17. Gold, E M. 1967. Language Identification in the Limit. Information and Control, 10: 447-474.
18. Hiraishi, K. 1992. Construction of Safe Petri Nets by Presenting Firing Sequences. Lectures Notes in Computer Sciences, 616: 244-262.
19. Ishizaka, H. 1990. Polynomial Time Learnability of Simple Deterministic Languages. Machine Learning, 5: 151-164. (Pubitemid 20721693)
20. Kella, J. 1971. Sequential Machine Identification. IEEE Transactions on Computers, 20: 332-338.
21. Klein, S. Litz, L., and Lesage, J.-J. (2005), Fault Detection of Discrete Event Systems Using an Identification Approach, in Proceedings 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, in Proceedings of the IEEE International Conference on Software Maintenance, Opio, France, pp. 140-146
23. Levy, L S, and, Joshi, A K. 1978. Skeletal Structural Descriptions. Information and Control, 39: 192-211.
24. Lohmann, S. Stursberg, O., and Engell, S. (2007), Comparison of Event-triggered and Cycle-driven Models for Verifying SFC Programs, in Proceedings 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, in Proceedings of the IEEE International Conference on Decision and Control, Orlando, FL, USA, pp. 4990-4995 (Pubitemid 34144320)
26. Meda-Campaña, M. and López-Mellado, E. (2003), Required Transition Sequences for DES Identification, in Proceedings 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, in Proceedings of the IEEE Conference on Decision and Control, Sydney, Australia, December, pp. 2266-2271
28. Mottershead, J E, and, Friswell, M I. 1993. Model Updating in Structural Dynamics: A Survey. Journal of Sound and Vibration, 167: 347-375.
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
30. Ould El Medhi, S, Leclercq, E, and, Lefebvre, D. (2006), Petri Nets Design and Identification for the Diagnosis of Discrete Event Systems, in IAR-ACD Annual Meeting Nancy, Workshop on Advanced Control and Diagnosis, pp. 1-6
31. Richetin, M, Naranjo, M, and, Luneau, P. 1984. Identification of Automata by Sequential Learning. Pattern Recognition Letters, 2: 379-385.
32. Roth, M. Lesage, J.-J., and Litz, L. (2009), Distributed Identification of Concurrent Discrete Event Systems for Fault Detection Purposes, in Proceedings 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, in Proceedings 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
35. Takada, Y. 1998. Grammatical Inference for Even Linear Languages Based on Control Sets. Information Processing Letters, 28: 193-199.
36. Valiant, L G. 1984. A Theory of the Learnable. Communications of the ACM, 27: 1134-1142.
37. van der Aalst, W, Weijters, T, and, Maruster, L. 2004. Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering, 16: 1128-1142.
38. Veelenturf, L PJ. 1978. Inference of Sequential Machines from Sample Computations. IEEE Transactions on Computers, 27: 167-170. (Pubitemid 8587924)
39. Veelenturf, L PJ. 1981. An Automata Theoretical Approach to Developing Learning Neural Networks. Cybernetics and Systems, 12: 179-202. (Pubitemid 12438363)