Citation
Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Richard Murray, Alberto Sangiovanni-Vincentelli, Sanjit Seshia. "Model Predictive Control with Signal Temporal Logic Specifications". 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), 2014.

Abstract
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.

Electronic downloads

• https://www.src.org/library/publication/p070169/. (SRC prepublication page)
• http://dx.doi.org/10.1109/CDC.2014.7039363

• HTML

  Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Richard Murray,
  Alberto Sangiovanni-Vincentelli, Sanjit Seshia. <a
  href="http://www.terraswarm.org/pubs/309.html"
  >Model Predictive Control with Signal Temporal Logic
  Specifications</a>, 2014 IEEE 53rd Annual Conference
  on Decision and Control (CDC), 2014.

• Plain text

  Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Richard Murray,
  Alberto Sangiovanni-Vincentelli, Sanjit Seshia. "Model
  Predictive Control with Signal Temporal Logic
  Specifications". 2014 IEEE 53rd Annual Conference on
  Decision and Control (CDC), 2014.

• BibTeX

  @inproceedings{RamanDonzeMaasoumyMurraySangiovanniVincentelliSeshia14_ModelPredictiveControlWithSignalTemporalLogicSpecifications,
      author = {Vasu Raman and Alexandre Donze and Mehdi Maasoumy
                and Richard Murray and Alberto
                Sangiovanni-Vincentelli and Sanjit Seshia},
      title = {Model Predictive Control with Signal Temporal
                Logic Specifications},
      booktitle = {2014 IEEE 53rd Annual Conference on Decision and
                Control (CDC)},
      year = {2014},
      abstract = {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.},
      URL = {http://terraswarm.org/pubs/309.html}
  }
  

Posted by Richard Murray on 9 May 2014.
Groups: tools