ProbReach - collection of tools for computing probability of bounded reachability in hybrid systems with parametric uncertainties.

How to build

sudo apt-get install git cmake build-essential bison flex libgsl-dev pkg-config libfl-dev
git clone https://github.com/dreal/probreach.git probreach
cd probreach
mkdir -p build/release
cd build/release
cmake ../../
make

ProbReach tools

• simulator - performs simulation of the provided ProbReach model.
• formal_verifier - computes rigorous probability enclosures using formal verification technique.
• mc_verifier - produces confidence intervals for the reachability probability via Monte Carlo sampling.
• pid_optimiser - performs controller synthesis for sampled-data stochastic control systems.
• gp - estimates bounded reachability probability function via Gaussian process.
• pdrh2simulink - translates the provided ProbReach model into Simulink®/Stateflow® format.