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.