SCOTS: A Tool for the Synthesis of Symbolic Controllers


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.

Download

Get the latest version of SCOTS from SCOTS gitlab repository
Usage and installation notes are found in the manual.

Tool Paper

SCOTS: A Tool for the Synthesis of Symbolic Controllers
M. Rungger and M. Zamani
Presented at HSCC 2016, doi: 10.1145/2883817.2883834pdf