An Adaptable inVANETs-Based Intersection Traffic Control Algorithm

With the recent advances in intelligent vehicular ad-hoc networks (inVANETs), the traditional traffic control problem at intersections is being revisited to cope with the future intelligent transportation systems. The traditional traffic light scheduling, the recently developed artificial-intelligence-based traffic control approaches, or the trajectory maneuver remain all either inaccurate, inflexible, inefficient, or costly. In this paper, we improve the inVANETs-based intersection control algorithm, developed by Wu et al. in [1], by making it more adaptable to realistic traffic scenarios and traffic bottlenecks or accidents. The intersection control and the coordination among the vehicles are implemented via message passing using vehicle to vehicle (V2V) communications. The vehicles can rely on V2V or vehicle to infrastructure communications to compete for the privilege to cross the intersection providing hence a more flexible and adaptable approach. A proof of correctness is provided to show that the proposed solution satisfies the properties of safety, liveness, and fairness of the vehicle mutual exclusion for intersections (VMEI) problem.