symbolic-controller

There are 2 repositories under symbolic-controller topic.

  • mkhaled87/pFaces-AMYTISS

    A tool for parallel automated controller synthesis for large-scale stochastic systems.

    Language:C++3113

  • mkhaled87/SENSE

    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.

    Language:C++3100