Traffic Network Control From Temporal Logic Specifications
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, cilt.3, sa.2, ss.162-172, 2016 (SCI-Expanded, Scopus)
- Yayın Türü: Makale / Tam Makale
- Cilt numarası: 3 Sayı: 2
- Basım Tarihi: 2016
- Doi Numarası: 10.1109/tcns.2015.2428471
- Dergi Adı: IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
- Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Sayfa Sayıları: ss.162-172
- Anahtar Kelimeler: Finite state abstraction, linear temporal logic, transportation networks
- Açık Arşiv Koleksiyonu: AVESİS Açık Erişim Koleksiyonu
- Orta Doğu Teknik Üniversitesi Adresli: Evet
Özet
We propose a framework for generating a signal control policy for a traffic network of signalized intersections to accomplish control objectives expressible using linear temporal logic. By applying techniques from model checking and formal methods, we obtain a correct-by-construction controller that is guaranteed to satisfy complex specifications. To apply these tools, we identify and exploit structural properties particular to traffic networks that allow for efficient computation of a finite-state abstraction. In particular, traffic networks exhibit a componentwise monotonicity property which enables reaching set computations that scale linearly with the dimension of the continuous state space.