Model Predictive Control with Signal Temporal Logic Specifications
Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Richard Murray, Alberto Sangiovanni-Vincentelli, Sanjit Seshia

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

Citation formats  
  • 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

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.