Bibliographie

1

Thierry Viéville and Cyril Zeller and Luc Robert, "Using Collineations to Compute Motion and Structure in an Uncalibrated Image Sequence", International Journal of Computer Vision, vol. 18, no. 2, 1996.

2

T. Viéville, "Mascotte : A few Maple Routines for Real-Time Code Generation", Inria Tecnical Report, no. RR-2826,1996.

3

T. Viéville, "Using a Symbolic Calculator as a Program Generator : Application to Algorithms of Visual Perception", Proceedings : Greco de Calcul Formel, Luminy, Marseille 1991.

4

F. LeGland and A Gondel, "Systematic Numerical Experiments in Non-Linear Filtering with Automatic Fortran Code Generation", Proceedings of the 25th IEEE Conference on Decision and Control, Athenes 1986.

5

T. Viéville, E. Clergue, R.Enciso, H. Mathieu,"Experimenting with 3D Vision on Robot Head", Robotics ans Autonomous Systems,Elsevier Science B.V., no. 14(1), pp 1-27, 1995.

6

A. Benveniste and G.Berry, "The Synchronous Approach to Reactive and Real-time Systems", Proceedings of the IEEE, vol. 79, no. 9, pp 1268-1282, September 1991.

7

F. Boussinot and R. de Simone, "The ESTEREL Language", Proceedings of the IEEE, vol. 79, no. 9, pp 1293-1303, September 1991.

8

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 Transaction on Control Systems Technology, vol,1, no. 4, pp 213-229, December 1993.

9

E. Coste-Manière, B. Espiau and E. Rutten, "Task-Level Programming combining object-oriented Design and Synchronous Approach", IEEE Intl Conf of Robotics and Automation, pp 2751-2756, May 1992.

10

B. Espiau and E. Coste-Manière, "A Synchronous Approach for Control Sequencing in Robotics Applications", Proc. IEEE international Workshop on intelligent Motion, pp 503-508, August 1990.

11

B. Espiau, K. Kapellos, M. Jourdan and D. Simon, "On the Validation of Robotics Control Systems. Part I: High Level Specification and Formal Verification", INRIA Technical Report, RR-2719, submitted to IEEE Transaction on Control Systems Technology, November 1995.

12

J. Mundy, et. al., "The Image Understanding Environnement : Overview", Proceedings DARPA Image Understanding Workshop, pp 283-288, April 1993.

13

J. Mundy and T. Binford and T. Boult and A. Hanson, and R. Beveridge and R. Haralick and V. Ramesh and C. Kohl and D. Lawton and D. Morgan and K. Price and T. Strat, "The Image Understanding Environment Program", IEEE Proc CVPR'93, New-York, pp 406-416, June 1993.

14

Konstantinos Kapellos, "Environnement de programmation des applications robotiques reactives", Thèse de l'Ecole des Mines de Paris : informatique temps reel, robotique, automatique, November 1994.

15

Frédéric Boulanger, "Intégration de Modules Synchrones dans la Programmation par Objets", Thèse de l'Université de Paris-Sud Orsay, December 1993.

16

Bill O. Gallmeister, "POSIX.4, Programming for the Real World", O'Reilly & Associates, inc., 1st Edition, January 1995.

17

Michel Beaudouin-Lafon translated by Jack Howlett, "Object-Oriented Languages", Chapman & Hall, 1st Edition, 1994.

18

James Rumbaugh, Michael Blaha, Frederick Eddy, William Premerlani, William Lorensen, "Object-oriented modeling and design", Prentice Hall, 1991.

19

D. Harel, A. Pnuelli, "On the Development of Reactive Systems", Weizmann Institute of Science, 1985.

20

Rapha'el Bernhard, Gérard Bérry and cie, "Programming a reflex Game in Esterel v3", Ecole Nationale Supérieure des Mines de Paris, May 1989.

21

Gérard Bérry and Georges Gonthier, "The Esterel Synchronous Programming, Language : Design, Semantics, Implementation", Ecole Nationale Supérieure des Mines de Paris, May 1991.

22

G. Bérry, F. Mignard and J.P. Paris, "Differences between Esterel v4_41 and Previous Versions", Ecole Nationale Supérieure des Mines de Paris,June 1993.

23

G. Bérry, F. Mignard and J.P. Paris, "Differences between Esterel v4_45 and Previous Versions", Ecole Nationale Supérieure des Mines de Paris, September 1995.

24

"Esterel V3 Documentation", Ecole Nationale Supérieure des Mines de Paris, CISI INGENIERIES, 1988.