Bibliography

Aiello et al. 2001

L. C. Aiello, A. Cesta, et al., Merging Planning and Verification Techniques for ``Safe Planning'' in Space Robotics, In Proceedings of the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space, St-Hubert, Quebec, 2001.

Asama et al. 2003

H. Asama, M. Yano, et al., System Principle on Emergence of Mobiligence and Its Engineering Realization, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 1715-1720, Las Vegas, Nevada, 2003.

Barfoot et al. 2001

T. D. Barfoot, E. J. P. Earon, & G. M. T. D'Eleuterio, A New Breed of Explorer : Development of a Network of Mobile Robots for Space Exploration, In Proceedings of the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space, St-Hubert, Quebec, 2001.

Bererton & Khosla 2002

C. Bererton & P. Khosla, An Analysis of Cooperative Repair Capabilities in a Team of Robots, In Proceedings of the 2002 IEEE International Conference on Robotics & Automation, pages 476-482, Washington, DC, 2002.

Bernstein et al. 2001

D. S. Bernstein, S. Zilberstein, et al., Planetary Rover Control as a Markov Decision Process, In Proceedings of the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space, St-Hubert, Quebec, 2001.

Borrelly et al. 1998

J. J. Borrelly, E. Coste-Manière, et al., The ORCCAD Architecture, The International Journal of Robotics Research, 17(4):338-359, April 1998.

Bruyninckx et al. 2003

H. Bruyninckx, P. Soetens, & B. Koninckx, The Real-Time Motion Control Core of the Orocos Project, In Proceedings of the 2003 IEEE International Conference on Robotics & Automation, pages 797-802, Taipei, Taiwan, 2003.

Carlson & Murphy 2003

J. Carlson & R. R. Murphy, Reliability Analysis of Mobile Robots, In Proceedings of the 2003 IEEE International Conference on Robotics & Automation, pages 274-281, Taipei, Taiwan, 2003.

Chien et al. 2001

S. Chien, B. Engelhardt, et al., Onboard Autonomy on the Three Corner Sat Mission, In Proceedings of the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space, St-Hubert, Quebec, 2001.

Choi et al. 2003

H. T. Choi, A. Hanai, et al., Development of an Underwater Robot, ODIN-III, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 836-841, Las Vegas, Nevada, 2003.

Duchemin et al. 2004

G. Duchemin, P. Poignet, et al., Design and Manufacturing of Actuated Medical Robots : a Safety Point of View, IEEE Magazine on Robotics & Automation, 2004.

Dudek & Sim 2003

G. Dudek & R. Sim, RoboDaemon - A device independent, network-oriented, modular mobile robot controller, In Proceedings of the 2003 IEEE International Conference on Robotics & Automation, pages 3434-3440, Taipei, Taiwan, 2003, www.cim.mcgill.ca/ simra/publications/icra03.pdf.

Essamé et al. 2000

D. Essamé, J. Arlat, & D. Powell, Tolerance aux fautes dans les systèmes critiques, Technical Report 00151, LAAS-CNRS, 2000.

Estlin et al. 2001

T. Estlin, R. Volpe, et al., Decision-Making in a Robotic Architecture for Autonomy, In Proceedings of the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space, St-Hubert, Quebec, 2001.

Finzi et al. 2001

A. Finzi, F. Pirri, et al., Risks evaluation and Failures Diagnosis for Autonomous tasks execution in Space, In Proceedings of the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space, St-Hubert, Quebec, 2001.

Fraichard & Asama 2003

T. Fraichard & H. Asama, Inevitable Collision States A Step Towards Safer Robots ?, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 388-393, Las Vegas, Nevada, 2003.

Gadre et al. 2003

A. S. Gadre, J. J. Mach, et al., Design of a Prototype Miniature Autonomous Underwater Vehicle, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 842-846, Las Vegas, Nevada, 2003.

Gerkey & Mataric 2002

B. P. Gerkey & M. J. Mataric, Pusher-washer : An approach to fault-tolerant tightly-coupled robot coordination, In Proceedings of the 2002 IEEE International Conference on Robotics & Automation, pages 464-469, Washington, DC, 2002.

Ghallab et al. 2001

M. Ghallab, F. Ingrand, et al., Architecture and Tools for Autonomy in Space, In Proceedings of the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space, St-Hubert, Quebec, 2001.

Gillett et al. 2001

R. Gillett, M. Greenspan, et al., Remote Operation with Supervised autonomy (ROSA), In Proceedings of the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space, St-Hubert, Quebec, 2001.

Horiuchi 2003

E. Horiuchi, Nonstop Update of Mission Critical Robotic Services, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 1469-1474, Las Vegas, Nevada, 2003.

Huntsberger et al. 2002

