Software

Here we present the software and tools developed in the HCS research group. You can access each tool from the left menu or from the following list:

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.

SENSE: A tool for abstraction and symbolic-controller-synthesis of networked control systems.

SENSE is an open source toolbox for the abstraction construction and  for synthesizing symbolic controllers for networked control systems. It is mainly implemented in C++ and it comes with MATLAB and OMNET++ interfaces to access the synthesized controller and simulate the closed loop.

QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers

QUEST is an open source software tool for automated controller synthesis of incrementally input-to-state stable nonlinear control systems using state-space quantization-free approach for the construction of symbolic abstraction which can be potentially more beneficial for systems with high-dimensional state spaces. The tool is implemented in C++.