International audience; In this paper, we interest us to Human-Machine Systems (HMS) concepts applied to Education. It is shown how the HMS framework enables to propose original solution in matter of education in the field of control engineering. We focus on practical c... View more
Behramm G., David A., Larsen K.G., “A tutorial on UPPAAL”, In proceedings of the 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2004
Boy G., “Learning evolution and software agents emergence”, Proceedings of ITS, Lecture Notes in Computer Science Series, Berlin, 1996.
Grislin E., Millot P., “Specifying artificial cooperative agents though a systhesis of several models of cooperation”, Seven European Conference on Cognitive Science Approaches to Process Control, p.73-78, Villeneuve d'Ascq, September 1999
Golmakani H., Mills J., Benhabib B., “Deadlock-free scheduling of flexible manufacturing workcells using automata theory”, IEEE trans. on systems man and cybernetics, vol. 36, n° 2, p.327 - 337, march 2006
International Electrotechnical Commission, “Preparation of function charts for control systems, International Standard”, CEI/IEC 848, 1991 (revised version).
Johannsen G., “25 years of Human-Machine Systems in IFAC”, 10th IFAC/IFIP/IFORS/IEA Symposium on analysis, Design, and Evaluation of human-Machine Systems, Seoul, September 2007
Lampérière S., Lesage J.J, “Formal verification of the sequential part of PLC programs”, Proc. Of 5th IFAC Wodes, pp 247-254, Ghent, Belgium, August 2000
Lind, M., “Modeling Goals and Functions of Complex Industrial Plant. Applied Artificial Intelligence”, Vol8 No.2,April-June 1994
Lo, C. H., Wong, Y.K. and Rad, A.B, “An Intelligent System for Process Supervision and Fault Diagnosis in Dynamic Physical Systems”, IEEE Trans. on Indus. Elect., Vol. 53 (2), April 2006, pp. 581-592, 2006.