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

16
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

Collections

Department of Computer Engineering, Conference / Seminar