Safety verification and control for collision avoidance at road intersections
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mechanical Engineering, 2018.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/119339 |
| _version_ | 1826207372448628736 |
|---|---|
| author | Ahn, Heejin |
| author2 | Domitilla Del Vecchio. |
| author_facet | Domitilla Del Vecchio. Ahn, Heejin |
| author_sort | Ahn, Heejin |
| collection | MIT |
| description | Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mechanical Engineering, 2018. |
| first_indexed | 2024-09-23T13:48:18Z |
| format | Thesis |
| id | mit-1721.1/119339 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T13:48:18Z |
| publishDate | 2018 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/1193392019-04-12T23:16:25Z Safety verification and control for collision avoidance at road intersections Ahn, Heejin Domitilla Del Vecchio. Massachusetts Institute of Technology. Department of Mechanical Engineering. Massachusetts Institute of Technology. Department of Mechanical Engineering. Mechanical Engineering. Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mechanical Engineering, 2018. Cataloged from PDF version of thesis. Includes bibliographical references (pages 145-149). Car crashes cause a large number of fatalities and injuries, with about 33,000 people killed and 2.3 million injured in the United States every year. To prevent car crashes, the government and automotive companies have taken initiatives to develop and deploy communications among vehicles and between vehicles and infrastructure. By using such communications, we design centralized coordinators at road intersections, called supervisors, that monitor the dynamical state of vehicles and the current input of drivers and override them if necessary to prevent a collision. The primary technical problem in the design of such systems is to determine if the current drivers' input will cause an unavoidable future collision, in which case the supervisor must override the drivers at the current time to prevent the collision. This problem is called safety verification problem which is known to be computationally intractable for general dynamical systems. Our approach to solving the safety verification problem is to translate it to a computationally more tractable scheduling problem. When modeling an intersection as a single conflict area inside which the paths of vehicles intersect, we exactly solve the scheduling problem with algorithms that can handle a small number of vehicles in real-time. For a larger number of vehicles or with more complex intersection models, we approximately solve it within quantified approximation bounds by using mixed integer linear programming (MILP) formulations that, despite the combinatorial complexity, can be solved in real-time by available software such as CPLEX. Based on the solutions to the safety verification problem, we design a supervisor and prove that it ensures safety and is nonblocking, another major challenge of verification-based algorithms. We validate the supervisor using computer simulations and experiments. by Heejin Ahn. Ph. D. 2018-11-28T15:43:52Z 2018-11-28T15:43:52Z 2018 2018 Thesis http://hdl.handle.net/1721.1/119339 1065526064 eng MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission. http://dspace.mit.edu/handle/1721.1/7582 149 pages application/pdf Massachusetts Institute of Technology |
| spellingShingle | Mechanical Engineering. Ahn, Heejin Safety verification and control for collision avoidance at road intersections |
| title | Safety verification and control for collision avoidance at road intersections |
| title_full | Safety verification and control for collision avoidance at road intersections |
| title_fullStr | Safety verification and control for collision avoidance at road intersections |
| title_full_unstemmed | Safety verification and control for collision avoidance at road intersections |
| title_short | Safety verification and control for collision avoidance at road intersections |
| title_sort | safety verification and control for collision avoidance at road intersections |
| topic | Mechanical Engineering. |
| url | http://hdl.handle.net/1721.1/119339 |
| work_keys_str_mv | AT ahnheejin safetyverificationandcontrolforcollisionavoidanceatroadintersections |