hypro/hydra
hypro
HyPro C++库的Docker镜像，用于混合系统可达性分析，提供盒子、凸多面体等多种状态集表示实现，支持流管道构建及相关算法，方便快速开展相关研究与实验。
下载次数: 0状态：社区镜像维护者：hypro仓库类型：镜像最近更新：4 年前
让 AI 帮你使用轩辕镜像？ · 展开查看说明 · 点击收起说明
如果你使用 DeepSeek、元宝 AI、Copilot、ChatGPT 等 AI 工具，协助配置轩辕镜像、编写 docker pull 命令、修改 Docker Compose 镜像地址、配置镜像加速、排查镜像拉取失败、分析报错日志等问题，请先让 AI 阅读并遵守轩辕镜像的规则文档。
只需在 AI 对话中先发送下面这段话即可：
请先阅读并遵守：https://xuanyuan.cloud/agents.md
未读文档前不要生成 pull 命令或排错方案。查看 agents.md 用法指南与完整示范。国内用户首推 元宝 AI、DeepSeek 的深度思考模式，不推荐豆包 AI；Cursor 等编辑器可在对话 @ 该链接，或加入 User Rules。 若 AI 无法访问外链，可 打开说明文档 复制全文粘贴。文档会随站点更新，复制内容可能过期，建议定期检查。
HyPro Docker镜像
镜像概述
HyPro是由德国研究委员会资助的HyPro项目开发的C++库，专注于混合系统的可达性分析，通过流管道构建实现状态集表示。本Docker镜像封装了HyPro库的完整运行环境，帮助用户快速部署并使用该库进行相关分析工作。
核心功能
- 提供盒子、凸多面体、支持函数、zonotopes等常用状态集表示的实现
- 所有状态集表示遵循统一接口，支持分析过程中灵活切换
- 包含流管道构建所需的数据结构与基础算法
- 支持Flow*-语法解析及基于流管道构建的可达性分析方法
使用场景
- 混合系统可达性分析的学术研究与实验验证
- 相关算法的开发与测试
- 混合系统状态集表示技术的教学演示
配置说明
镜像内预装依赖
已包含cmake、C++编译器（g++/clang++）、CArL库、Java运行环境、uuid-dev等编译及运行所需依赖。
Docker部署示例
拉取镜像
bashdocker pull docker.xuanyuan.run/hypro/hydra
运行交互式容器
bashdocker run -it docker.xuanyuan.run/hypro/hydra bash
容器内编译示例代码
进入容器后，可通过以下步骤编译并运行示例：
bash# 创建构建目录 mkdir build && cd build # 配置cmake cmake .. # 生成资源文件 make resources # 编译HyPro库 make hypro # 编译指定示例（如example_box） make example_box # 运行示例 ./example_box
文档与资源
- API文档：https://hypro.github.io/hypro/html/index.html
- 官方手册：PDF手册
- 基准测试集：官方项目页面
- 代码仓库：https://github.com/hypro/hypro
镜像拉取方式
您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本，请访问 标签列表页面。
DockerHub 原生拉取命令
docker pull hypro/hydra:<标签>
镜像拉取常见问题
功能
错误码
用户好评
来自真实用户的反馈，见证轩辕镜像的优质服务
oldzhang
运维工程师
Linux服务器
5
"Docker访问体验非常流畅，大镜像也能快速完成下载。"