Language-Guided Controller Synthesis for Linear Systems
From MaRDI portal
Publication:2983163
DOI10.1109/TAC.2013.2295664zbMath1360.93424WikidataQ58233173 ScholiaQ58233173MaRDI QIDQ2983163
Calin Belta, Ebru Aydin Gol, Mircea Lazar
Publication date: 16 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Temporal logic model predictive control ⋮ Compositional abstraction refinement for control synthesis ⋮ Event-driven optimal control for a robotic exploration, pick-up and delivery problem ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications