Optimization-based Heuristic for Vehicle Dynamic Coordination in Mixed Traffic Intersections
Muhammad Faris, Mario Zanon, Paolo Falcone
TL;DR
This work addresses safe, real-time crossing-order coordination for mixed CAV/HDV traffic at unsignalized intersections by transforming the original MIQP into a tractable optimization-based heuristic. It seeds the process with a one-time MIQP to obtain an initial order, then uses a consistency check to identify potential adjacent swaps and fixes the evaluation to fixed-order QPs (FO-QPs) via a depth-first cost comparison, incorporating horizon-based safety. Results show the heuristic delivers reductions in computation time by roughly two to four hundred times compared to full MIQPs, while achieving near-optimal trajectories and improved order consistency, even under HDV disturbances. The approach enables practical real-time deployment of mixed-traffic intersection coordination as CAV penetration grows and HDV behavior remains uncertain, with clear avenues for extending to higher traffic densities and nonlinear dynamics.
Abstract
In this paper, we address a coordination problem for connected and autonomous vehicles (CAVs) in mixed traffic settings with human-driven vehicles (HDVs). The main objective is to have a safe and optimal crossing order for vehicles approaching unsignalized intersections. This problem results in a mixed-integer quadratic programming (MIQP) formulation which is unsuitable for real-time applications. Therefore, we propose a computationally tractable optimization-based heuristic that monitors platoons of CAVs and HDVs to evaluate whether alternative crossing orders can perform better. It first checks the future constraint violation that consistently occurs between pairs of platoons to determine a potential swap. Next, the costs of quadratic programming (QP) formulations associated with the current and alternative orders are compared in a depth-first branching fashion. In simulations, we show that the heuristic can be a hundred times faster than the original and simplified MIQPs and yields solutions that are close to optimal and have better order consistency.
