上传者: 42116734
|
上传时间: 2021-11-26 08:24:03
|
文件大小: 1.93MB
|
文件类型: -
ProbReach-用于在具有参数不确定性的混合系统中计算有限可达性概率的工具集合。
如何建造
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工具
-对提供的ProbReach模型进行仿真。
使用形式验证技术来计算严格的概率。
通过蒙特卡洛采样为可及性概率生成置信区间。
为采样数据随机控制系统执行控制器综合。
通过高斯过程估计有界可达性概率函数。
将提供的ProbReach