Traffic Network Control From Temporal Logic Specifications

DOI10.1109/TCNS.2015.2428471MaRDI QIDQ5358494zbMATH OpenOpenAlexWikidataFDO

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

Publication date 21 September 2017

Published in IEEE Transactions on Control of Network Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1408.1437

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Abstract: 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 abstraction. In particular, traffic networks exhibit a componentwise monotonicity property which allows reach set computations that scale linearly with the dimension of the continuous state space.

Cited in

(7)

• Lazy controller synthesis for monotone transition systems and directed safety specifications
• An automated system repair framework with signal temporal logic
• Resource-aware networked control systems under temporal logic specifications
• Design of traffic safety control systems for railroads and roadways using timed Petri nets
• Data‐driven predictive control for a class of uncertain control‐affine systems
• Robust satisfaction of metric interval temporal logic objectives in adversarial environments
• State estimation via Markov switching-channel network and application to suspension systems

This page was built for publication: Traffic Network Control From Temporal Logic Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5358494)