BluSTL: Controller Synthesis from Signal Temporal Logic Specifications
Alexandre Donze, Vasu Raman

Citation
Alexandre Donze, Vasu Raman. "BluSTL: Controller Synthesis from Signal Temporal Logic Specifications". Tutorial, 1, September, 2015.

Abstract
When designing a controller for a Cyber-Physical System, one would like to provide some formal guarantees of correctness against some specifications. However, this is made difficult by the gap between existing specification languages and the control objectives considered by control expert actually implementing the desired controller. Mapping the former, which can be as high level as plain English, to the latter, expressed usually as mathematical constraints, is often a manual and tedious process not always reliable nor reversible. To alleviate this difficulty, we developed BluSTL, a toolbox for automatically generating controllers from specifications written in Signal Temporal Logic (STL). The toolbox takes as input a system and a set of constraints expressed in STL and constructs an open-loop or a closed-loop (in a receding horizon or Model Predictive fashion) controller that enforces these constraints on the system while minimizing some cost function. The controller can also be made reactive or robust to some external input or disturbances. We present experimental results for controller synthesis for building energy, climate control and autonomous vehicles. The toolbox is available at https://github.com/BluSTL/BluSTL.

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

  Alexandre Donze, Vasu Raman. <a
  href="http://www.terraswarm.org/pubs/604.html"
  ><i>BluSTL: Controller Synthesis from Signal
  Temporal Logic Specifications</i></a>, Tutorial,
   1, September, 2015.

• Plain text

  Alexandre Donze, Vasu Raman. "BluSTL: Controller
  Synthesis from Signal Temporal Logic Specifications".
  Tutorial,  1, September, 2015.

• BibTeX

  @tutorial{DonzeRaman15_BluSTLControllerSynthesisFromSignalTemporalLogicSpecifications,
      author = {Alexandre Donze and Vasu Raman},
      title = {BluSTL: Controller Synthesis from Signal Temporal
                Logic Specifications},
      day = {1},
      month = {September},
      year = {2015},
      abstract = { When designing a controller for a Cyber-Physical
                System, one would like to provide some formal
                guarantees of correctness against some
                specifications. However, this is made difficult by
                the gap between existing specification languages
                and the control objectives considered by control
                expert actually implementing the desired
                controller. Mapping the former, which can be as
                high level as plain English, to the latter,
                expressed usually as mathematical constraints, is
                often a manual and tedious process not always
                reliable nor reversible. To alleviate this
                difficulty, we developed BluSTL, a toolbox for
                automatically generating controllers from
                specifications written in Signal Temporal Logic
                (STL). The toolbox takes as input a system and a
                set of constraints expressed in STL and constructs
                an open-loop or a closed-loop (in a receding
                horizon or Model Predictive fashion) controller
                that enforces these constraints on the system
                while minimizing some cost function. The
                controller can also be made reactive or robust to
                some external input or disturbances. We present
                experimental results for controller synthesis for
                building energy, climate control and autonomous
                vehicles. The toolbox is available at
                https://github.com/BluSTL/BluSTL. },
      URL = {http://terraswarm.org/pubs/604.html}
  }
  

Posted by Barb Hoversten on 13 Aug 2015.
Groups: tools