Uppaal Stratego for Intelligent Traffic Lights

Modern traffic lights use information from induction loops and to some extend radar information. Recent developments in radar technology has made it possible to obtain more detailed information relevant to the control mechanism of the traffic light. Unfortunately much of the current controllers do not profit from this additional information. Using this information could minimize waiting times and energy waste.
Uppaal Stratego is a tool that combines machine learning and model checking techniques to synthesize near optimal control strategies. The tool has been applied successfully to several case studies e.g. battery optimization in satellites, safe and optimal cruise control and optimal floor heating controlling.
In this work we use Uppaal Stratego as an on-line controller for a signalised intersection. Our controller reads the current data from the radar sensors and effectively uses it to learn a near optimal controller at each control step. Our experiments report considerable reduction in the waiting times.