原文关键章节已核对
以下分析来自论文原文，保留实验条件与结果适用范围。
8 页 PDF · 8.0 MB归档日期 2026-10-04已核对方法、实验、结果与局限
从官方来源获取原文原文依据范围
§II–IV · §V · Tables I–III · Proposition 1
原文来源与版本用于研究核对。公开可获取不等于允许全文转载；本站提供中文分析和官方原文链接。
方法机制
将机器人各运动连杆、障碍物和抓取后附着物建成可微Bernstein多项式SDF，以抓取模式切换受保护几何。对冻结π0.5的六维操作空间增量求最小改动CBF二次规划，保留原控制器和夹爪指令，无需重训策略。
实验设置与硬件
仅在SafeLIBERO仿真中测16任务、两种障碍布置、各50随机回合，共1600回合。各配置共享策略和初始条件，逐项比较单末端、全场景、全身及附着物模型；目标/支撑物身份由模拟器提供，隔离语义识别误差。
结果及统计口径
作者报告全场景安全97.38%、安全成功59.38%，AEGIS为70.87%/51.06%；但Goal、Spatial任务安全成功并非最佳。完整过滤器平均26.76毫秒，主要成本是接触点搜索。
局限与风险
安全指标是非任务物体位移超过1厘米的代理量，不能发现所有碰撞伤害。理论前向不变性依赖精确最近点和零松弛，而实现用有限点近似且允许松弛；夹爪开合运动也未纳入动作映射，因此不是无条件安全保证。
复现建议
复现必须公开任务角色排除、对象身份元数据、SDF拟合、接触搜索、松弛惩罚及控制缩放，分别验证几何误差与真实控制执行。正文没有实体机器人部署证据，不据LIBERO默认模型补填实机型号。
实验标签与机器人
- 验证范围
- 仅仿真
- 机器人型号
- 未核实
代码与训练
代码待核实 · 训练代码待核实
仅核对摘要；官方实现、许可证与训练入口尚待核实。