English
Related papers

Related papers: DynNPC: Finding More Violations Induced by ADS in …

200 papers

Automotive software testing continues to rely largely upon expensive field tests to ensure quality because alternatives like simulation-based testing are relatively immature. As a step towards lowering reliance on field tests, we present…

Software Engineering · Computer Science 2021-07-16 Dhasarathy Parthasarathy , Anton Johansson

In this paper, we present a Deep Reinforcement Learning (RL)-driven Adaptive Stochastic Nonlinear Model Predictive Control (SNMPC) to optimize uncertainty handling, constraints robustification, feasibility, and closed-loop performance. To…

Systems and Control · Electrical Eng. & Systems 2023-11-09 Baha Zarrouki , Chenyang Wang , Johannes Betz

In order to find the most likely failure scenarios which may occur under certain given operation domain, critical-scenario-based test is supposed as an effective and widely used method, which gives suggestions for designers to improve the…

Robotics · Computer Science 2022-06-03 Yizhou Xie , Kunpeng Dai , Yong Zhang

Many organizations are developing autonomous driving systems, which are expected to be deployed at a large scale in the near future. Despite this, there is a lack of agreement on appropriate methods to test, debug, and certify the…

Systems and Control · Computer Science 2019-01-09 Cumhur Erkan Tuncali , Georgios Fainekos , Hisahiro Ito , James Kapinski

Simulation-based testing plays a critical role in evaluating the safety and reliability of autonomous driving systems (ADSs). However, one of the key challenges in ADS testing is the complexity of preparing and configuring simulation…

Software Engineering · Computer Science 2024-12-18 Mingfei Cheng , Yuan Zhou , Xiaofei Xie

When Deep Neural Networks (DNNs) are used in safety-critical systems, engineers should determine the safety risks associated with failures (i.e., erroneous outputs) observed during testing. For DNNs processing images, engineers visually…

Software Engineering · Computer Science 2022-11-09 Hazem Fahmy , Fabrizio Pastore , Lionel Briand , Thomas Stifter

We study automated test generation for verifying discrete decision-making modules in autonomous systems. We utilize linear temporal logic to encode the requirements on the system under test in the system specification and the behavior that…

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

Rigorously testing autonomy systems is essential for making safe self-driving vehicles (SDV) a reality. It requires one to generate safety critical scenarios beyond what can be collected safely in the world, as many scenarios happen rarely…

Computer Vision and Pattern Recognition · Computer Science 2023-08-04 Ze Yang , Yun Chen , Jingkang Wang , Sivabalan Manivasagam , Wei-Chiu Ma , Anqi Joyce Yang , Raquel Urtasun

This study presents a novel approach for modeling and simulating human-vehicle interactions in order to examine the effects of automated driving systems (ADS) on driving performance and driver control workload. Existing driver-ADS…

Robotics · Computer Science 2022-10-26 Kenechukwu C. Mbanisi , Hideyuki Kimpara , Zhi Li , Danil Prokhorov , Michael A. Gennert

Simulation-based approaches are among the most practical means to search for safety violations, bugs, and other unexpected events in cyber-physical systems (CPS). Where existing approaches search for simulations violating a formal…

Systems and Control · Electrical Eng. & Systems 2025-03-31 Semaan Douglas Wehbe , Stanley Bak

Planning allows an agent to safely refine its actions before executing them in the real world. In autonomous driving, this is crucial to avoid collisions and navigate in complex, dense traffic scenarios. One way to plan is to search for the…

Artificial Intelligence · Computer Science 2025-11-25 Asen Nachkov , Jan-Nico Zaech , Danda Pani Paudel , Xi Wang , Luc Van Gool

Simulation-based testing of autonomous driving systems (ADS) must uncover realistic and diverse failures in dense, heterogeneous traffic. However, existing search-based seeding methods (e.g., genetic algorithms) struggle in high-dimensional…

Software Engineering · Computer Science 2026-04-22 Linfeng Liang , Xiao Cheng , Tsong Yueh Chen , Xi Zheng

Autonomous driving systems are typically verified based on scenarios. To represent the positions and movements of cars in these scenarios, diagrams that utilize icons are typically employed. However, the interpretation of such diagrams is…

Software Engineering · Computer Science 2025-01-17 Toshiaki Aoki , Takashi Tomita , Tatsuji Kawai , Daisuke Kawakami , Nobuo Chida

Autonomous Driving Systems (ADS) have made huge progress and started on-road testing or even commercializing trials. ADS are complex and difficult to test: they receive input data from multiple sensors and make decisions using a combination…

Software Engineering · Computer Science 2024-08-27 Tri Minh Triet Pham , Bo Yang , Jinqiu Yang

Autonomous Driving System (ADS) testing plays a crucial role in their development, with the current focus primarily on functional and safety testing. However, evaluating the non-functional morality of ADSs, particularly their…

Software Engineering · Computer Science 2025-05-07 Wenbing Tang , Mingfei Cheng , Yuan Zhou , Yang Liu

With an increasing number of vehicles equipped with adaptive cruise control (ACC), the impact of such vehicles on the collective dynamics of traffic flow becomes relevant. By means of simulation, we investigate the influence of variable…

Physics and Society · Physics 2010-09-08 Arne Kesting , Martin Treiber , Dirk Helbing

Traditional decision and planning frameworks for self-driving vehicles (SDVs) scale poorly in new scenarios, thus they require tedious hand-tuning of rules and parameters to maintain acceptable performance in all foreseeable cases.…

Robotics · Computer Science 2021-08-02 Peide Cai , Hengli Wang , Yuxiang Sun , Ming Liu

We present a methodology for estimating collision risk from counterfactual simulated scenarios built on sensor data from automated driving systems (ADS) or naturalistic driving databases. Two-agent conflicts are assessed by detecting and…

Robotics · Computer Science 2025-06-10 Sreeja Roy-Singh , Sarvesh Kolekar , Daniel P. Bonny , Kyle Foss

Autonomous driving functions (ADFs) in public traffic have to comply with complex system requirements that are based on knowledge of experts from different disciplines, e.g., lawyers, safety experts, psychologists. In this paper, we present…

Logic in Computer Science · Computer Science 2022-09-29 Dominik Grundt , Anna Köhne , Ishan Saxena , Ralf Stemmer , Bernd Westphal , Eike Möhlmann