Abstract: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 the complexity of the problem. Currently, there is an increasing interest in hybrid design solutions, integrating machine learning components, when necessary, while using model-based components for goal management and planning. We study a method for building safe by design autonomous driving systems, based on the assumption that the capability to drive boils down to the coordinated execution of a given set of driving operations. The assumption is substantiated by a compositionality result considering that autopilots are dynamic systems receiving a small number of types of vistas as input, each vista defining a free space in its neighborhood. It is shown that safe driving for each type of vista in the corresponding free space, implies safe driving for any possible scenario under some easy-to-check conditions concerning the transition between vistas. The designed autopilot comprises distinct control policies one per type of vista, articulated in two consecutive phases. The first phase consists of carefully managing a potentially risky situation by virtually reducing speed, while the second phase consists of exiting the situation by accelerating. The autopilots designed use for their predictions simple functions characterizing the acceleration and deceleration capabilities of the vehicles. They cover the main driving operations, including entering a main road, overtaking, crossing intersections protected by traffic lights or signals, and driving on freeways. The results presented reinforce the case for hybrid solutions that incorporate mathematically elegant and robust decision methods that are safe by design.

Using Knowledge Awareness to improve Safety of Autonomous Driving

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces

A Shared Control Approach for Autonomous Vehicles via Driver Behaviors Learning

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers

Adaptive robust control algorithm for enhanced path-tracking performance of automated driving in critical scenarios

Deception Game: Closing the Safety-Learning Loop in Interactive Robot Autonomy

Automatic AI controller that can drive with confidence: steering vehicle with uncertainty knowledge

On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions

On Infusing Reachability-Based Safety Assurance within Planning Frameworks for Human-Robot Vehicle Interactions

A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems

Towards Knowledge-driven Autonomous Driving

A Safe Control Architecture Based on a Model Predictive Control Supervisor for Autonomous Driving

Safe by Design Autonomous Driving Systems

ISAACS: Iterative Soft Adversarial Actor-Critic for Safety

Toward model-free safety-critical control with humans in the loop

Reachability-Based Decision-Making for Autonomous Driving: Theory and Experiments

Knowledge Distillation-Based Edge-Decision Hierarchies for Interactive Behavior-Aware Planning in Autonomous Driving System

Connecting the Dots: Context-Driven Motion Planning Using Symbolic Reasoning

Safety-Aware Preference-Based Learning for Safety-Critical Control

Providing Safety Assurances for Systems with Unknown Dynamics

Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis