家庭操作 rollout 的时序安全监视器
测试厨房或家庭操作策略的机器人团队可以在每条 rollout 日志里加入 LTL_f 监视器,并把安全完成和任务完成分开报告。SafeManip 给出了一种直接的实现方式:把仿真器状态、物体位姿、接触、夹爪状态、夹具状态和任务动作信号转换成符号谓词轨迹,然后检查碰撞/接触、稳定抓取、释放稳定性、交叉污染、包含关系和可进入性规则。
一个有用的第一步,是在少量已知有安全风险的任务上做仪器化,比如把物体放进夹具、处理类食品物体、打开机构。报告应包括 success-and-safe、success-but-unsafe、违规类别和 unsafe-state exposure。SafeManip 发现,pi_0.5 把任务成功率从 pi_0 的 8.1% 提高到 9.3%,但安全违规率也从 69.7% 升到 82.8%。碰撞/接触和释放稳定性是主要失败来源,所以单一成功率会掩盖家庭执行中真正重要的失败。