English
Related papers

Related papers: REDriver: Runtime Enforcement for Autonomous Vehic…

200 papers

Self-adaptive systems (SASs) are capable of adjusting its behavior in response to meaningful changes in the operational con-text and itself. The adaptation needs to be performed automatically through self-managed reactions and…

Software Engineering · Computer Science 2017-04-06 Zhuoqun Yang , Zhi Jin , Zhi Li

Automated Driving Systems (ADS) open up a new domain for the automotive industry and offer new possibilities for future transportation with higher efficiency and comfortable experiences. However, autonomous driving under adverse weather…

Robotics · Computer Science 2023-01-18 Yuxiao Zhang , Alexander Carballo , Hanting Yang , Kazuya Takeda

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

Autonomous vehicles are continually increasing their presence on public roads. However, before any new autonomous driving software can be approved, it must first undergo a rigorous assessment of driving quality. These quality evaluations…

Methodology · Statistics 2023-05-18 Maria A. Terres , Aiyou Chen , Ruixuan Rachel Zhou , Claire M. McLeod

Recently, the scientific progress of Advanced Driver Assistance System solutions (ADAS) has played a key role in enhancing the overall safety of driving. ADAS technology enables active control of vehicles to prevent potentially risky…

Signal Processing · Electrical Eng. & Systems 2023-08-07 Francesco Rundo , Concetto Spampinato , Michael Rundo

In autonomous racing, vehicles operate close to the limits of handling and a sensor failure can have critical consequences. To limit the impact of such failures, this paper presents the redundant perception and state estimation approaches…

Parallel trajectory optimization via the Alternating Direction Method of Multipliers (ADMM) has emerged as a scalable approach to long-horizon motion planning. However, existing frameworks typically decompose the problem into parallel…

Robotics · Computer Science 2026-04-27 Jiajun Yu , Guodong Liu , Li Wang , Pengxiang Zhou , Wentao Liu , Yin He , Chao Xu , Fei Gao , Yanjun Cao

As Autonomous Driving Systems (ADS) progress towards commercial deployment, there is an increasing focus on ensuring their safety and reliability. While considerable research has been conducted on testing methods for detecting faults in…

Software Engineering · Computer Science 2026-01-09 Nathan Shaw , Sanjeetha Pennada , Robert M Hierons , Donghwan Shin

Transport sector is in the process of being rapidly and fundamentally reshaped by autonomous and collaborative driving technologies. This reshaping promises huge economic and social benefits as well as challenges in terms of developing and…

Computers and Society · Computer Science 2018-06-11 Viktoras Kabir Veitas , Simon Delaere

Testing Autonomous Driving Systems (ADSs) is a critical task for ensuring the reliability and safety of autonomous vehicles. Existing methods mainly focus on searching for safety violations while the diversity of the generated test cases is…

Software Engineering · Computer Science 2023-07-17 Mingfei Cheng , Yuan Zhou , Xiaofei Xie

AI/ML-based intrusion detection systems (IDSs) and misbehavior detection systems (MDSs) have shown great potential in identifying anomalies in the network traffic of networked autonomous systems. Despite the vast research efforts, practical…

Networking and Internet Architecture · Computer Science 2023-05-10 Opeyemi Ajibuwa , Bechir Hamdaoui , Attila A. Yavuz

Reliable detection of various objects and road users in the surrounding environment is crucial for the safe operation of automated driving systems (ADS). Despite recent progresses in developing highly accurate object detectors based on Deep…

Computer Vision and Pattern Recognition · Computer Science 2024-03-05 Hakan Yekta Yatbaz , Mehrdad Dianati , Konstantinos Koufos , Roger Woodman

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

Simulation-based testing is a cornerstone of Autonomous Driving System (ADS) development, offering safe and scalable evaluation across diverse driving scenarios. However, discrepancies between simulated and real-world behavior, known as the…

Software Engineering · Computer Science 2025-09-30 Stefano Carlo Lambertenghi , Mirena Flores Valdez , Andrea Stocco

Automotive radar sensors play a key role in the current development of advanced driver assistance systems (ADAS). Their ability to detect objects even under adverse weather conditions makes them indispensable for environment-sensing tasks…

Signal Processing · Electrical Eng. & Systems 2024-10-28 Axel Diewald , Benjamin Nuss , Johannes Galinsky , Thomas Zwick

Complex dynamical systems rely on the correct deployment and operation of numerous components, with state-of-the-art methods relying on learning-enabled components in various stages of modeling, sensing, and control at both offline and…

Systems and Control · Electrical Eng. & Systems 2021-01-22 Weiming Xiang

Urban transportation of next decade is expected to be disrupted by Autonomous Mobility on Demand (AMoD): AMoD providers will collect ride requests from users and will dispatch a fleet of autonomous vehicles to satisfy requests in the most…

Multiagent Systems · Computer Science 2018-11-07 Andrea Di Maria , Andrea Araldo , Giovanni Morana , Antonella Di Stefano

Developing autonomous driving systems (ADSs) involves generating and storing extensive log data from test drives, which is essential for verification, research, and simulation. However, these high-frequency logs, recorded over varying…

Software Engineering · Computer Science 2025-06-16 Simin Sun , Yuchuan Jin , Miroslaw Staron

This paper investigates runtime monitoring of perception systems. Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving cars. In these applications, failure of perception…

Robotics · Computer Science 2022-05-24 Pasquale Antonante , Heath Nilsen , Luca Carlone

Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box system satisfies some desired properties. This paper deals with…

Formal Languages and Automata Theory · Computer Science 2016-12-16 Srinivas Pinisetty , Partha S Roop , Steven Smyth , Stavros Tripakis , Reinhard von Hanxleden