R. Aloimonos, Y. Rivlin, E. Huang, and L. , Designing Visual Systems: Purposive Navigation , In Active Perception, pp.47-102, 1993.

B. Alpern and F. B. Schneider, Recognizing safety and liveness, Distributed Computing, vol.56, issue.1???2, 1986.
DOI : 10.1007/BF01782772

R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. Ho et al., The Algorithmic Analysis of Hybrid Systems, pp.3-34, 1995.

F. Boussinot, D. Simone, and R. , The ESTEREL language, Proceedings of the IEEE, vol.79, issue.9, pp.1293-1304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075

G. Berry, Real time programming: Special purpose languages or general purpose languages, 11th IFIP World Congress, pp.11-17, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075494

F. Chaumette, S. Boukir, P. Bouthemy, and D. Juvin, Structure from controlled motion, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.18, issue.5, pp.492-504, 1996.
DOI : 10.1109/34.494639
URL : https://hal.archives-ouvertes.fr/inria-00351862

E. Costemanì-ere, H. Wang, S. Rock, A. Peuch, M. Perrier et al., Joint evaluation of mission programming for underwater robots, Proc. of IEEE International Conference on Robotics and Automation, pp.2492-2497, 1996.

B. Espiau, F. Chaumette, R. , and P. , A new approach to visual servoing in robotics, IEEE Transactions on Robotics and Automation, vol.8, issue.3, pp.313-326, 1992.
DOI : 10.1109/70.143350

B. Espiau, K. Kapellos, M. Jourdan, and D. Simon, On the validation of robotics control systems ? part i: high-level specification and formal verification, 1995.
URL : https://hal.archives-ouvertes.fr/inria-00073974

B. Espiau, K. Kapellos, E. Costemanì-ere, N. Turro, and N. , Formal mission specification in an open architecture, Proc. of ISRAM '96, 1996.

N. Halbwachs, F. Lagnier, and C. Ratel, Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992.
DOI : 10.1109/32.159839

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

D. Harel and A. Pnueli, On the Development of Reactive Systems, Logics and Models of Concurrent Systems, pp.477-498, 1995.
DOI : 10.1007/978-3-642-82453-1_17

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

M. Jourdan, F. Lagnier, F. Maraninchi, R. , and F. , A multiparadigm language for reactive systems, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94), 1994.
DOI : 10.1109/ICCL.1994.288379

K. Kapellos, S. Abdou, J. Jourdan, and B. Espiau, Specification, formal verification and implementation of tasks ans missions for an autonomous vehicle, Proceedings of the 4th Int. Symp. on Experimental Robotics, 1995.

J. K?osekák?oseká, H. Christensen, and R. Bajcsy, Discrete event modeling of visually guided behaviors, International Journal of Computer Vision, vol.14, issue.2, pp.179-191, 1995.

L. Borgne, M. Benveniste, A. , L. Guernic, and P. , Polynomial ideal theoric methods in discrete event and hybrid dynamical systems, Proc. of 28 t h IEEE Conf. on Decision and Control, pp.2665-2700, 1989.

L. Borgne, M. Marchand, H. Rutten, E. Samman, and M. , Formal verification of Signal programs: Application to a power transformer station controller, Proc. of the 5th Int. Conf. on Algebraic Methodology and Software Technology, AMAST'96, pp.270-285, 1101.
DOI : 10.1007/BFb0014322
URL : https://hal.archives-ouvertes.fr/hal-00544301

L. Guernic, P. , L. Borgne, M. Gautier, T. et al., Programming real time application with Signal, Proceeding of the IEEE, pp.1321-1336, 1991.

E. Marchand, F. Chaumette, and A. Rizzo, Using the task function approach to avoid robot joint limits and kinematic singularities in visual servoing, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS '96, pp.1083-1090, 1996.
DOI : 10.1109/IROS.1996.568954

E. Marchand, C. , and F. , Active sensor placement for complete scene reconstruction and exploration, Proceedings of International Conference on Robotics and Automation, pp.743-751, 1997.
DOI : 10.1109/ROBOT.1997.620124
URL : https://hal.archives-ouvertes.fr/hal-01074761

E. Marchand, E. Rutten, C. , and F. , From data-flow task to multitasking: applying the synchronous approach to active vision in robotics, IEEE Transactions on Control Systems Technology, vol.5, issue.2, pp.200-216, 1997.
DOI : 10.1109/87.556025
URL : https://hal.archives-ouvertes.fr/hal-01074722

H. Marchand, L. Borgne, and M. , Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois Fields, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00073416

A. Medeiros, R. Chatila, and S. Fleury, Specification and validation of a control architecture for autonomous mobile robots, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS '96, pp.162-169, 1996.
DOI : 10.1109/IROS.1996.570655

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-97, 1989.
DOI : 10.1109/5.21072

E. Rutten, L. Guernic, and P. , Sequencing and preempting data flow tasks, Proc. of the 20 th IFAC/IFIP Workshop on Real Time Programming, p.95, 1995.

S. Schneider, V. Chen, and G. Pardo-castellote, The ControlShell component-based real-time programming system, Proceedings of 1995 IEEE International Conference on Robotics and Automation, pp.2381-2388, 1995.
DOI : 10.1109/ROBOT.1995.525616

D. Simon, B. Espiau, E. Castillo, and K. Kapellos, Computer-aided design of a generic robot controller handling reactivity and real-time control issues, IEEE Transactions on Control Systems Technology, vol.1, issue.4, pp.213-229, 1993.
DOI : 10.1109/87.260267
URL : https://hal.archives-ouvertes.fr/inria-00074872