BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signal Temporal Logic.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
doc DOC: updated docs Mar 11, 2015
examples moving experimental examples in a misc folder Feb 7, 2016
src
.gitignore
BluSTL_tutorial.pdf
LICENSE added BSD 3-clause license May 9, 2015
README.md README update Feb 7, 2016

README.md

BluSTL

BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signal Temporal Logic.

Installing

BluSTL depends on YALMIP, which is best obtained with the Multi-Parametric Toolbox, or MPT3, see http://control.ee.ethz.ch/~mpt/3/Main/Installation.

Most experiments have been done with the Gurobi solver as back-end, though other solvers might work as well. For the example to work without modifications though, Gurobi needs to be installed and configured for Matlab. See http://www.gurobi.com.

Once YALMIP (or MPT3), the only thing to do is to add the path BluSTL/src to Matlab paths.

Testing

Go into BluSTL/examples/tutorials and run tutorial1. Note that the examples folder contains stable examples except for those located under the misc folder.

Documentation

The file BluSTL/BluSTL_tutorial.pdf describes some theoretical background with references. In addition to that, the file BluSTL/doc/index.html links to documentation generated from the Matlab code.

Contact us

Questions are to be addressed to donze@berkeley.edu or vasu@caltech.edu.