Traffic Network Control From Temporal Logic Specifications

DOI10.1109/TCNS.2015.2428471zbMath1370.68198arXiv1408.1437OpenAlexW3104654558WikidataQ58233158 ScholiaQ58233158MaRDI QIDQ5358494

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

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)

Related Items (4)

An automated system repair framework with signal temporal logic ⋮ Resource-aware networked control systems under temporal logic specifications ⋮ Data‐driven predictive control for a class of uncertain control‐affine systems ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications

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