A Caltech Library Service

Model predictive control with signal temporal logic specifications

Raman, Vasumathi and Donzé, Alexandre and Maasoumy, Mehdi and Murray, Richard M. and Sangiovanni-Vincentelli, Alberto and Seshia, Sanjit A. (2014) Model predictive control with signal temporal logic specifications. In: 53rd IEEE Conference on Decision and Control. IEEE , Piscataway, NJ, pp. 81-87. ISBN 978-1-4673-6090-6.

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item:


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

Item Type:Book Section
Related URLs:
URLURL TypeDescription ItemDiscussion Paper
Murray, Richard M.0000-0002-5785-7481
Sangiovanni-Vincentelli, Alberto0000-0003-1298-8389
Additional Information:© 2014 IEEE. This work was supported in part by TerraSwarm, one of six centers of STARnet, a Semiconductor Research Corporation program sponsored byMARCO and DARPA.
Funding AgencyGrant Number
Microelectronics Advanced Research Corporation (MARCO)UNSPECIFIED
Defense Advanced Research Projects Agency (DARPA)UNSPECIFIED
Record Number:CaltechAUTHORS:20170124-175050123
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:73687
Deposited By: Kristin Buxton
Deposited On:26 Jan 2017 00:07
Last Modified:09 Mar 2020 13:19

Repository Staff Only: item control page