G. Adiv, Inherent ambiguities in recovering 3-D motion and structure from a noisy flow field, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.11, issue.5, pp.477-489, 1989.
DOI : 10.1109/34.24780

P. K. Allen, A. Timcenko, B. Yoshimi, and P. Michelman, Automated tracking and grasping of a moving object with a robotic hand-eye system, IEEE Transactions on Robotics and Automation, vol.9, issue.2, pp.152-165, 1993.
DOI : 10.1109/70.238279

Y. Aloimonos, I. Weiss, and A. Bandopadhay, Active vision, International Journal of Computer Vision, vol.203, issue.4, pp.333-356, 1987.
DOI : 10.1007/BF00133571

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

T. Amagbegnon, P. Le-guernic, H. Marchand, and E. Rutten, Signal ? the specification of a generic, verified production cell controller, Formal Development of Reactive Systems -Case Study Production Cell, 1995.

R. Bajcsy, Active perception, Proceedings of the IEEE, pp.996-1005, 1988.
DOI : 10.1109/5.5968

T. P. Baker and O. Pazy, Real-time features for Ada 9X, [1991] Proceedings Twelfth Real-Time Systems Symposium, pp.172-180, 1991.
DOI : 10.1109/REAL.1991.160371

A. Benveniste and G. Berry, Real-time systems designs and programming, Proceedings of the IEEE, pp.1270-1282, 1991.

A. Benveniste, Synchronous languages provide safety in reactive systems design, Control Engineering, pp.87-89, 1994.

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

G. Berry, Preemption in concurrent systems, 13 th Conf. on Foundations of Software Technology and Theoretical Computer Science, 1993.
DOI : 10.1007/3-540-57529-4_44

F. Boussinot and R. Simone, 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

A. Castaño and S. Hutchinson, Visual compliance: task-directed visual servo control, IEEE Transactions on Robotics and Automation, vol.10, issue.3, pp.334-342, 1994.
DOI : 10.1109/70.294208

F. Chaumette and A. Santos, Tracking a moving object by visual servoing, Proc. of 12th IFAC World Congress, pp.643-648, 1993.

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

C. Chien and J. K. Aggarwal, Model construction and shape recognition from occluding contours, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.11, issue.4, pp.372-389, 1989.
DOI : 10.1109/34.19034

E. Costemanì-ere, B. Espiau, and D. Simon, Reactive objects in a task level open controller, IEEE Int. Conf. on Robotics and Automation, pp.2732-2737, 1992.

S. Donikian and E. Rutten, Reactivity, concurrency, data-flow and hierarchical preemption for behavioral animation, Eurographics Workshop on Programming Paradigms in Graphics, 1995.

B. Espiau and P. Rives, Closed-loop recursive estimation of 3D features for a mobile vision system, Proceedings. 1987 IEEE International Conference on Robotics and Automation
DOI : 10.1109/ROBOT.1987.1087829

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

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

D. Harel and A. Pnueli, On the development of reactive systems, " in Logics and Models of Concurrent Systems, pp.477-498, 1985.

K. Hashimoto, T. Kimoto, T. Ebine, and H. Kimura, Manipulator control with image-based visual servo, Proceedings. 1991 IEEE International Conference on Robotics and Automation, pp.2267-2271, 1991.
DOI : 10.1109/ROBOT.1991.131968

K. and H. Editor, Visual Servoing : Real Time Control of Robot manipulators based on visual sensory feedback, World Scientific Series in Robotics and Automated Systems, vol.7, 1993.

C. A. Hoare, Communicating Sequential Process, 1985.

A. E. Hunt and A. C. Sanderson, Vision-based predictive robotic tracking of a moving object, 1982.

J. Ko?eká, H. Christensen, and R. Bajcsy, Discrete event modeling of visually guided behaviors, International Journal of Computer Vision, vol.25, issue.3, pp.179-191, 1995.
DOI : 10.1007/BF01418982

P. , L. Guernic, M. Le-borgne, T. Gautier, and C. L. Maire, Programming real time application with signal, Proceedings of the IEEE, vol.79, issue.9, pp.1321-1336, 1991.

P. and L. Guernic, The signal programming environment Algorithms and Parallel VLSI Architecture II, pp.347-358, 1992.

C. Lewerentz and T. Lindner, Formal Development of reactive systems, Lecture Notes in Computer Science, vol.891, 1995.
DOI : 10.1007/3-540-58867-1

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

E. Marchand and F. Chaumette, Active visual 3D perception, IEEE Int. Workshop on Vision for Robots, pp.10-17, 1995.

]. E. Marchand, F. Chaumette, and E. Rutten, Real time active visual reconstruction using the synchronous paradigm, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots, pp.96-102, 1995.
DOI : 10.1109/IROS.1995.525781

H. Marchand, E. Rutten, and M. Samaan, Synchronous design of a transformer station controller with SIGNAL, Proceedings of International Conference on Control Applications, 1995.
DOI : 10.1109/CCA.1995.555843

R. Milner, A Calculus of Communicating Systems, Number 92 in Lecture Notes in Computer Science, 1980.

N. Papanikolopoulos, B. Nelson, and P. K. Khosla, Six degree-of-freedom hand/eye visual tracking with uncertain parameters, IEEE Transactions on Robotics and Automation, vol.11, issue.5, pp.725-732, 1995.
DOI : 10.1109/70.466612

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

E. Rutten and P. L. Guernic, Sequencing of data flow tasks in signal, ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, 1994.

C. Samson, B. Espiau, and M. L. Borgne, Robot Control: the Task Function Approach, 1991.

J. Sérot, G. Quénot, and B. Zavidovique, Functionnal programming on a dataflow architecture applications in real-time image processing, Machine Vision and Application, pp.44-56, 1993.

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

M. T. Sobh and R. Bajcsy, Visual observation under uncertainty as a discrete event processs The Hague, The Netherlands, IAPR Int. Conf. on Pattern Recognition, pp.429-432, 1992.

Y. Sorel, Massively parallel computing systems with real time constraints: the "Algorithm Architecture Adequation" methodology, Proceedings of the First International Conference on Massively Parallel Computing Systems (MPCS) The Challenges of General-Purpose and Special-Purpose Computing, 1994.
DOI : 10.1109/MPCS.1994.367018

A. D. Thomas, M. G. Rodd, J. D. Holt, and C. J. Neill, Real-time Industrial Visual Inspection: A Review, Real-Time Imaging, vol.1, issue.2, pp.139-158, 1995.
DOI : 10.1006/rtim.1995.1014

A. M. Waxman, B. K. Parsi, and M. Subbarao, Closed-form solutions to image flow equations for 3D structure and motion, International Journal of Computer Vision, vol.45, issue.3, pp.239-258, 1987.
DOI : 10.1007/BF00127823

L. E. Weiss, A. C. Sanderson, and C. P. Neuman, Dynamic sensor-based control of robots with visual feedback, IEEE Journal on Robotics and Automation, vol.3, issue.5, pp.404-417, 1987.
DOI : 10.1109/JRA.1987.1087115