Model Predictive Control for Signal Temporal Logic Specification
Not on the map. Why?
Abstract (arXiv)
We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness. For synthesis, we encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a receding horizon control framework. We prove correctness of our algorithms, and present experimental results for controller synthesis for building energy and climate control.
Key facts. Cited by 8 papers in the map (data through 7 Oct 2026). First posted on arXiv 28 Mar 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 3; 2022: 5.
8 papers.
- 2022Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxationcited by 8
- 2022Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domainscited by 7
- 2022Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specificationscited by 5
- 2021Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specificationscited by 2
- 2021Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Schemecited by 1
- 2022Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectivescited by 1
- 2021Reinforcement Learning Agent Training with Goals for Real World Taskscited by 0
- 2022CatlNet: Learning Communication and Coordination Policies from CaTL+ Specificationscited by 0
- 2022CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications30 Nov 2022
- 2022Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives14 Oct 2022
- 2022Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications3 Oct 2022
- 2022Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains27 Sep 2022
- 2022Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation21 Jan 2022
- 2021Reinforcement Learning Agent Training with Goals for Real World Tasks21 Jul 2021
- 2021Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications6 Apr 2021
- 2021Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme25 Jan 2021