【文件属性】：
文件名称：DryVR_0.2:DryVR 2.0是用于混合系统验证的软件
文件大小：5.99MB
文件格式：ZIP
更新时间：2021-05-15 02:19:51
verification hybrid-systems JupyterNotebook
DryVR 2.0是用于混合系统验证的软件。 请在以下位置找到文档
安装
要安装所需的软件包，请运行：
须藤./installRequirement.sh
当前版本的安装文件已经在Ubuntu 16.04的全新安装上进行了测试。
快速开始
要运行验证示例，请运行
python main.py输入/ [输入文件]
例如：
python main.py input / daginput / input_thermo.json
示例说明可在文档中找到。 请注意，由于验证算法使用概率方法，因此验证结果可能因不同的运行而有所不同。
要运行控制器综合，请运行：
python graphSearch.py input / [input_file]
例如：
python graphSearch.py input / rrtinput / mazefinder.json