Références

Articles et chapitres de livre

1

T. Kienzle, S. D. Stulberg, M. A. Peshkin, A. Quaid, J. Lea, A. Goswami, C. H. Wu, ``Total Knee Replacement'', IEEE Engineering in Medicine and Biology 14(3), May/June 1995.

Communications à des congrès, colloques, etc.

2

B. Espiau, K. Kapellos, M. Jourdan, ``Formal Verification in Robotics: Why and How?'', in: Proceedings of the Int. Symp. on Robotics Research, Munchen, Germany, 1995.

3

M. Jourdan, F. Maraninchi, ``Static Timing Analysis of Real-Time Systems'', in: Proceedings of the ACM SIGPLAN Workshop on Real-Time Systems, La Jolla, Californie, 1995.

4

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

5

A. Santos, B. Espiau, P. Rives, D. Simon, ``Dealing in Real Time with A Priori Unknown Environment on Autonomous Underwater Vehicles (AUVs)'', in: IEEE International Conference on Robotics and Automation, Nagoya, Japon, 1995.

6

D. Simon, K. Kapellos, B. Espiau, M. Jourdan, ``Formal Verification of Missions and Tasks'', in: Proceedings of the 2nd European Workshop on Real-Time and Hybrid Systems, Grenoble, France, 1995.

7

D. Simon, K. Kapellos, B. Espiau, ``Formal Verification of Missions and Tasks: Application to Underwater Robotics'', in: Proceedings of International Conference on Advanced Robotics, Barcelona, Spain, 1995.

Rapports de recherche et publications internes

8

A.Goswami, B.Espiau, A.Keramane, F.Genot, ``The Gait of Compass-like Biped robot: Limit Cycles, Passive Stability, and Active control'', rapport de recherche n°A paraître, Inria, 1995.

9

B. E. Ali, Asservissement visuel et commande de la distance focale, Mémoire, DEA d'Automatique-Productique, Institut National Polytechnique de Grenoble, 1995.

10

N. Andreff, Asservissement visuel et calibration faible, Mémoire, DEA d'Informatique, Institut National Polytechnique de Grenoble, 1995.

11

B. Espiau, K. Kapellos, M. Jourdan, D. Simon, ``On the Validation of Robotics Control Systems, Part I: High Level Verification and Formal Verification'', rapport de recherche n°2719, Inria, 1995.

12

B. Espiau, ``Asservissement visuel et commande de la distance focale'', rapport de recherche n°2613, Inria, 1995.

13

B. Espiau, ``Sur les erreurs en asservissement visuel'', rapport de recherche n°2619, Inria, 1995.

14

M. Jourdan, ``Integrating formal verification methods of quantitative real-time properties into a development environment for robotic controllers'', rapport de recherche n°2540, Inria, 1995.

15

K. Kapellos, B. Espiau, ``Implementation with ORCCAD of a Method for Smooth Singularity Crossing in a 6-DOF Manipulator'', rapport de recherche n°2654, Inria, 1995.

16

M. Mata, Commande de systèmes simples soumis à des chocs, Mémoire, DEA d'Automatique-Productique, Institut National Polytechnique de Grenoble, 1995.

17

L. Roussel, Commande optimale d'un robot bipède, Mémoire, DEA d'Automatique-Productique, Institut National Polytechnique de Grenoble, 1995.

18

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

Divers

19

R. Horaud, F. Dornaika, C. Bard, B. Espiau, ``Visually Guided Object Grasping'', article soumis, IEEE Transactions on Robotics and Automation.

20

K. Kapellos, B. Espiau, ``Singularity Crossing Revisited'', article soumis, IEEE Transactions on Robotics and Automation.