English
Related papers

Related papers: REDriver: Runtime Enforcement for Autonomous Vehic…

200 papers

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…

Software Engineering · Computer Science 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…

Robotics · Computer Science 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…

Computers and Society · Computer Science 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…

Multiagent Systems · Computer Science 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…

Robotics · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Robotics · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Robotics · Computer Science 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…

Computers and Society · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Robotics · Computer Science 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,…

Systems and Control · Electrical Eng. & 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)…

Human-Computer Interaction · Computer Science 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.,…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 2020-06-15 Kecheng Xu , Xiangquan Xiao , Jinghao Miao , Qi Luo