English
Related papers

Related papers: Autonomous Systems' Safety Cases for use in UK Nuc…

200 papers

Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the…

Software Engineering · Computer Science 2021-01-29 Matt Luckcuck , Marie Farrel , Louise A. Dennis , Michael Fisher

With the deployment of lethal autonomous weapons, there is the requirement that any such platform complies with the precepts of International Humanitarian Law. Humanitarian Algorithms[9: p. 9] ensure that lethal autonomous weapon systems…

Cryptography and Security · Computer Science 2014-02-11 Nyagudi Musandu Nyagudi

Long-term autonomy of robotic systems implicitly requires dependable platforms that are able to naturally handle hardware and software faults, problems in behaviors, or lack of knowledge. Model-based dependable platforms additionally…

Robotics · Computer Science 2022-07-21 Stalin Muñoz Gutiérrez , Gerald Steinbauer-Wagner

This vision paper presents initial research on assessing the robustness and reliability of AI-enabled systems, and key factors in ensuring their safety and effectiveness in practical applications, including a focus on accountability. By…

Software Engineering · Computer Science 2025-06-23 Filippo Scaramuzza , Damian A. Tamburri , Willem-Jan van den Heuvel

Achieving greater autonomy in automation systems is crucial for handling unforeseen situations effectively. However, this remains challenging due to technological limitations and the complexity of real-world environments. This paper…

Computational Engineering, Finance, and Science · Computer Science 2025-07-08 Johannes Sigel , Daniel Dittler , Nasser Jazdi , Michael Weyrich

Autonomous vehicles are on the horizon and will be transforming transportation safety and comfort. These vehicles will be connected to various external systems and utilize advanced embedded systems to perceive their environment and make…

Cryptography and Security · Computer Science 2022-01-26 Vipin Kumar Kukkala , Sooryaa Vignesh Thiruloga , Sudeep Pasricha

As robots are introduced to more and more complex scenarios, the issues of trust become more complex as various groups, peoples, and entities begin to interact with a deployed robot. This short paper explores a few scenarios in which the…

Robotics · Computer Science 2022-08-30 Ben Wright , Emily Collins , David Cameron

Industrial robots are important machines applied in numerous modern industries that execute repetitive tasks with high accuracy, replacing or supporting dangerous jobs. In this kind of system, with increased complexity in which cost is…

Robotics · Computer Science 2021-04-26 Marcela G. dos Santos , Fabio Petrillo

As of today, robots exhibit impressive agility but also pose potential hazards to humans using/collaborating with them. Consequently, safety is considered the most paramount factor in human-robot interaction (HRI). This paper presents a…

Reinforcement Learning (RL) algorithms show amazing performance in recent years, but placing RL in real-world applications such as self-driven vehicles may suffer safety problems. A self-driven vehicle moving to a target position following…

Systems and Control · Electrical Eng. & Systems 2022-07-05 Huanhui Cao , Zhiyuan Cai , Hairuo Wei , Wenjie Lu , Lin Zhang , Hao Xiong

Intelligent escape is an interdisciplinary field that employs artificial intelligence (AI) techniques to enable robots with the capacity to intelligently react to potential dangers in dynamic, intricate, and unpredictable scenarios. As the…

Robotics · Computer Science 2023-10-24 Junfei Li , Simon X. Yang

Human-robot interactions have been recognized to be a key element of future industrial collaborative robots (co-robots). Unlike traditional robots that work in structured and deterministic environments, co-robots need to operate in highly…

Robotics · Computer Science 2018-08-14 Changliu Liu , Masayoshi Tomizuka

Companies dealing with Artificial Intelligence (AI) models in Autonomous Systems (AS) face several problems, such as users' lack of trust in adverse or unknown conditions, gaps between software engineering and AI model development, and…

Software Engineering · Computer Science 2021-04-26 Silverio Martínez-Fernández , Xavier Franch , Andreas Jedlitschka , Marc Oriol , Adam Trendowicz

Robotics and automation are poised to change the landscape of home and work in the near future. Robots are adept at deliberately moving, sensing, and interacting with their environments. The pervasive use of this technology promises…

Robotics · Computer Science 2023-08-08 Rahul Shome , Zachary Kingston , Lydia E. Kavraki

Unmanned vehicles able to conduct advanced operations without human intervention are being developed at a fast pace for many purposes. Not surprisingly, they are also expected to significantly change how military operations can be…

Cryptography and Security · Computer Science 2024-10-30 Henrik Madsen , Gudmund Grov , Federico Mancini , Magnus Baksaas , Åvald Åslaugson Sommervoll

The ubiquity of systems using artificial intelligence or "AI" has brought increasing attention to how those systems should be regulated. The choice of how to regulate AI systems will require care. AI systems have the potential to synthesize…

A wide range of human-robot collaborative applications in diverse domains such as manufacturing, health care, the entertainment industry, and social interactions, require an autonomous robot to follow its human companion. Different working…

Robotics · Computer Science 2019-09-18 Md Jahidul Islam , Jungseok Hong , Junaed Sattar

Recent years have seen significant progress in the realm of robot autonomy, accompanied by the expanding reach of robotic technologies. However, the emergence of new deployment domains brings unprecedented challenges in ensuring safe…

Systems and Control · Electrical Eng. & Systems 2023-09-13 Kai-Chieh Hsu , Haimin Hu , Jaime Fernández Fisac

There has been recent and growing interest in the development and deployment of autonomous vehicles, encouraged by the empirical successes of powerful artificial intelligence techniques (AI), especially in the applications of deep learning…

Artificial Intelligence · Computer Science 2023-05-29 Shahin Atakishiyev , Mohammad Salameh , Hengshuai Yao , Randy Goebel

Recent advances in artificial intelligence (AI) have lead to an explosion of multimedia applications (e.g., computer vision (CV) and natural language processing (NLP)) for different domains such as commercial, industrial, and intelligence.…

Computers and Society · Computer Science 2019-11-14 Erik Blasch , James Sung , Tao Nguyen , Chandra P. Daniel , Alisa P. Mason