symbolic-controller

Here are 2 public repositories matching this topic...

mkhaled87 / pFaces-AMYTISS

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

noise parallel-algorithm hybrid-systems reactive-synthesis automated-synthesis markov-decision-process symbolic-models disturbances symbolic-controller stochastisity

Updated Mar 1, 2025
C++

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.

simulation vhdl verilog formal-methods code-generation omnetpp networked-control-systems symbolic-model symbolic-controller

Updated Dec 21, 2020
C++

Improve this page

Add a description, image, and links to the symbolic-controller topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the symbolic-controller topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

symbolic-controller

Here are 2 public repositories matching this topic...

mkhaled87 / pFaces-AMYTISS

mkhaled87 / SENSE

Improve this page

Add this topic to your repo