Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances

DOI10.1109/TAC.2018.2880651zbMath1482.93346arXiv1705.02152OpenAlexW2963931816WikidataQ128878921 ScholiaQ128878921MaRDI QIDQ5228316

Samira S. Farahani, Sadegh Soudjani, Vinayak S. Prabhu, Rupak Majumdar

Publication date: 12 August 2019

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1705.02152

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Optimality conditions for problems involving randomness (49K45) Computational methods for problems pertaining to systems and control theory (93-08)

Related Items (4)

Data-driven verification of stochastic linear systems with signal temporal logic constraints ⋮ Optimal control of multi-task Boolean control networks via temporal logic ⋮ Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances