Safety Verification and Control for Collision Avoidance at Road Intersections

12/08/2016
by   Heejin Ahn, et al.
0

This paper presents the design of a supervisory algorithm that monitors safety at road intersections and overrides drivers with a safe input when necessary. The design of the supervisor consists of two parts: safety verification and control design. Safety verification is the problem to determine if vehicles will be able to cross the intersection without colliding with current drivers' inputs. We translate this safety verification problem into a jobshop scheduling problem, which minimizes the maximum lateness and evaluates if the optimal cost is zero. The zero optimal cost corresponds to the case in which all vehicles can cross each conflict area without collisions. Computing the optimal cost requires solving a Mixed Integer Nonlinear Programming (MINLP) problem due to the nonlinear second-order dynamics of the vehicles. We therefore estimate this optimal cost by formulating two related Mixed Integer Linear Programming (MILP) problems that assume simpler vehicle dynamics. We prove that these two MILP problems yield lower and upper bounds of the optimal cost. We also quantify the worst case approximation errors of these MILP problems. We design the supervisor to override the vehicles with a safe control input if the MILP problem that computes the upper bound yields a positive optimal cost. We theoretically demonstrate that the supervisor keeps the intersection safe and is non-blocking. Computer simulations further validate that the algorithms can run in real time for problems of realistic size.

READ FULL TEXT
research
03/13/2015

Fuzzy Mixed Integer Linear Programming for Air Vehicles Operations Optimization

Multiple Air Vehicles (AVs) to prosecute geographically dispersed target...
research
03/28/2018

A Mixed-Logical-Dynamical model for Automated Driving on highways

We propose a hybrid decision-making framework for safe and efficient aut...
research
02/06/2020

A Two-Stage Optimization Approach to Safe-by-Design Planning for Autonomous Driving

Lessons learned from the increasing diversity of road trial deployments ...
research
02/27/2021

Improved Two Sample Revenue Guarantees via Mixed-Integer Linear Programming

We study the performance of the Empirical Revenue Maximizing (ERM) mecha...
research
08/28/2022

Benchmark Results for Bookshelf Organization Problem as Mixed Integer Nonlinear Program with Mode Switch and Collision Avoidance

Mixed integer convex and nonlinear programs, MICP and MINLP, are express...
research
05/15/2023

New Support Size Bounds for Integer Programming, Applied to Makespan Minimization on Uniformly Related Machines

Mixed-integer linear programming (MILP) is at the core of many advanced ...
research
02/02/2021

Development and Simulation-based Testing of a 5G-Connected Intersection AEB System

In Europe, 20 evolving communication technologies are making V2V and V2I...

Please sign up or login with your details

Forgot password? Click here to reset