Temporal logic model predictive control
From MaRDI portal
Publication:889006
DOI10.1016/j.automatica.2015.03.029zbMath1323.93031WikidataQ58233165 ScholiaQ58233165MaRDI QIDQ889006
Ebru Aydin Gol, Calin Belta, Mircea Lazar
Publication date: 5 November 2015
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2015.03.029
90C25: Convex programming
93C55: Discrete-time control/observation systems
93C05: Linear systems in control theory
03B44: Temporal logic
Related Items
Cites Work
- Complete abstractions of dynamical systems by timed automata
- Language-Guided Controller Synthesis for Linear Systems
- Synthesis using approximately bisimilar abstractions
- Temporal logic model predictive control for discrete-time systems
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems
- Model checking of safety properties
- Unnamed Item
- Unnamed Item