Uppaal Stratego for Intelligent Traffic Lights

Andreas Berre Eriksen, Chao Huang, Jan Kildebogaard, Harry Spaabæk Lahrmann, Kim Guldstrand Larsen, Marco Muniz, Jakob Haahr Taankvist

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review


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.
Titel12th ITS European Congress : Strasbourg, France, 19-22 June 2017
Antal sider10
ForlagERTICO - ITS Europe
StatusUdgivet - 2017
Begivenhed12th ITS European Congress: ITS Beyond Borders - Strasbourg, Frankrig
Varighed: 19 jun. 201722 jun. 2017
Konferencens nummer: 12


Konference12th ITS European Congress


  • Traffic lights
  • Model checking
  • Machine learning
  • Optimization

Fingeraftryk Dyk ned i forskningsemnerne om 'Uppaal Stratego for Intelligent Traffic Lights'. Sammen danner de et unikt fingeraftryk.