Skip to main content
Open Access Publications from the University of California

Model Predictive Control with Signal Temporal Logic Specifications


We present a mathematical programming-based method for model predictive control of discrete-time cyberphysical 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 model predictive control framework. We present experimental results for controller synthesis for building energy and climate control.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View