Skip to content

Latest commit

 

History

History
22 lines (18 loc) · 1.11 KB

README.md

File metadata and controls

22 lines (18 loc) · 1.11 KB
Raw

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.