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

109
views

0
downloads

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

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.