GitHub topics: controller-synthesis
probing-lab/HyperPAYNT
Synthesizing controllers for Probabilistic HyperProperties on MDPs.
Language: C++ - Size: 144 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
Kiguli/IMPaCT
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs).
Language: C++ - Size: 21.9 MB - Last synced at: 28 days ago - Pushed at: 5 months ago - Stars: 11 - Forks: 0
nightly/pcs
Process Controller Synthesis using Labelled Transition Systems
Language: C++ - Size: 370 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 3
tzanis-anevlavis/cis2m
Controlled Invariant Sets in Two Moves
Language: MATLAB - Size: 116 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 11 - Forks: 4
umangm/realsyn
Automated Controller Synthesis
Language: Python - Size: 1.55 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 13 - Forks: 5
sichkar-valentyn/Synthesis_SS_Controller
Synthesis of SS Controller in Matlab using Simulink
Language: MATLAB - Size: 78.1 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
