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". 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2015), April, 2015.

Abstract
We present BluSTL, a MATLAB 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. The toolbox is available at \url{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/570.html">
    BluSTL: Controller Synthesis from Signal Temporal Logic
    Specifications</a>,  2nd International Workshop on
    Applied veRification for Continuous and Hybrid Systems (ARCH
    2015), April, 2015.
  • Plain text
    Alexandre Donze, Vasu Raman. " BluSTL: Controller
    Synthesis from Signal Temporal Logic Specifications". 
    2nd International Workshop on Applied veRification for
    Continuous and Hybrid Systems (ARCH 2015), April, 2015.
  • BibTeX
    @inproceedings{DonzeRaman15_BluSTLControllerSynthesisFromSignalTemporalLogicSpecifications,
        author = {Alexandre Donze and Vasu Raman},
        title = { BluSTL: Controller Synthesis from Signal Temporal
                  Logic Specifications},
        booktitle = { 2nd International Workshop on Applied
                  veRification for Continuous and Hybrid Systems
                  (ARCH 2015)},
        month = {April},
        year = {2015},
        abstract = {We present BluSTL, a MATLAB 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. The toolbox
                  is available at
                  \url{https://github.com/BluSTL/BluSTL}.},
        URL = {http://terraswarm.org/pubs/570.html}
    }
    

Posted by Alexandre Donze on 11 May 2015.
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.