Download PDFOpen PDF in browser

BluSTL: Controller Synthesis from Signal Temporal Logic Specifications

9 pagesPublished: December 17, 2015

Abstract

We present BluSTL, a MATLAB toolbox for 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.

Keyphrases: BluSTL, control, MATLAB, Mixed Integer Linear Programming, Model Predictive Control, Signal Temporal Logic, synthesis, tools

In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 160--168

Links:
BibTeX entry
@inproceedings{ARCH15:BluSTL_Controller_Synthesis_from,
  author    = {Alexandre Donz\textbackslash{}'e and Vasumathi Raman},
  title     = {BluSTL: Controller Synthesis from Signal Temporal Logic Specifications},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {160--168},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9cVk},
  doi       = {10.29007/g39q}}
Download PDFOpen PDF in browser