Work

Controlling a network of signalized intersections from temporal logical specifications

Year: 2015

Type: conference-paper

Abstract: 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.

Source: Proceedings of the ... American Control Conference/Proceedings of the American Control Conference

DOI: 10.1109/acc.2015.7171941

Authors: Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta

Institution: Boston University

Language: English

Topic: Traffic control and management

Subfield: Control and Systems Engineering

Field: Engineering

Domain: Physical Sciences

SDGs: Sustainable cities and communities, Industry, innovation and infrastructure

Open Access status: green

OpenAlex ID: W2152243886

FWCI: 4.627

Cites: 20

Cited by: 15

Related to: 10