Safety-critical advanced robots: A survey, Robotics and Autonomous Systems, vol.94, pp.43-52, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01394136
Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. Dependable Secur. Comput, vol.1, issue.1, pp.11-33, 2004. ,
A fault-tolerant architecture for mobile robot localization, 2019 IEEE 15th International Conference on Control and Automation (ICCA), pp.584-589, 2019. ,
SMOF -A Safety MOnitoring Framework for Autonomous Systems, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.48, issue.5, pp.702-715, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01394139
Enhancing fault tolerance of autonomous mobile robots, Journal of Robotics and Autonomous Systems, 2015. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01241181
Osmosis : Open-source material for safety assessment of intelligent systems, pp.2020-2023 ,
, Robotics 2020 multi-annual roadmap for robotics in europe, Horizon 2020 Call ICT-2017 (ICT-25, ICT-27 & ICT-28, 2016.
Layered dynamic fault detection and tolerance for robots, Proceedings IEEE International Conference on Robotics and Automation, vol.2, pp.180-187, 1993. ,
A dynamic fault tolerance framework for remote robots, IEEE Transactions on Robotics and Automation, vol.11, issue.4, pp.477-490, 1995. ,
An integrated model-based diagnosis and repair architecture for ROS-based robot systems, Robotics and Automation (ICRA), pp.482-489, 2013. ,
Fault tolerance enhancement using autonomy adaptation for autonomous mobile robots, International Conference on Control and Fault Tolerant Systems (SysTol), pp.24-29, 2010. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00547856
Monitoring the execution of robot plans using semantic knowledge, Robotics and Autonomous Systems, vol.56, issue.11, pp.942-954, 2008. ,
Execution monitoring in robotics: A survey, Robotics and Autonomous Systems, vol.53, issue.2, pp.73-88, 2005. ,
Safety in human-robot coexistence and interaction: How can standardization and research benefit from each other?, Workshop at IROS'12 on, 2012. ,
Action planning for autonomous systems with respect to safety aspects, IEEE International Conference on Systems Man and Cybernetics (SMC), pp.2465-2472, 2010. ,
A dependable perception-decision-execution cycle for autonomous robots, International Conference on Robotics and Automation (ICRA), pp.2992-2998, 2012. ,
Planning with diversified models for fault-tolerant robots, Proc. of The International Conference on Automated Planning and Scheduling (ICAPS07), pp.216-223, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-01292650
, Fault tolerant planning for critical robots, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN07), 2007.
On the Reliability of AI Planning Software in Real-Time Applications, IEEE Transactions on Knowledge and Data Engineering, vol.7, issue.1, pp.14-25, 1995. ,
Online Safety Monitoring Using Safety Modes, Workshop on Technical Challenges for Dependable Robots in Human Environments DRHE08, pp.1-13, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00282444
Specifying safety monitors for autonomous systems using model-checking, The 33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP, pp.262-277, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01207152
Model-checking and game theory for synthesis of safety rules, 16th IEEE International Symposium on High Assurance Systems Engineering, pp.36-43, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01164981
Distributed fault tolerance: lessons from delta-4, IEEE Micro, vol.14, issue.1, pp.36-47, 1994. ,
Fault-tolerance by replication in distributed systems, Reliable Software Technologies -Ada-Europe '96, A. Strohmeier, pp.38-57, 1996. ,
, , pp.2020-2023
Robotnik summit xl robot specification ,
The bowtie method: A review, Safety Science, vol.88, pp.211-218, 2016. ,
Resilient computing on ros using adaptive fault tolerance, Journal of Software: Evolution and Process, vol.30, issue.3, p.1917, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01703968
Mauve runtime: A componentbased middleware to reconfigure software architectures in real-time, 2017 First IEEE International Conference on Robotic Computing, pp.208-211, 2017. ,