Synthesis of Formal Control Strategies for Traffic Networks via Partitioning


Bardakci K. C., AYDIN GÖL E.

25th Signal Processing and Communications Applications Conference (SIU), Antalya, Türkiye, 15 - 18 Mayıs 2017 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1109/siu.2017.7960601
  • Basıldığı Şehir: Antalya
  • Basıldığı Ülke: Türkiye
  • Anahtar Kelimeler: Linear Temporal Logic, formal control, traffic control
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

The aim of this paper is to produce control strategies for a large vehicular traffic network model of signalized intersections from Linear Temporal Logic specifications. For this purpose, abstraction and formal control techniques which ensure the correctness of synthesized control strategies are utilized. In addition, in order to solve the scalability problem encountered in formal control of dynamic systems, novel network partitioning methods are developed. The proposed methods guarantee that if each sub-network satisfy its specifications, then the overall traffic system also satisfies overall specifications. The developed methods allow us to produce control strategies for large traffic networks by solving generated sub-problems in parallel.