Coordinated Intelligent Traffic Lights using Uppaal Stratego

Automatic decision making in traffic signal controllers, semi-automated assistance to drivers, accident detection and response, anti-collision measures in autonomous driving etc., are relatively new applications in Intelligent Transport Systems (ITS). Recent developments in radar and sensor technology coupled with algorithmic and software advances brings ITS closer to realization. In this paper, we extend the work of Ericksen et. al., 'Uppaal Stratego for Intelligent Traffic Lights', in Proc. of the 12th Int. Conf. on ITS European Congress, 2017, France where they use a tool called UPPAAL STRATEGO to synthesize traffic light timing strategies through statistical model checking and machine learning. While Ericksen et.al. consider a single traffic light controller at an isolated intersection, we consider coordination between the controllers at two traffic intersections by providing a 'green wave' in the heavily congested direction which reduces the overall waiting time of cars and queue length. Our experimental results show a significant improvement over uncoordinated isolated traffic light controllers in terms of the waiting time of cars and providing a new functionality of the controller such as giving a green wave