Temporal logic model predictive control

DOI10.1016/J.AUTOMATICA.2015.03.029zbMath1323.93031DBLPjournals/automatica/GolLB15OpenAlexW2036664528WikidataQ58233165 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

zbMATH Keywords

discrete-time systemsformal methodsmodel predictive controllinear temporal logic

Mathematics Subject Classification ID

Convex programming (90C25) Discrete-time control/observation systems (93C55) Linear systems in control theory (93C05) Temporal logic (03B44)

Related Items (3)

Resource-aware networked control systems under temporal logic specifications ⋮ Optimal control of multi-task Boolean control networks via temporal logic ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

Cites Work

• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Temporal logic model predictive control