CaltechAUTHORS
  A Caltech Library Service

Model predictive control from signal temporal logic specifications: a case study

Raman, Vasumathi and Maasoumy, Mehdi and Donzé, Alexandre (2014) Model predictive control from signal temporal logic specifications: a case study. In: CyPhy '14 Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems. ACM , New York, NY, pp. 52-55. ISBN 978-1-4503-2871-5. https://resolver.caltech.edu/CaltechAUTHORS:20161212-173711683

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

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20161212-173711683

Abstract

This paper describes current work on framing the model predictive control (MPC) of cyber-physical systems as synthesis from signal temporal logic (STL) specifications. We provide a case study using a simplified power grid model with uncertain demand and generation; the model-predictive control problem here is that of the ancillary service power flow from the buildings. We show how various relevant constraints can be captured using STL formulas, and incorporated into an MPC framework. We also provide preliminary simulation results to illustrate the promise of the proposed approach.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
http://dx.doi.org/10.1145/2593458.2593472DOIArticle
http://dl.acm.org/citation.cfm?doid=2593458.2593472PublisherArticle
Additional Information:© 2014 ACM. 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
Microelectronics Advanced Research Corporation (MARCO)UNSPECIFIED
Defense Advanced Research Projects Agency (DARPA)UNSPECIFIED
Subject Keywords:formal synthesis, timed logics, model predictive control
Record Number:CaltechAUTHORS:20161212-173711683
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20161212-173711683
Official Citation:Vasumathi Raman, Mehdi Maasoumy, and Alexandre Donzé. 2014. Model predictive control from signal temporal logic specifications: a case study. In Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy '14). ACM, New York, NY, USA, 52-55. DOI=http://dx.doi.org/10.1145/2593458.2593472
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:72753
Collection:CaltechAUTHORS
Deposited By: Kristin Buxton
Deposited On:13 Dec 2016 02:21
Last Modified:03 Oct 2019 16:20

Repository Staff Only: item control page