SENSE (Symbolic controlEr Networked SystEms) is a C++ toolbox for constructing symbolic abstractions as well as synthesizing symbolic controllers for networked control systems. The tool has MATLAB and OMNet++ interfaces for closed loop simulation.
Primary LanguageC++BSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause