How UGVs physically fail in the field, IEEE Transactions on Robotics, vol.21, issue.3, pp.423-437, 2005. ,
DOI : 10.1109/TRO.2004.838027
Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004. ,
DOI : 10.1109/TDSC.2004.2
Toward a More Dependable Software Architecture for Autonomous Robots, Special issue on Software Engineering for Robotics of the IEEE Robotics and Automation Magazine, 2009. ,
IDEA: Planning at the Core of Autonomous Reactive Agents, proc. of the 3rd Int. NASA Workshop on Planning and Scheduling for Space, 2002. ,
The CLARAty architecture for robotic autonomy, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542), pp.121-132, 2001. ,
DOI : 10.1109/AERO.2001.931701
Contextual Management of Tasks and Instrumentation within an AUV control software architecture, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006. ,
DOI : 10.1109/IROS.2006.281760
URL : https://hal.archives-ouvertes.fr/lirmm-00129408
Formal Verification in Robotics: Why and How?, of the 7 th Int. Symposium of Robotics Research, pp.201-213, 1995. ,
DOI : 10.1007/978-1-4471-1021-7_26
The ORCCAD Architecture, The International Journal of Robotics Research, vol.17, issue.4, pp.338-359, 1998. ,
DOI : 10.1177/027836499801700403
URL : https://hal.archives-ouvertes.fr/hal-00930119
Model-Based Programming of Fault-Aware Systems, AI Magazine, vol.24, issue.4, pp.61-75, 2003. ,
Towards automatic verification of autonomous systems, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113), 2000. ,
DOI : 10.1109/IROS.2000.893218
Incremental Component-Based Construction and Verification of a Robotic System, ECAI 2008 18th European Conference on Artificial Intelligence, 2008. ,
Fault Tolerance in Autonomous Systems: How and How Much?", in proc, 2005. ,
Classifying and recovering from sensing failures in autonomous mobile robots, proc. of the National Conference on Artificial Intelligence, pp.922-929, 1996. ,
Model-based fault diagnosis and reconfiguration of robot drives, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.1203-1209, 2007. ,
DOI : 10.1109/IROS.2007.4399092
Using modelchecking to plan hard real-time controllers, AIPS Workshop on Model-Theoretic Approaches to Planning, 2000. ,
IXTET-EXEC: Planning, Plan Repair and Execution Control with Time and Resource Management, 2004. ,
Global methodology in control architecture to improve mobile robot reliability, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, p.2010 ,
DOI : 10.1109/IROS.2010.5649337
URL : https://hal.archives-ouvertes.fr/lirmm-00547867
A Framework For Autonomy Levels For Unmanned Systems (ALFUS), Proceedings of the AUVSI's Unmanned Systems North America, 2005. ,
Metrics, Schmetrics! How The Heck Do You Determine a UAV's Autonomy Anyway? " , Performance Metrics for Intelligent Systems Workshop, 2002. ,
Human-Robot Interaction: A Survey, Foundations and Trends?? in Human-Computer Interaction, vol.1, issue.3, pp.203-275, 2007. ,
DOI : 10.1561/1100000005
Adaptability: user-initiated individualization Adaptive User Support: Ergonomic Design of Manually and Automatically Adaptable Software, pp.14-64, 1994. ,
Autonomy mode suggestions for improving human-robot interaction, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2004. ,
DOI : 10.1109/ICSMC.2004.1400781