Controlling a network of signalized intersections from temporal logical specifications

2015-07-30
Coogan, Samuel
Aydın Göl, Ebru
Arcak, Murat
Belta, Calin
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.

Suggestions

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 ...
An Interactive partitioning approach for multiobjective decision making under a general monotone utility function
Karasakal, Esra (2013-09-01)
We develop an interactive partitioning approach for solving the multiobjective decision making problem of a decision maker (DM) who has an implicit general monotone utility function. The approach reduces feasible solution space using the DM's preferences. Hypothetical solutions called partition ideals (PIs) that dominate portions of the efficient frontier are generated and those that are inferior to a feasible solution are used to eliminate the dominated regions. We investigate the issues in representation ...
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.