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.
|Titel||12th ITS European Congress : Strasbourg, France, 19-22 June 2017|
|Forlag||ERTICO - ITS Europe|
|Status||Udgivet - 2017|
|Begivenhed||12th ITS European Congress: ITS Beyond Borders - Strasbourg, Frankrig|
Varighed: 19 jun. 2017 → 22 jun. 2017
Konferencens nummer: 12
|Konference||12th ITS European Congress|
|Periode||19/06/2017 → 22/06/2017|
- Traffic lights
- Model checking
- Machine learning