BluSTL

BluSTL

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

VO Integration: No

Active: Yes

Available Benchmarks: N/A

Website: https://github.com/BluSTL/BluSTL/

Downloads: BluSTL depends on YALMIP, which is best obtained with the Multi-Parametric Toolbox (MPT3) available here.

Most experiments have been done with the Gurobi solver as back-end, though other solvers may work as well. The solver, along with working examples can be found here.

After installing YALMIT and Gurobi, just add 'BluSTL/src' to Matlab paths.

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.

To run a test, go into 'BluSTL/examples/tutorials' and run 'tutorial1'. Note that the examples folder contains stable examples except for those located under the misc folder.

Contacts: donze@berkeley.edu, vasu@caltech.edu