English
Related papers

Related papers: Correct-by-Construction Advanced Driver Assistance…

200 papers

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

Establishing trustworthy safety assurance for autonomous driving systems (ADSs) requires evidence that failures arise from avoidable system deficiencies rather than unavoidable traffic conflicts. Current adversarial simulation methods can…

Robotics · Computer Science 2026-05-14 Yizhuo Xiao , Haotian Yan , Ying Wang , Zhongpan Zhu , Yuxin Zhang , Xintao Yan , Mustafa Suphi Erden , Cheng Wang

The rapid development of artificial intelligence, especially deep learning technology, has advanced autonomous driving systems (ADSs) by providing precise control decisions to counterpart almost any driving event, spanning from anti-fatigue…

Machine Learning · Computer Science 2021-04-13 Yao Deng , Tiehua Zhang , Guannan Lou , Xi Zheng , Jiong Jin , Qing-Long Han

Advanced Driver Assistance Systems (ADAS) and Automated Driving Systems (ADS) are expected to improve comfort, productivity and, most importantly, safety for all road users. To ensure that the systems are safe, rules and regulations…

Systems and Control · Electrical Eng. & Systems 2025-02-18 Pierluigi Olleja , Gustav Markkula , Jonas Bärgman

Fully automated vehicles will require new functionalities for perception, navigation and decision making -- an Autonomous Driving Intelligence (ADI). We consider architectural cases for such functionalities and investigate how they…

Autonomous systems are becoming increasingly prevalent in new vehicles. Due to their environmental friendliness and their remarkable capability to significantly enhance road safety, these vehicles have gained widespread recognition and…

Robotics · Computer Science 2025-07-04 Reem Alhabib , Poonam Yadav

Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while traditional systems engineering approaches are defeated by…

Multiagent Systems · Computer Science 2026-02-24 Marius Bozga , Joseph Sifakis

This paper is on the automated driving architecture and operation of a light commercial vehicle. Simple longitudinal and lateral dynamic models of the vehicle and a more detailed CarSim model are developed and used in simulations and…

Developing safety and efficiency applications for Connected and Automated Vehicles (CAVs) require a great deal of testing and evaluation. The need for the operation of these systems in critical and dangerous situations makes the burden of…

Multiagent Systems · Computer Science 2023-04-27 Ahura Jami , Mahdi Razzaghpour , Hussein Alnuweiri , Yaser P. Fallah

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…

Systems and Control · Electrical Eng. & Systems 2022-05-09 Tong Zhao , Ekim Yurtsever , Joel Paulson , Giorgio Rizzoni

Before reaching full autonomy, vehicles will gradually be equipped with more and more advanced driver assistance systems (ADAS), effectively rendering them semi-autonomous. However, current ADAS technologies seem unable to handle complex…

Multiagent Systems · Computer Science 2017-06-27 Florent Altche , Xiangjun Qian , Arnaud de La Fortelle

Modern Automated Driving (AD) systems rely on safety measures to handle faults and to bring vehicle to a safe state. To eradicate lethal road accidents, car manufacturers are constantly introducing new perception as well as control systems.…

Robotics · Computer Science 2022-02-22 Yuting Fu , Andrei Terechko , Jan Friso Groote , Arash Khabbaz Saberi

Advanced Driver Assistance Systems (ADAS) improve driving safety significantly. They alert drivers from unsafe traffic conditions when a dangerous maneuver appears. Traditional methods to predict driving maneuvers are mostly based on…

Artificial Intelligence · Computer Science 2018-05-09 Dong Zhou , Huimin Ma , Yuhan Dong

The scope of automotive functions has grown from a single-vehicle as an entity to multiple vehicles working together as an entity, referred to as cooperative driving. The current automotive safety standard, ISO 26262, is designed for single…

Software Engineering · Computer Science 2021-05-04 Sangeeth Kochanthara , Niels Rood , Arash Khabbaz Saberi , Loek Cleophas , Yanja Dajsuren , Mark van den Brand

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…

Software Engineering · Computer Science 2025-12-18 Ji Zhou , Yongqi Zhao , Yixian Hu , Hexuan Li , Zhengguo Gu , Nan Xu , Arno Eichberger

With increasing complexity of Automated Driving Systems (ADS), ensuring their safety and reliability has become a critical challenge. The Verification and Validation (V&V) of these systems are particularly demanding when AI components are…

Logic in Computer Science · Computer Science 2023-11-17 Srajan Goyal , Alberto Griggio , Jacob Kimblad , Stefano Tonetta

Advanced Driver Assistance Systems (ADAS) and Advanced Driving Systems (ADS) are key to improving road safety, yet most existing implementations focus primarily on the vehicle ahead, neglecting the behavior of following vehicles. This…

Robotics · Computer Science 2025-04-29 Dianwei Chen , Yaobang Gong , Xianfeng Yang

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…

Software Engineering · Computer Science 2021-02-10 Tobias Schmid , Stefanie Schraufstetter , Jonas Fritzsch , Dominik Hellhake , Greta Koelln , Stefan Wagner

Autonomous Driving Systems (ADSs) are safety-critical, as real-world safety violations can result in significant losses. Rigorous testing is essential before deployment, with simulation testing playing a key role. However, ADSs are…

Software Engineering · Computer Science 2025-01-27 Linfeng Liang , Xi Zheng

Due to the growing awareness of driving safety and the development of sophisticated technologies, advanced driving assistance system (ADAS) has been equipped in more and more vehicles with higher accuracy and lower price. The latest…

Artificial Intelligence · Computer Science 2021-06-24 Xinran Li , Kuo-Yi Lin , Min Meng , Xiuxian Li , Li Li , Yiguang Hong , Jie Chen