English
Related papers

Related papers: Formal Estimation of Collision Risks for Autonomou…

200 papers

This article describes techniques employed in the production of a synthetic dataset of driver telematics emulated from a similar real insurance dataset. The synthetic dataset generated has 100,000 policies that included observations about…

Machine Learning · Statistics 2021-02-02 Banghee So , Jean-Philippe Boucher , Emiliano A. Valdez

Generating safety-critical scenarios, which are essential yet difficult to collect at scale, offers an effective method to evaluate the robustness of autonomous vehicles (AVs). Existing methods focus on optimizing adversariality while…

Robotics · Computer Science 2024-10-14 Keyu Chen , Yuheng Lei , Hao Cheng , Haoran Wu , Wenchao Sun , Sifa Zheng

This paper develops a safety analysis method for stochastic systems that is sensitive to the possibility and severity of rare harmful outcomes. We define risk-sensitive safe sets as sub-level sets of the solution to a non-standard optimal…

Systems and Control · Electrical Eng. & Systems 2022-06-28 Margaret P. Chapman , Riccardo Bonalli , Kevin M. Smith , Insoon Yang , Marco Pavone , Claire J. Tomlin

To address the coordination issue of connected automated vehicles (CAVs) at urban scenarios, a game-theoretic decision-making framework is proposed that can advance social benefits, including the traffic system efficiency and safety, as…

Systems and Control · Electrical Eng. & Systems 2022-01-06 Peng Hang , Chao Huang , Zhongxu Hu , Chen Lv

The safe trajectory planning of intelligent and connected vehicles is a key component in autonomous driving technology. Modeling the environment risk information by field is a promising and effective approach for safe trajectory planning.…

Robotics · Computer Science 2025-07-01 Zeyu Han , Mengchi Cai , Chaoyi Chen , Qingwen Meng , Guangwei Wang , Ying Liu , Qing Xu , Jianqiang Wang , Keqiang Li

This work establishes a crucial step toward advancing data-driven trajectory-based methods for stochastic systems with unknown mathematical dynamics. In contrast to scenario-based approaches that rely on independent and identically…

Systems and Control · Electrical Eng. & Systems 2025-08-01 Abolfazl Lavaei

Autonomous Vehicles (AVs) are prone to revolutionise the transportation industry. However, they must be thoroughly tested to avoid safety violations. Simulation testing plays a crucial role in finding safety violations of Automated Driving…

Software Engineering · Computer Science 2024-05-07 Victor Crespo-Rodriguez , Neelofar , Aldeida Aleti

Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular, results of operational testing with other evidence from…

Artificial Intelligence · Computer Science 2020-08-24 Xingyu Zhao , Kizito Salako , Lorenzo Strigini , Valentin Robu , David Flynn

As autonomous robots move into complex, dynamic real-world environments, they must learn to navigate safely in real time, yet anticipating all possible behaviors is infeasible. We propose a composable, model-free reinforcement learning…

Robotics · Computer Science 2026-02-16 Xinhuan Sang , Abdelrahman Abdelgawad , Roberto Tron

This paper proposes a cyber-resilient secure control framework for autonomous vehicles (AVs) subject to false data injection (FDI) threats as actuator attacks. The framework integrates data-driven modeling, event-triggered communication,…

Systems and Control · Electrical Eng. & Systems 2025-12-16 Yashar Mousavi , Mahsa Tavasoli , Ibrahim Beklan Kucukdemiral , Umit Cali , Abdolhossein Sarrafzadeh , Ali Karimoddini , Afef Fekih

Humans are going to delegate the rights of driving to the autonomous vehicles in near future. However, to fulfill this complicated task, there is a need for a mechanism, which enforces the autonomous vehicles to obey the road and social…

Multiagent Systems · Computer Science 2017-08-22 Faisal Riaz , Muaz A. Niazi

Autonomous CPSs are often required to handle uncertainties and self-manage the system operation in response to problems and increasing risk in the operating paradigm. This risk may arise due to distribution shifts, environmental context, or…

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

Cooperative Adaptive Cruise Control (CACC) is an autonomous vehicle-following technology that allows groups of vehicles on the highway to form in tightly-coupled platoons. This is accomplished by exchanging inter-vehicle data through…

Systems and Control · Electrical Eng. & Systems 2021-09-06 Tianci Yang , Carlos Murguia , Chen Lv

This paper addresses the design of an optimization-based cooperative path-following control law for multiple robotic vehicles that optimally balances the transient trade-off between coordination and path-following errors. To this end, we…

Systems and Control · Electrical Eng. & Systems 2019-07-22 Andrea Alessandretti , A. Pedro Aguiar

Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this practice, we propose a systematic procedure for generating a…

Systems and Control · Electrical Eng. & Systems 2019-09-13 Tung Phan-Minh , Karena X. Cai , Richard M. Murray

ML-based motion planning is a promising approach to produce agents that exhibit complex behaviors, and automatically adapt to novel environments. In the context of autonomous driving, it is common to treat all available training data…

The safety validation of Advanced Driver Assistance Systems (ADAS) and Automated Driving Systems (ADS) increasingly demands efficient and reliable methods to quantify residual risk while adhering to international standards such as ISO…

Collision avoidance algorithms for Autonomous Surface Vehicles (ASV) that follow the Convention on the International Regulations for Preventing Collisions at Sea (COLREGs) have been proposed in recent years. However, it may be difficult and…

Robotics · Computer Science 2024-03-08 Xi Lin , Yewei Huang , Fanfei Chen , Brendan Englot

Generating safety-critical scenarios in high-fidelity simulations offers a promising and cost-effective approach for efficient testing of autonomous vehicles. Existing methods typically rely on manipulating a single vehicle's trajectory…

Machine Learning · Computer Science 2025-05-07 Jiawei Wang , Xintao Yan , Yao Mu , Haowei Sun , Zhong Cao , Henry X. Liu