Software

Here, we present the software and tools developed in the HyConSys lab. You can access each tool 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: Abstraction-Based Synthesis of Networked Control Systems

SENSE is an open source framework 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.
SENSE has many helper tools to facilitate the analysis of the resulting symbolic models and the synthesized symbolic controllers. One particular tool allows for the automatic code generation of the resulting symbolic controllers.

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