Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models

DOI10.1109/MCS.2016.2643259zbMath1477.93149OpenAlexW2595217965MaRDI QIDQ5019360

Arcak, Murat, Samuel Coogan, Calin Belta

Publication date: 10 January 2022

Published in: IEEE Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/mcs.2016.2643259

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Synthesis problems (93B50) Traffic problems in operations research (90B20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Characterization, verification and computation of robust controlled invariants for monotone dynamical systems ⋮ A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications ⋮ Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control

This page was built for publication: Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models