中文
相关论文

相关论文: A Formally Verified Fail-Operational Safety Concep…

200 篇论文

Autonomous Driving (AD) systems demand the high levels of safety assurance. Despite significant advancements in AD demonstrated on open-source benchmarks like Longest6 and Bench2Drive, existing datasets still lack regulatory-compliant…

机器人学 · 计算机科学 2025-05-21 Jingzheng Li , Tiancheng Wang , Xingyu Peng , Jiacheng Chen , Zhijun Chen , Bing Li , Xianglong Liu

Fault diagnosis is crucial for complex autonomous mobile systems, especially for modern-day autonomous driving (AD). Different actors, numerous use cases, and complex heterogeneous components motivate a fault diagnosis of the system and…

The automotive industry is experiencing a transition from assisted to highly automated driving. New concepts for validation of Automated Driving System (ADS) include amongst other a shift from a "technology based" approach to a "scenario…

软件工程 · 计算机科学 2023-02-02 Ilona Cieslik , Víctor J. Expósito Jiménez , Helmut Martin , Heiko Scharke , Hannes Schneider

We assume that autonomous or highly automated driving (AD) will be accompanied by tough assurance obligations exceeding the requirements of even recent revisions of ISO 26262 or SOTIF. Hence, automotive control and safety engineers have to…

系统与控制 · 计算机科学 2017-09-11 Mario Gleirscher

With increased developments and interest in cooperative driving and higher levels of automation (SAE level 3+), the need for safety systems that are capable to monitor system health and maintain safe operations in faulty scenarios is…

最优化与控制 · 数学 2023-04-03 Niels Lodder , Chris van der Ploeg , Laura Ferranti , Emilia Silvas

Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation. Recent advances in Level 3 and Level 4 autonomous driving have motivated…

系统与控制 · 电气工程与系统科学 2022-05-09 Tong Zhao , Ekim Yurtsever , Joel Paulson , Giorgio Rizzoni

Ensuring the safety and reliability of Automated Driving Systems (ADS) remains a critical challenge, as traditional verification methods such as large-scale on-road testing are prohibitively costly and time-consuming.To address…

软件工程 · 计算机科学 2025-12-18 Ji Zhou , Yongqi Zhao , Yixian Hu , Hexuan Li , Zhengguo Gu , Nan Xu , Arno Eichberger

With the increasing presence of autonomous SAE level 3 and level 4, which incorporate artificial intelligence software, along with the complex technical challenges they present, it is essential to maintain a high level of functional safety…

软件工程 · 计算机科学 2024-12-13 Vikas Vyas , Zheyuan Xu

Multimodal large language models (MLLMs) are increasingly integrated into autonomous driving (AD) systems; however, they remain vulnerable to diverse safety threats, particularly in accident-prone scenarios. Recent safeguard mechanisms have…

While current automotive safety standards provide implicit guidance on how unreasonable risk can be avoided, manufacturers are required to specify risk acceptance criteria for Automated Driving Systems (SAE Level 3 and higher). However, the…

系统与控制 · 电气工程与系统科学 2024-03-11 Nayel Fabian Salem , Thomas Kirschbaum , Marcus Nolte , Christian Lalitsch-Schneider , Robert Graubohm , Jan Reich , Markus Maurer

Autonomous cars can reduce road traffic accidents and provide a safer mode of transport. However, key technical challenges, such as safe navigation in complex urban environments, need to be addressed before deploying these vehicles on the…

机器人学 · 计算机科学 2021-06-29 Smit Saparia , Andreas Schimpe , Laura Ferranti

A fail-operational system for highly automated driving must complete the driving task even in the presence of a failure. This requires redundant architectures and a mechanism to reconfigure the system in case of a failure. Therefore, an…

Autonomous Driving (AD) encounters significant safety hurdles in long-tail unforeseen driving scenarios, largely stemming from the non-interpretability and poor generalization of the deep neural networks within the AD system, particularly…

人工智能 · 计算机科学 2024-03-25 Yixuan Wang , Ruochen Jiao , Sinong Simon Zhan , Chengtian Lang , Chao Huang , Zhaoran Wang , Zhuoran Yang , Qi Zhu

Efficient scalability of automated driving (AD) is key to reducing costs, enhancing safety, conserving resources, and maximizing impact. However, research focuses on specific vehicles and context, while broad deployment requires scalability…

计算机与社会 · 计算机科学 2025-07-25 Lars Ullrich , Michael Buchholz , Jonathan Petit , Klaus Dietmayer , Knut Graichen

How many scenarios are sufficient to validate the safe Operational Design Domain (ODD) of an Automated Driving System (ADS) equipped vehicle? Is a more significant number of sampled scenarios guaranteeing a more accurate safety assessment…

机器人学 · 计算机科学 2021-11-16 Bowen Weng , Linda Capito , Umit Ozguner , Keith Redmill

Autonomous driving systems continue to face safety-critical failures, often triggered by rare and unpredictable corner cases that evade conventional testing. We present the Autonomous Driving Digital Twin (ADDT) framework, a high-fidelity…

机器人学 · 计算机科学 2025-04-15 Bo Yu , Chaoran Yuan , Zishen Wan , Jie Tang , Fadi Kurdahi , Shaoshan Liu

In this era of technological advancements, several cutting-edge techniques are being implemented to enhance Autonomous Driving (AD) systems, focusing on improving safety, efficiency, and adaptability in complex driving environments.…

计算与语言 · 计算机科学 2025-02-27 Md Robiul Islam

Virtual scenario-based testing methods to validate autonomous driving systems are predominantly centred around collision avoidance, and lack a comprehensive approach to evaluate optimal driving behaviour holistically. Furthermore, current…

机器人学 · 计算机科学 2024-08-01 Kethan Reddy , Elias Nassif , Panagiotis Angeloudis , Mohammed Quddus , Washington Ochieng

Research into safety in autonomous and semi-autonomous vehicles has, so far, largely been focused on testing and validation through simulation. Due to the fact that failure of these autonomous systems is potentially life-endangering, formal…

机器人学 · 计算机科学 2020-03-26 Francisco Eiras , Morteza Lahijanian , Marta Kwiatkowska

This paper presents a novel two-level control architecture for a fully autonomous vehicle in a deterministic environment, which can handle traffic rules as specifications and low-level vehicle control with real-time performance. At the top…

机器人学 · 计算机科学 2021-05-07 Erfan Aasi , Cristian Ioan Vasile , Calin Belta
‹ 上一页 1 2 3 10 下一页 ›