Références

Thèses

1

G. Guyot, Contributions à l'étalonnage géométrique des robots manipulateurs, thèse de doctorat, Université de Nice Sophia-Antipolis, janvier 1995.

2

A. Santos, Contribution à la conception des sous-marins autonomes: architecture des actionneurs, architecture des capteurs d'altitude et commandes référencées capteurs, thèse de doctorat, Ecole des Mines de Paris, Sophia-Antipolis, décembre 1995.

Articles et chapitres de livre

3

E. Coste-Manière, P. Couvignou, P. K. Khosla, ``Visual Servoing in the Task-Function Framework: a Contour Following Task'', The International Journal of Robotics and Automation 12, 1995, p. 1-21.

4

P. Morin, C. Samson, J.-B. Pomet, Z.-P. Jiang, ``Time-varying feedback stabilization of the attitude of a rigid spacecraft with two controls'', Control and Systems letter, 25, 1995, p. 375-385.

5

C. Samson, ``Control of chained systems. Application to path following and time-varying point-stabilization of mobile robots'', IEEE Trans. on Automatic Control, janvier 1995.

Communications à des congrès, colloques, etc.

6

E. Coste-Manière, M. Perrier, A. Peuch, ``Mission Programming: Application to Underwater Robots'', in: Proc. of 4th International Symposium On Experimental Robotics: ISER'95, Palo Alto, USA, juin/juillet 1995.

7

E. Coste-Manière, H. W. Wang, A. Peuch, ``Control Architectures: what's going on?'', in: Proc. of the joint US/Portugal workshop : International Program Development in Undersea Robotics and Intelligent Control, Lisboa, Portugal, mars 1995.

8

D. Djian, P. Probert, P. Rives, ``Active Sensing Using Bayes Nets'', in: Proc. of 7th Int. Conf. on Advanced Robotics, Sant Feliu de Guixols, Spain, septembre 1995.

9

B. Espiau, D. Simon, K. Kapellos, ``Formal verification of missions and tasks'', in: Proc. of U.S./Portuguese workshop on Underwater Robotics and Intelligent Control, Lisbonne, Portugal, mars 1995.

10

K. Kapellos, S. Adou, M. Jourdan, B. Espiau, ``Specification, Formal Verification and Implementation of Tasks and Missions for an Autonomous Vehicle'', in: Proc. of 4th Int. Symp. on Experimental Robotics, Stanford, USA, juin 1995.

11

P. Morin, C. Samson, ``Time-varying exponential stabilization of the attitude of a rigid spacecraft with two controls'', in: Proc. of 34th IEEE CDC Conference, New-Orleans, décembre 1995.

12

P. Morin, ``Robust stabilization of the angular velocity of a rigid body with two controls'', in: Proc. of European Control Conference, septembre 1995.

13

R. Pissard-Gibollet, P. Rives, K. Kapellos, J. Borrelly, ``Real-Time Programming of a Mobile Robot Actions Using Advanced Control Techniques'', in: Proc. of 4th Int. Symposium on Experimental Robotics, Stanford, California, USA, juin 1995.

14

R. Pissard-Gibollet, P. Rives, ``Applying Visual Servoing Techniques to Control a Mobile Hand-Eye'', in: Proc. of IEEE Int. Conference on Robotics and Automation, Nagoya, Japan, mai 1995.

15

V. Rigaud, et al, ``Underwater Intelligent OPeration and Navigation: Union main objectives of the project'', in: Proc. of the joint US/Portugal workshop on Underwater Robotics and Intelligent Control, Lisbon, Portugal, mars 1995.

16

A. Santos, P. Rives, B. Espiau, D. Simon, ``Dealing in real-time with a priori unknown environment on autonomous underwater vehicles'', in: Proc. of IEEE Int. Conf. on Robotics and Automation, Nagoya, Japon, mai 1995.

17

