中文
相关论文

相关论文: REDriver: Runtime Enforcement for Autonomous Vehic…

200 篇论文

The rapid progress of autonomous vehicles~(AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safety validation through large-scale testing. Multiple…

软件工程 · 计算机科学 2024-04-16 Huijia Sun , Christopher M. Poskitt , Yang Sun , Jun Sun , Yuqi Chen

Providing safety guarantees for Autonomous Vehicle (AV) systems with machine-learning-based controllers remains a challenging issue. In this work, we propose Simplex-Drive, a framework that can achieve runtime safety assurance for…

机器人学 · 计算机科学 2021-09-29 Shengduo Chen , Yaowei Sun , Dachuan Li , Qiang Wang , Qi Hao , Joseph Sifakis

Autonomous driving systems (ADSs) promise improved transportation efficiency and safety, yet ensuring their reliability in complex real-world environments remains a critical challenge. Effective testing is essential to validate ADS…

计算机与社会 · 计算机科学 2025-12-16 Yihan Liao , Jingyu Zhang , Jacky Keung , Yan Xiao , Yurou Dai

Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a multilevel semantic framework for the specification of ADS and…

多智能体系统 · 计算机科学 2021-09-15 Marius Bozga , Joseph Sifakis

The development of Autonomous Vehicles (AVs) has made significant progress in the last years. An important aspect in the development of AVs is the assessment of their safety. New approaches need to be worked out. Among these, real-world…

机器人学 · 计算机科学 2020-12-03 Erwin de Gelder , Olaf Op den Camp

In the automobile industry, ensuring the safety of automated vehicles equipped with the Automated Driving System (ADS) is becoming a significant focus due to the increasing development and deployment of automated driving. Automated driving…

系统与控制 · 电气工程与系统科学 2025-05-06 Milin Patel , Rolf Jung , Marzana Khatun

Autonomous vehicles (AVs) can significantly promote the advances in road transport mobility in terms of safety, reliability, and decarbonization. However, ensuring safety and efficiency in interactive during within dynamic and diverse…

机器人学 · 计算机科学 2025-01-06 Zhen Tian , Zhihao Lin , Dezong Zhao , Wenjing Zhao , David Flynn , Shuja Ansari , Chongfeng Wei

A unified system integrating a compact object detector and a surrounding environmental condition classifier for enhancing the robustness of object detection scheme in advanced driver assistance systems (ADAS) is proposed in this paper. ADAS…

计算机视觉与模式识别 · 计算机科学 2021-05-05 Le-Anh Tran , Truong-Dong Do , Dong-Chul Park , My-Ha Le

Vehicles with Automated Driving Systems (ADS) operate in a high-dimensional continuous system with multi-agent interactions. This continuous system features various types of traffic agents (non-homogeneous) governed by continuous-motion…

机器人学 · 计算机科学 2020-05-21 Bowen Weng , Sughosh J. Rao , Eeshan Deosthale , Scott Schnelle , Frank Barickman

Automated Driving Systems (ADS) hold great potential to increase safety, mobility, and equity. However, without public acceptance, none of these promises can be fulfilled. To engender public trust, many entities in the ADS community…

计算机与社会 · 计算机科学 2023-07-03 Scott Schnelle , Francesca M. Favaro

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

Over the last decade, there has been increasing interest in autonomous driving systems. Reinforcement Learning (RL) shows great promise for training autonomous driving controllers, being able to directly optimize a combination of criteria…

机器人学 · 计算机科学 2024-07-25 Tianyu Shi , Ilia Smirnov , Omar ElSamadisy , Baher Abdulhai

This paper presents a systematic design of an active disturbance rejection control (ADRC) system for unmanned tracked vehicles (UTVs) in leader-follow formation. Two ADRC controllers are designed for the lateral and the longitudinal…

系统与控制 · 电气工程与系统科学 2023-12-08 Salem-Bilal Amokrane , Mohammed Zouaoui Laidouni , Touati Adli , Rafal Madonski , Momir Stanković

Autonomous driving has been quite promising in recent years. The public has seen Robotaxi delivered by Waymo, Baidu, Cruise, and so on. While autonomous driving vehicles certainly have a bright future, we have to admit that it is still a…

机器人学 · 计算机科学 2021-05-04 Xin Xu , Yu Dong , Fan Zhu

High level Automated Driving Systems (ADS) can handle many situations, but they still encounter situations where human intervention is required. In systems where a physical driver is present in the vehicle, typically SAE Level 3 systems,…

系统与控制 · 电气工程与系统科学 2025-07-22 Ole Hans , Benedikt Walter

Validating Advanced Driver Assistance Systems (ADAS) is a strategic issue, since such systems are becoming increasingly widespread in the automotive field. ADAS bring extra comfort to drivers, and this has become a selling point. But these…

Level 3 automated driving systems (ADS) have attracted significant attention and are being commercialized. A level 3 ADS prompts the driver to take control by issuing a request to intervene (RtI) when its operational design domains (ODD)…

人机交互 · 计算机科学 2026-04-22 Ryuji Matsuo , Hailong Liu , Toshihiro Hiraoka , Takahiro Wada

Autonomous driving has gained significant advancements in recent years. However, obtaining a robust control policy for driving remains challenging as it requires training data from a variety of scenarios, including rare situations (e.g.,…

机器人学 · 计算机科学 2019-07-23 Weizi Li , David Wolinski , Ming C. Lin

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

Autonomous Driving vehicles (ADV) are on road with large scales. For safe and efficient operations, ADVs must be able to predict the future states and iterative with road entities in complex, real-world driving scenarios. How to migrate a…

机器人学 · 计算机科学 2020-06-15 Kecheng Xu , Xiangquan Xiao , Jinghao Miao , Qi Luo