A Caltech Library Service

Model Predictive Control for Signal Temporal Logic Specification

Raman, Vasumathi and Donzé, Alexandre and Maasoumy, Mehdi and Murray, Richard M. and Sangiovanni-Vincentelli, Alberto and Seshia, Sanjit A. (2017) Model Predictive Control for Signal Temporal Logic Specification. . (Unpublished)

[img] PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


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.

Item Type:Report or Paper (Discussion Paper)
Related URLs:
URLURL TypeDescription Paper ItemConference Paper
Murray, Richard M.0000-0002-5785-7481
Sangiovanni-Vincentelli, Alberto0000-0003-1298-8389
Additional Information:This work was supported in part by TerraSwarm, one of six centers of STARnet, a Semiconductor Research Corporation program sponsored by MARCO and DARPA.
Funding AgencyGrant Number
Semiconductor Research CorporationUNSPECIFIED
Microelectronics Advanced Research Corporation (MARCO)UNSPECIFIED
Defense Advanced Research Projects Agency (DARPA)UNSPECIFIED
Subject Keywords:formal synthesis, timed logics, model predictive control, cyberphysical systems
Record Number:CaltechAUTHORS:20190410-120622960
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:94630
Deposited By: George Porter
Deposited On:11 Apr 2019 14:37
Last Modified:09 Mar 2020 13:19

Repository Staff Only: item control page