Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
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
195
views
0
downloads
Cite This
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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
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.