Safety Verification and Control for Collision Avoidance at Road Intersections

DOI10.1109/TAC.2017.2729661zbMath1390.90195arXiv1612.02795OpenAlexW2950962171MaRDI QIDQ4567112

Domitilla Del Vecchio, Heejin Ahn

Publication date: 27 June 2018

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.02795

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Traffic problems in operations research (90B20) Attainable sets, reachability (93B03)

Related Items (3)

Autonomous traffic at intersections: An optimization‐based analysis of possible time, energy, and CO savings ⋮ From drinking philosophers to asynchronous path-following robots ⋮ Mixed-integer nonlinear and continuous optimization formulations for aircraft conflict avoidance via heading and speed deviations

This page was built for publication: Safety Verification and Control for Collision Avoidance at Road Intersections