T. Huntsberger, H. Aghazarian, et al., Rover Autonomy for Long Range Navigation and Science Data Acquisition on Planetary Surfaces, In Proceedings of the 2002 IEEE International Conference on Robotics & Automation, pages 3161-3168, Washington, DC, 2002.

Jaganathan & Lin 2003

A. Jaganathan & Y. J. Lin, An Error Restraining Method for Accurate Freeform Surface Cutting, In Proceedings of the 2003 IEEE International Conference on Robotics & Automation, pages 797-802, Taipei, Taiwan, 2003.

Kim et al. 2003a

G. Kim, W. Chung, et al., Tripodal Schematic Design of the Control Architecture for the Service Robot PSR, In Proceedings of the 2003 IEEE International Conference on Robotics & Automation, pages 2792-2797, Taipei, Taiwan, 2003a.

Kim et al. 2003b

J. O. Kim, C. J. Im, et al., A New Task-Based Control Architecture for Personal Robots, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 1481-1486, Las Vegas, Nevada, 2003b.

Klein 1991

P. Klein, The Safety-Bag Expert System in the Electronic Railway Interlocking System Elektra, Expert Systems with Apllications, 3:499-506, 1991.

Koike et al. 2003

C. Koike, C. Pradalier, et al., Prospective Bayesian Programming Application for Collision Avoidance, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 394-399, Las Vegas, Nevada, 2003.

Koji et al. 2003

Y. Koji, A. Pujol, et al., Flat-distributed network architecture (FDNet) for rescue robot, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 2392-2397, Las Vegas, Nevada, 2003.

Kortenkamp et al. 2002

D. Kortenkamp, R. Simmons, et al., A Suite of Tools for Debugging Distributed Autonomous Systems, In Proceedings of the 2002 IEEE International Conference on Robotics & Automation, pages 169-174, Washington, DC, 2002.

Laprie et al. 1996

J. C. Laprie et al., Guide de la Sûreté de Fonctionnement (2de édition).
Cépaduès - Éditions, 1996, (ISBN 2-85428-341-4).

Leuschen et al. 2002

M. L. Leuschen, J. R. Cavallaro, & I. D. Walker, Robotic Fault Detection Using Nonlinear Analytical Redundancy, In Proceedings of the 2002 IEEE International Conference on Robotics & Automation, pages 456-463, Washington, DC, 2002.

Lucidarme et al. 2002

P. Lucidarme, O. Simonin, & A. Liégeois, Implementation and Evaluation of a Satisfaction/Altruism Based Architecture for Multi-Robot Systems, In Proceedings of the 2002 IEEE International Conference on Robotics & Automation, pages 1007-1012, Washington, DC, 2002.

Madhavan & Messina 2003

R. Madhavan & E. Messina, Information-based Intelligent Unmanned Ground Vehicle Navigation, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 3485-3490, Las Vegas, Nevada, 2003.

Marchand et al. 1998

E. Marchand, E. Rutten, et al., Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment, The International Journal of Robotics Research, 17(4):418-432, April 1998.

Paquier & Chatila 2003

W. Paquier & R. Chatila, Learning New Representations and Goals for Autonomous Robots, In Proceedings of the 2003 IEEE International Conference on Robotics & Automation, pages 803-808, Taipei, Taiwan, 2003.

Ranganathan & Koenig 2003

A. Ranganathan & S. Koenig, A Reactive Robot Architecture with Planning on Demand, In Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 1462-1468, Las Vegas, Nevada, 2003, www.cc.gatech.edu/ai/robot-lab/online-publications/Ran-Koenig03.pdf.

Schneider et al. 1998

S. A. Schneider, V. W. Chen, et al., ControlShell : A Software Architecture for Complex Electromecanical Systems, The International Journal of Robotics Research, 17(4):360-380, April 1998.

Senda et al. 2003

K. Senda, T. Matsumoto, & Y. Okano, A Study toward Cognitive Action with Environment Recognition by a Learning Space Robot, In Proceedings of the 2003 IEEE International Conference on Robotics & Automation, pages 797-802, Taipei, Taiwan, 2003.

Tinos et al. 2002

R. Tinos, M. H. Terra, & M. Bergerman, Fault Tolerance in Cooperative Manipulators, In Proceedings of the 2002 IEEE International Conference on Robotics & Automation, pages 470-475, Washington, DC, 2002.

Tomatis et al. 2003

N. Tomatis, G. Terrien, et al., Designing a Secure and Robust Mobile Interacting Robot for the Long Term, In Proceedings of the 2003 IEEE International Conference on Robotics & Automation, pages 4246-4251, Taipei, Taiwan, 2003.

Yamada et al. 2002

Y. Yamada, T. Morizono, et al., Human Error Recovery for A Human/Robot Parts Conveyance System, In Proceedings of the 2002 IEEE International Conference on Robotics & Automation, pages 2004-2009, Washington, DC, 2002.