English
Related papers

Related papers: Reachability-Based Confidence-Aware Probabilistic …

200 papers

Rural roadways often expose Commercial Motor Vehicle (CMV) drivers to hazardous conditions, such as heavy fog, rain, snow, black ice, and flash floods, many of which remain unreported in real time. This lack of timely information, coupled…

Computational Engineering, Finance, and Science · Computer Science 2025-09-04 Suhala Rabab Saba , Sagar Dasgupta , Mizanur Rahman , Nathan Huynh , Li Zhao , Mehmet C. Vuran , Qiang Liu , Eren Erman Ozguven

Safety assurance is a critical yet challenging aspect when developing self-driving technologies. Hamilton-Jacobi backward-reachability analysis is a formal verification tool for verifying the safety of dynamic systems in the presence of…

Robotics · Computer Science 2021-06-08 Ran Tian , Anjian Li , Masayoshi Tomizuka , Liting Sun

Safety is a central requirement for automated vehicles. As such, the assessment of risk in automated driving is key in supporting both motion planning technologies and safety evaluation. In automated driving, risk is characterized by two…

Robotics · Computer Science 2026-01-22 Leon Tolksdorf , Arturo Tejada , Jonas Bauernfeind , Christian Birkner , Nathan van de Wouw

Density of the reachable states can help understand the risk of safety-critical systems, especially in situations when worst-case reachability is too conservative. Recent work provides a data-driven approach to compute the density…

Robotics · Computer Science 2022-09-19 Yue Meng , Zeng Qiu , Md Tawhid Bin Waez , Chuchu Fan

When autonomous vehicles encounter untrained scenarios, ensuring safety hinges on effective safety verification to prevent accidents stemming from unexpected model decisions. Reachability analysis, a method of safety verification, offers…

Systems and Control · Electrical Eng. & Systems 2025-12-05 Lingxiang Fan , Linxuan He , Haoyuan Ji , Shuo Feng

In order to develop provably safe human-in-the-loop systems, accurate and precise models of human behavior must be developed. In the case of intelligent vehicles, one can imagine the need for predicting driver behavior to develop minimally…

Systems and Control · Computer Science 2017-05-03 Katherine Driggs-Campbell , Roy Dong , S. Shankar Sastry , Ruzena Bajcsy

The driving risk field is applicable to more complex driving scenarios, providing new approaches for safety decision-making and active vehicle control in intricate environments. However, existing research often overlooks the driving risk…

Systems and Control · Electrical Eng. & Systems 2025-05-22 Wenjie Huang , Yang Li , Shijie Yuan , Jingjia Teng , Hongmao Qin , Yougang Bian

Hamilton-Jacobi (HJ) reachability is a method that provides rigorous analyses of the safety properties of dynamical systems. This method has been successfully applied to many low-dimensional dynamical system models such as coarse models of…

Optimization and Control · Mathematics 2016-09-20 Mo Chen , Sylvia Herbert , Claire J. Tomlin

The Responsibility-Sensitive Safety (RSS) model offers provable safety for vehicle behaviors such as minimum safe following distance. However, handling worst-case variability and uncertainty may significantly lower vehicle permissiveness,…

Robotics · Computer Science 2019-11-05 Philip Koopman , Beth Osyk , Jack Weast

In the era of rapid advancements in vehicle safety technologies, driving risk assessment has become a focal point of attention. Technologies such as collision warning systems, advanced driver assistance systems (ADAS), and autonomous…

Robotics · Computer Science 2025-05-01 Dachuan Zuo , Zilin Bian , Fan Zuo , Kaan Ozbay

Action anticipation, intent prediction, and proactive behavior are all desirable characteristics for autonomous driving policies in interactive scenarios. Paramount, however, is ensuring safety on the road --- a key challenge in doing so is…

Robotics · Computer Science 2019-01-01 Karen Leung , Edward Schmerling , Mo Chen , John Talbot , J. Christian Gerdes , Marco Pavone

We present the Field of Safe Motion (FSM), a quantitative safety model for determining whether a driver maintains a collision-free escape route, or "out," at any given moment by accounting for that driver's physical capabilities and the…

Robotics · Computer Science 2026-05-07 Leif Johnson , Trent Victor , Johan Engström

Deploying autonomous systems in safety critical settings necessitates methods to verify their safety properties. This is challenging because real-world systems may be subject to disturbances that affect their performance, but are unknown a…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Nicholas Rober , Karan Mahesh , Tyler M. Paine , Max L. Greene , Steven Lee , Sildomar T. Monteiro , Michael R. Benjamin , Jonathan P. How

In recent years, automotive technology has made a steady progress. In particular, Advanced Driver Assistance System (ADAS) has enabled many safety features in commercial vehicles, for instance, pedestrian detection, lane keeping assist,…

Systems and Control · Electrical Eng. & Systems 2022-12-26 Avinash Prabu , Lingxi Li , Brian King , Yaobin Chen

Rear-end collision warning system has a great role to enhance the driving safety. In this system some measures are used to estimate the dangers and the system warns drivers to be more cautious. The real-time processes should be executed in…

Computer Vision and Pattern Recognition · Computer Science 2020-03-10 Fateme Teimouri , Mehdi Ghatee

The development of Automated Driving Systems (ADSs) has made significant progress in the last years. To enable the deployment of Automated Vehicles (AVs) equipped with such ADSs, regulations concerning the approval of these systems need to…

Robotics · Computer Science 2023-09-06 Erwin de Gelder , Olaf Op den Camp

This research introduces two efficient methods to estimate the collision risk of planned trajectories in autonomous driving under uncertain driving conditions. Deterministic collision checks of planned trajectories are often inaccurate or…

Robotics · Computer Science 2025-10-08 Marc Kaufeld , Johannes Betz

This study underscores the vital importance of intelligent driving functions in enhancing road safety and driving comfort. Central to our research is the challenge of obtaining sufficient test data for evaluating these functions, especially…

Robotics · Computer Science 2024-02-06 Nico Schick , Franjo Čičak

Road crashes remain a leading cause of preventable fatalities. Existing prediction models predominantly produce binary outcomes, which offer limited actionable insights for real-time driver feedback. These approaches often lack continuous…

Machine Learning · Computer Science 2026-04-01 Joyjit Roy , Samaresh Kumar Singh , Sushanta Das

We consider the problem of intelligently navigating through complex traffic. Urban situations are defined by the underlying map structure and special regulatory objects of e.g. a stop line or crosswalk. Thereon dynamic vehicles (cars,…

Robotics · Computer Science 2023-03-15 Tim Puphal , Benedict Flade , Daan de Geus , Julian Eggert