Model Predictive Control from Signal Temporal Logic Specifications: A Case Study (Work in Progress)
Vasu Raman, Alexandre Donze, Mehdi Maasoumy

Citation
Vasu Raman, Alexandre Donze, Mehdi Maasoumy. "Model Predictive Control from Signal Temporal Logic Specifications: A Case Study (Work in Progress)". Fourth Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'14), 2014.

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 un certain 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.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Vasu Raman, Alexandre Donze, Mehdi Maasoumy. <a
  href="http://www.terraswarm.org/pubs/293.html"
  >Model Predictive Control from Signal Temporal Logic
  Specifications: A Case Study (Work in Progress)</a>,
  Fourth Workshop on Design, Modeling and Evaluation of Cyber
  Physical Systems (CyPhy'14), 2014.

• Plain text

  Vasu Raman, Alexandre Donze, Mehdi Maasoumy. "Model
  Predictive Control from Signal Temporal Logic
  Specifications: A Case Study (Work in Progress)".
  Fourth Workshop on Design, Modeling and Evaluation of Cyber
  Physical Systems (CyPhy'14), 2014.

• BibTeX

  @inproceedings{RamanDonzeMaasoumy14_ModelPredictiveControlFromSignalTemporalLogicSpecifications,
      author = {Vasu Raman and Alexandre Donze and Mehdi Maasoumy},
      title = {Model Predictive Control from Signal Temporal
                Logic Specifications: A Case Study (Work in
                Progress)},
      booktitle = {Fourth Workshop on Design, Modeling and Evaluation
                of Cyber Physical Systems (CyPhy'14)},
      year = {2014},
      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 un
                certain 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.},
      URL = {http://terraswarm.org/pubs/293.html}
  }
  

Posted by Vasu Raman on 1 Apr 2014.
Groups: tools