Coordinated Intelligent Traffic Lights using Uppaal Stratego

B, Thamilselvam and Kalyanasundaram, Subrahmanyam and Rao, M V Panduranga (2019) Coordinated Intelligent Traffic Lights using Uppaal Stratego. In: 11th International Conference on Communication Systems and Networks, COMSNETS 2019, 7-11 January 2019, Bengaluru,India.

Full text not available from this repository. (Request a copy)


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 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.

[error in script]
IITH Creators:
IITH CreatorsORCiD
Rao, M V PandurangaUNSPECIFIED
Kalyanasundaram, SubrahmanyamUNSPECIFIED
Item Type: Conference or Workshop Item (Paper)
Subjects: Computer science
Divisions: Department of Computer Science & Engineering
Depositing User: Team Library
Date Deposited: 17 Jun 2019 09:41
Last Modified: 17 Jun 2019 09:41
Publisher URL:
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 5484 Statistics for this ePrint Item