A. Santos, D. Simon, R. Bitmead, V. Rigaud, ``Bottom-referenced control of autonomous underwater vehicles'', in: Proc. of U.S./Portuguese workshop on Underwater Robotics and Intelligent Control, Lisbonne, Portugal, mars 1995.

18

A. Santos, D. Simon, V. Rigaud, ``Bottom referenced control of autonomous underwater vehicles'', in: Proc. of Int. Conf. on Advanced Robotics, Sant Feliu de Guixols, Espagne, septembre 1995.

19

A. Santos, D. Simon, V. Rigaud, ``Sensor based control of under-actuated automous underwater vehicles'', in: Proc. of IFAC workshop on Control Applications in Marine Systems, Trondheim, Norvège, mai 1995.

20

D. Simon, K. Kapellos, B. Espiau, M. Jourdan, ``Formal verification of robotic missions and tasks'', in: Proc. of 2nd European workshop on real-time and hybrid systems, Grenoble, mai 1995.

21

D. Simon, K. Kapellos, B. Espiau, ``Formal verification of missions and tasks: Application to underwater robotics'', in: Proc. of Int. Conf. on Advanced Robotics, Sant Feliu de Guixols, Espagne, septembre 1995.

Rapports de recherche et publications internes

22

M. Barbeau, P. Freedman, D. Simon, ``Synthesis of safe and live robot-tasks'', Rapport de Recherche n°145, Université de Sherbrooke, Québec, Canada, février 1995.

23

B. Espiau, M. Jourdan, K. Kapellos, D. Simon, ``On the validation of robotics control systems Part I: High level specification and formal verification'', Rapport de Recherche n°2719, INRIA, novembre 1995.

24

P. Morin, C. Samson, ``Time-varying exponential stabilization of the attitude of a rigid spacecraft with two controls'', Rapport de Recherche n°2493, INRIA, février 1995.

25

A. Santos, R. Bitmead, ``Preserving Linear Design Capabilities in the Nonlinear Control of Nonholonomic Autonomous Underwater Vehicles'', Rapport de Recherche n°2606, INRIA, juillet 1995.

26

A. Santos, B. Espiau, P. Rives, D. Simon, V. Rigaud, ``Sensor-Based Control of Holonomic Autonomous Underwater Vehicles'', Rapport de Recherche n°2609, INRIA, juillet 1995.

27

D. Simon, E. Castillo, P. Freedman, ``On the validation of robotics control systems Part II: Analysis of real-time closed-loop control tasks'', Rapport de Recherche n°2720, INRIA, novembre 1995.

28

H. H. Wang, E. Coste-Manière, ``A look at the vocabulary of various underwater robotic control architects'', Rapport de recherche, Stanford/Mbari, février 1995, également IARP'94 Subsea Robotics Conference Supplement.

OEuvres audiovisuelles

29

E. Coste-Manière, M. Perrier, A. Peuch, V. Rigaud, Mission Programming: Application to underwater Robotics, 4mn20, 1995, UCIS Audiovisuel,version française et version anglaise.

30

Projet-Icare, Real Time Programming of a Reactive Mobile Robot, 6mn, 1995, UCIS Audiovisuel.

31

Projet-Icare, Wall Following Task by Using Ultrasonic Sensors, 3mn, 1995, UCIS Audiovisuel.

Divers

32

S. Granier, ``Implémentation d'une ceinture de capteurs à ultrasons sur un robot mobile'', 1995, Rapport de stage d'ingégieur du CUST de Clermont-Ferrand.

33

L. Pelletier, ``Specification of sensor-based tasks with a view to an application to motion planning'', 1995, Rapport de Dea de Robotique et vision UNSA.

34

R. Randrianarivony, ``Analyse de ressources temps réel'', 1995, Rapport de stage l'école Normale Supérieure de Lyon.

35

Stanford-Univ., Naval-Postgraduate-School, Inria, Ifremer, Heriott-Watt-Univ., I.-S.-T. Lisbonne, ``International Cooperative Research in Undersear Robotics'', 1995, Proposition de recherche Internationale.