Temporal logic model predictive control
type: Item
instance of: scholarly article
title: Temporal logic model predictive control
zbMATH Open document ID: 1323.93031
author: Ebru Aydin Gol
author: Mircea Lazar
author: Calin Belta
published in: Automatica
publication date: 2015-11-05T00:00:00Z
Mathematics Subject Classification ID: 93B40
Mathematics Subject Classification ID: 93C55
Mathematics Subject Classification ID: 93C05
Mathematics Subject Classification ID: 90C25
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6505042
zbMATH Keywords: model predictive control
zbMATH Keywords: discrete-time systems
zbMATH Keywords: formal methods
zbMATH Keywords: linear temporal logic
MaRDI profile type: Publication
full work available at URL: j.automatica.2015.03.029
OpenAlex ID: W2036664528
Wikidata QID: Q58233165
cites work: Q5322945
cites work: Synthesis using approximately bisimilar abstractions
cites work: Temporal logic model predictive control for discrete-time systems
cites work: Language-Guided Controller Synthesis for Linear Systems
cites work: Model checking of safety properties
cites work: Complete abstractions of dynamical systems by timed automata
cites work: Q4418864
cites work: Temporal Logic Control of Discrete-Time Piecewise Affine Systems
DBLP publication ID: journals/automatica/GolLB15
DOI: 10.1016/J.AUTOMATICA.2015.03.029
description: scientific article; zbMATH DE number 6505042