Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Videos
Videos
Thesis submission
Thesis submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Contact us
Contact us
Controlling a network of signalized intersections from temporal logical specifications
Date
2015-07-30
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
10
views
0
downloads
Cite This
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 modeling the traffic dynamics as a Markov Decision Process.
Subject Keywords
Vehicles
,
Vehicle dynamics
,
Approximation methods
,
Trajectory
,
Computational modeling
,
Probabilistic logic
URI
https://hdl.handle.net/11511/36977
DOI
https://doi.org/10.1109/acc.2015.7171941
Collections
Department of Computer Engineering, Conference / Seminar
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
S. Coogan, E. Aydın Göl, M. Arcak, and C. Belta, “Controlling a network of signalized intersections from temporal logical specifications,” presented at the American Control Conference, Chicago, IL, 2015, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/36977.