Traffic Network Control From Temporal Logic Specifications


Creative Commons License

Coogan S., AYDIN GÖL E., Arcak M., Belta C.

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, vol.3, no.2, pp.162-172, 2016 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 3 Issue: 2
  • Publication Date: 2016
  • Doi Number: 10.1109/tcns.2015.2428471
  • Journal Name: IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.162-172
  • Keywords: Finite state abstraction, linear temporal logic, transportation networks
  • Middle East Technical University Affiliated: Yes

Abstract

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.