Traffic Network Control From Temporal Logic Specifications

Coogan, Samuel
Aydın Göl, Ebru
Arcak, Murat
Belta, Calin
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.


Controlling a network of signalized intersections from temporal logical specifications
Coogan, Samuel; Aydın Göl, Ebru; Arcak, Murat; Belta, Calin (2015-07-30)
We propose a framework for generating a control policy for a traffic network of signalized intersections to accomplish control objectives expressed in linear temporal logic. Traffic management indeed calls for a rich class of objectives and offers a novel domain for these formal methods tools. We show that traffic networks possess structural properties that allow significant reduction in the time required to compute a finite state abstraction. We further extend our approach to a probabilistic framework by m...
Traffic assignment in transforming networks case study : Ankara
Zorlu, Fikret; Türel, Ali; Department of City and Regional Planning (2006)
This study investigates the relevance of dynamic traffic assignment models under uncertainty. In the last years researchers have dealt with advanced traffic control systems since road provision is not regarded as a proper solution to relieve congestion. Dynamic assignment which is an essential component of investment planning is regarded as a new research area in the field of urban transportation. In this study the performance of dynamic traffic assignment method, which incorporates time dependent flow, is ...
Command governor-based adaptive control for dynamical systems with matched and unmatched uncertainties
Yayla, Metehan; Kutay, Ali Türker (2018-08-01)
In this paper, we propose a command governor-based adaptive control architecture for stabilizing uncertain dynamical systems with not only matched but also unmatched uncertainties and achieving the desired command following performance of a user-defined subset of the accessible states. In our proposed solution, online least-squares solutions for the matched and unmatched parameters are obtained through integration method and they are employed in the adaptive control framework. Specifically, the matched unce...
Formal Control of Traffic Systems via Network Decomposition
Bardakci, Kemal Cagri; Aydın Göl, Ebru (2018-08-16)
We study the problem of synthesizing a signal control strategy for a traffic system from Linear Temporal Logic specifications. In particular, we focus on the scalability issue in the formal control of large traffic systems and propose to tackle it by decomposing the main problem into smaller problems. The developed decomposition algorithm partitions the main traffic system into subsystems and derives a specification for each subsystem from the main specification. In addition, we derive additional constraint...
Finite Horizon Online Lazy Scheduling with Energy Harvesting Transmitters over Fading Channels
Bacınoğlu, Baran Tan; Uysal, Elif (2014-07-04)
Lazy scheduling, i.e. setting transmit power and rate in response to data traffic as low as possible while satisfying delay constraints, is a known formulation of energy efficient transmission. Solutions exist for offline and infinite-horizon online versions of the problem. This paper addresses the finite horizon online transmission scheduling problem under stochastic packet arrival, energy harvesting and channel variation processes. The main contribution is a mechanism to obtain an online algorithm using e...
Citation Formats
S. Coogan, E. Aydın Göl, M. Arcak, and C. Belta, “Traffic Network Control From Temporal Logic Specifications,” IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, pp. 162–172, 2016, Accessed: 00, 2020. [Online]. Available: