CaltechAUTHORS
  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) http://resolver.caltech.edu/CaltechAUTHORS:20190410-120622960

[img] PDF - Submitted Version
See Usage Policy.

2585Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20190410-120622960

Abstract

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
http://arxiv.org/abs/1703.09563arXivDiscussion Paper
ORCID:
AuthorORCID
Murray, Richard M.0000-0002-5785-7481
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.
Funders:
Funding AgencyGrant Number
TerraSwarmUNSPECIFIED
STARnetUNSPECIFIED
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:http://resolver.caltech.edu/CaltechAUTHORS:20190410-120622960
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:94630
Collection:CaltechAUTHORS
Deposited By: George Porter
Deposited On:11 Apr 2019 14:37
Last Modified:11 Apr 2019 14:37

Repository Staff Only: item control page