论文记录 · 证据边界公开

Certifiable Safe Model-Based Reinforcement Learning with Control-Affine Dynamics Approximation

arXiv · 2026-07-17 · 可证明安全的模型式强化学习与CBF

论文元数据

观察 · 58/100 · 0–6 个月

路线标签：安全强化学习理论改进版

社区证据类型：尚无独立社区验证

控制仿射模型、在线共形校准和CBF结合；100次仿真强，尚未进入硬件。

社区可复查证据：尚未收录；Stars、forks 与作者演示不计社区验证。

证据缺口：缺少显式可复查社区复现/部署证据；开放与复现条件不足；量化实机证据不足；仅仿真；无代码；保证依赖假设；无独立复现

当前实践分只决定今天的阅读与最小验证优先级；近期、社区验证和跨领域创新合计 80/100，不会把前沿观察条目自动升级成候选或确认里程碑。社区维度只有显式独立证据才能得高分，只有失败记录时必须标为社区反证。

SafeCARL把控制仿射随机傅里叶特征、适应性共形预测与CBF安全约束组合，100次仿真中Cartpole安全率100%、无人机98%，单回合求解0.38/0.44ms。证据仅为仿真，未找到代码、硬件或独立复现。

实机证据：simulation_only；100次Cartpole和3D quadrotor仿真；没有物理机器人。

硬件/本体：未披露

红旗与边界：仅仿真；无代码；无固定环境；安全保证依赖模型与CBF假设；无独立复现

论文入库不等于代码、权重或数据开放；“承诺开放”“声称开放”和“已核验可下载”严格分开。

最近核验：2026-07-22。链接存在不等于官方仓库、可运行、已开放权重/数据或许可证允许使用。