中文
相关论文

相关论文: Autonomous Systems' Safety Cases for use in UK Nuc…

200 篇论文

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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器人学 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算工程、金融与科学 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器人学 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

机器人学 · 计算机科学 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…

机器人学 · 计算机科学 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…

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…

机器人学 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器人学 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

人工智能 · 计算机科学 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.…

计算机与社会 · 计算机科学 2019-11-14 Erik Blasch , James Sung , Tao Nguyen , Chandra P. Daniel , Alisa P. Mason