SCOTS

SCOTS: A Tool for the Synthesis of Symbolic Controllers

Description: SCOTS is an open source software tool for the synthesis of symbolic controllers for possibly perturbed, nonlinear, control systems. It is mainly implemented in C++ and it comes with a small MATLAB interface to access the synthesized controller from within MATLAB.

The tool is intended to be used and extended by researches in the area of formal methods for cyber physical systems. It provides a baseline implementation of one of the most basic approaches to symbolic synthesis.

VO Integration: No

Active: Yes

Available Benchmarks: No

Website: https://www.hcs.ei.tum.de/software/scots/

Download: SCOTS gitlab repository

Documentation: Manual and tool paper.

Contact: Matthias Rungger (email) and Majid Zamani (email)

Excerpt from: https://www.hcs.ei.tum.de/software/scots/
Graphic from: https://www.hcs.ei.tum.de/fileadmin/w00bry/www/software/scots/p99-rungger.pdf