Traffic network control from temporal logic specifications

Date Issued
2016-06Publisher Version
10.1109/TCNS.2015.2428471Author(s)
Coogan, Samuel
Gol, Ebru Aydin
Arcak, Murat
Belta, Calin
Metadata
Show full item recordPermanent Link
https://hdl.handle.net/2144/29737Citation (published version)
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta. 2016. "Traffic Network Control From Temporal Logic Specifications." IEEE Transactions on Control of Network Systems, v. 3, issue 2, pp. 162 - 172.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.
Collections