Traffic Network Control From Temporal Logic Specifications

Download

index.pdf

Date

2016-06-01

Author

Coogan, Samuel
Aydın Göl, Ebru
Arcak, Murat
Belta, Calin

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

182
views

0
downloads

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.

Subject Keywords

Transportation networks, linear temporal logic, Finite state abstraction

URI

https://hdl.handle.net/11511/32754

Journal

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS

DOI

https://doi.org/10.1109/tcns.2015.2428471

Collections

Department of Computer Engineering, Article

Suggestions

OpenMETU
Core

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: https://hdl.handle.net/11511/32754.