Safety Verification and Control for Collision Avoidance at Road Intersections
Name
TACSubmissionHeejin.pdf
Size
1.16 MB
Format
Adobe PDF
Checksum (MD5)
c163fb9b69cabe2268b4b9f7c442a061
Author(s)
Ahn, Heejin
Del Vecchio, Domitilla
Date Issued
July 2017
Journal
IEEE Transactions on Automatic Control
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
Ahn, Heejin, and Domitilla Del Vecchio. “Safety Verification and Control for Collision Avoidance at Road Intersections.” IEEE Transactions on Automatic Control 63, no. 3 (March 2018): 630–642. © 2018 Institute of Electrical and Electronics Engineers (IEEE)
Version
Original manuscript
Abstract
This paper presents a supervisory algorithm that prevents side collisions among vehicles at an intersection by taking control of vehicles when necessary. Based on the vehicles' current state and drivers' desired inputs, the supervisor verifies whether there exists an input signal with which vehicles can cross the intersection without collision. Instead of directly searching for the existence of such an input signal, we solve an equivalent jobshop scheduling problem, which leads to a more tractable solution. The jobshop scheduling problem determines the existence of a schedule, i.e., times at which vehicles can enter conflict areas within an intersection, such that vehicles do not meet in any conflict area. This problem is approximately solved via two mixed integer linear programming problems formulated for simplified vehicle dynamics. The solutions to these problems provide over- and underapproximations of the solution to the jobshop scheduling problem with quantified approximation bounds. We theoretically demonstrate that this supervisor keeps the intersection safe and is nonblocking. Computer simulations further validate that the algorithm can run in real time for problems of realistic size.
MIT Department
Massachusetts Institute of Technology. Department of Mechanical Engineering
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/TAC.2017.2729661
