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 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 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 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++.