E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli, Effective synthesis of switching controllers for linear systems, Proceedings of the IEEE, vol.88, issue.7, 2000.
DOI : 10.1109/5.871306
URL : https://hal.archives-ouvertes.fr/inria-00099342

. Bérard, Systems and Software Verification. Model- Checking Techniques and Tools, 2001.

J. Borrelly, E. Coste-manière, B. Espiau, K. Kapellos, R. Pissard-gibollet et al., The ORCCAD Architecture, The International Journal of Robotics Research, vol.17, issue.4, 1998.
DOI : 10.1177/027836499801700403
URL : https://hal.archives-ouvertes.fr/hal-00930119

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

F. Charbonnier, H. Alla, and R. David, Discrete-event dynamic systems, IEEE Transactions on Control Systems Technology, vol.7, issue.2, pp.175-187, 1999.
DOI : 10.1109/87.748144

E. Coste-manière and B. Espiau, Special Issue on Integrated Architectures for Robot Control and Programming, The International Journal of Robotics Research, vol.17, issue.4, 1998.
DOI : 10.1177/027836499801700401

N. Halbwachs, Synchronous programming of reactive systems, Kluwer, 1993.

F. Maraninchi, Y. Rémond, and E. Rutten, Effective programming language support for discrete-continuous mode-switching control systems, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001.
DOI : 10.1109/CDC.2001.980330

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamical System: Theory and Applications, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand and E. Rutten, Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002, 2002.
DOI : 10.1109/EMRTS.2002.1019204
URL : https://hal.archives-ouvertes.fr/inria-00525533

É. Rutten and H. Marchand, Task level programming for control systems using discrete control synthesis, Research Report, vol.4389, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00072199

D. Simon, M. Personnaz, and R. Horaud, TELEDIMOS: telepresence simulation platform for civil work machines: real-time simulation and 3d vision reconstruction, Proc. IARP Workshop on Advances in Robotics for Mining and Underground Applications, 2000.