A Distributed inVANETs-Based Intersection Traffic Control Algorithm

Recently, smart traffic control at intersections became an important issue which has resulted in many researchers investigating intelligent transportation systems using smart vehicles. In particular, the traditional traffic light and trajectory maneuver are inefficient, inflexible and costly. In this work, we improve the distributed inVANETs-based Intersection Traffic Control Algorithm that is developed by Wu et al. (EEE Trans Parallel Distrib Syst 26:65–74, 2015) [2], and we make it more efficient and adaptable to realistic traffic scenarios. The intersection control is purely distributed, and vehicles compete in getting the privilege to pass the intersection via message exchange by using vehicle to vehicle communication (V2V). A proof of correctness is provided that explains how the improved algorithm satisfies the correctness properties of the vehicle mutual exclusion for intersection (VMEI) problem.