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.

OpenCog Multi-Agent Orchestration Workbench

NEW: An autonomous multi-agent orchestration system for mathematical biology models integrating OpenCog's cognitive architecture with ProbReach tools.

• opencog_workbench - Multi-agent system with AtomSpace knowledge representation, PLN reasoning, and ECAN attention allocation
• Documentation - Complete integration documentation

Quick Start

from opencog_workbench import WorkbenchOrchestrator

# Initialize workbench
workbench = WorkbenchOrchestrator()

# Load model
model = workbench.load_pdrh_model("model/psoriasis/psoriasis.pdrh", "psoriasis")

# Execute analysis workflow
workflow_id = workbench.create_analysis_workflow("psoriasis")
results = workbench.execute_workflow(workflow_id)

# Reason about goals
reasoning = workbench.reason_about_goal("remission_365")
print(f"Reachability: {reasoning['reachability']['probability']:.3f}")

Run example:

cd src/opencog_workbench
python example_usage.py
python test_workbench.py  # Run tests

How to run tests

ProbReach uses GoogleTest for testing. Here is how you can set it up (click here for more detailed instructions):

git clone https://github.com/google/googletest.git -b v1.15.2
cd googletest
mkdir build
cd build
cmake ../
make
sudo make install

Once GoogleTest is built and installed on your system, here is how you can use it to run ProbReach tests:

cd probreach/build/release
cmake ../../
make
make test