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
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
148
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
Conference Name
American Control Conference
Collections
Department of Computer Engineering, Conference / Seminar
Suggestions
OpenMETU
Core
Traffic Network Control From Temporal Logic Specifications
Coogan, Samuel; Aydın Göl, Ebru; Arcak, Murat; Belta, Calin (2016-06-01)
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 abstract...
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...
Control of a differentially driven mobile robot using radial basis function based neural networks
Bayar, Gökhan; Konukseven, Erhan İlhan; Buǧra Koku, A. (2008-12-01)
This paper proposes the use of radial basis function neural networks approach to the solution of a mobile robot orientation adjustment using reinforcement learning. In order to control the orientation of the mobile robot, a neural network control system has been constructed and implemented. Neural controller has been charged to enhance the control system by adding some degrees of award. Making use of the potential of neural networks to learn the relationships, the desired reference orientation and the error...
Feedback motion planning of unmanned underwater vehicles via random sequential composition
Ege, Emr; Orguner, Umut; Department of Electrical and Electronics Engineering (2019)
In this thesis, we propose a new motion planning method to robustly and computationally efficiently solve (probabilistic) coverage, path planning, and navigation problems for unmanned underwater vehicles (UUVs). Our approach is based on synthesizing two existing methodologies: sequential decomposition of dynamic behaviors and rapidly exploring random trees. The main motivation for this integrated solution is a robust feed-back based and computationally feasible motion planning and navigation algorithm that ...
Analysis of local sectoral policies via system dynamics approach: the case of Alanya tourism sector
Dumbar, Burcu; Sayın, Erol; Department of Industrial Engineering (2009)
The purpose of this work is indicating System Dynamics Approach to be an appropriate tool for analysis of policies suggested for local sectors. Local sectors are very important for stability of the country’s economy as well as welfare of the local community. Therefore, feasible and effective policies should be created and implemented in order to contribute to the local sectoral development. But before any policy implementation, policy analysis is required on to evaluate whether effectiveness and feasibility...
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.