Executor-aware Candidate Selection via a Feasibility Certificate
作者: Sooin Choi, Soonwoong Hwang, Wansoo Kim
分类: cs.RO
发布日期: 2026-09-29
备注: 8 pages, 6 figures
💡 一句话要点
提出基于证书的候选选择框架以解决执行器兼容性问题
🎯 匹配领域: 支柱一：机器人控制 (Robot Control)
关键词: 模块化机器人 运动规划 执行器兼容性 证书机制 线性规划 候选选择 几何有效性 机器人系统
📋 核心要点
- 现有的模块化机器人系统在运动规划与执行器之间存在兼容性问题，导致几何有效的候选指令无法被执行器执行。
- 本文提出了一种基于证书的候选选择框架，通过构建指令见证并验证其与原始约束的兼容性，解决了执行器的指令集限制问题。
- 实验结果表明，在5085次评估中，有795个候选未能满足执行器要求，证书的接受改变了候选选择，显示出平台依赖的保守性。
📝 摘要（中文）
模块化机器人系统通常将运动规划与执行器分开，后者执行状态依赖的硬约束。因此，几何上有效的候选可能与执行器的可用指令集不兼容。本文提出了一种基于证书的候选选择框架，该框架在预测的展开状态下，从执行器的硬约束集中构建指令见证，并在不改变候选生成、排名或执行器的情况下进行验证。在对两种机器人模型进行的5085次几何有效性评估中，有795个候选未能满足执行器的可行指令。证书虽然足够但保守：795个候选中没有一个被认证，而7.09%的参考可行案例仍未被认证。在受控的FR3和固定基座RB-Y1模拟中，证书的接受频繁改变了候选选择，后续的精确线性规划基线揭示了平台依赖的保守性。相较于基于几何的选择，证书的接受与较低的规划器指令覆盖率和更高的名义跟踪误差相关，但在达到状态交互保留方面没有一致的优势。
🔬 方法详解
问题定义：本文旨在解决模块化机器人系统中运动规划与执行器之间的兼容性问题。现有方法未能有效处理几何有效候选与执行器可用指令集之间的冲突，导致执行失败。
核心思路：论文提出的解决方案是构建一个基于证书的候选选择框架，通过在预测的展开状态下生成指令见证，验证候选的可行性，而不改变候选的生成和排名过程。
技术框架：整体架构包括候选生成模块、证书构建模块和可行性验证模块。候选生成模块负责生成几何有效的运动轨迹，证书构建模块从执行器的硬约束中提取指令见证，最后可行性验证模块对候选进行验证。
关键创新：最重要的技术创新在于引入了证书机制，使得候选选择过程能够在不改变原有规划器的情况下，确保候选与执行器的兼容性。这一方法与传统的几何选择方法本质上不同，后者未考虑执行器的指令限制。
关键设计：在设计中，证书的构建依赖于执行器的硬约束集，采用保守的验证策略以确保安全性。同时，实验中使用了线性规划技术作为基线，以评估证书接受的影响。
🖼️ 关键图片
📊 实验亮点
实验结果显示，在5085次几何有效评估中，有795个候选未能满足执行器的可行指令，证书的接受显著改变了候选选择。相较于几何选择，证书接受与较低的规划器指令覆盖率和更高的跟踪误差相关，显示出平台依赖的保守性。
🎯 应用场景
该研究的潜在应用领域包括自主机器人、工业自动化和服务机器人等。通过确保运动规划与执行器的兼容性，可以提高机器人系统的可靠性和效率，推动智能机器人在复杂环境中的应用。未来，该框架可能会影响机器人运动规划的标准化和优化。
📄 摘要（原文）
Modular robotic systems often separate motion planning from a downstream executor that enforces state-dependent hard constraints. A candidate that is geometrically valid may therefore be incompatible with the executor's available command set. We present a certificate-based candidate-selection framework that constructs a command witness from the executor hard set at predicted rollout states and verifies it against the original constraints, without changing candidate generation, ranking, or the executor. Across 5,085 geometry-valid numerical evaluations on two robot models, 795 admitted no executor-feasible command. The certificate is sufficient but conservative: none of the 795 was certified, while 7.09\% of reference-feasible cases remained uncertified. In controlled FR3 and fixed-base RB-Y1 simulations, certificate admission frequently changed candidate selection, and a post-hoc exact linear-programming (LP) admission baseline revealed platform-dependent conservatism. Relative to geometry-based selection, certificate admission was associated with lower planner-command coverage and higher nominal tracking error, without a consistent advantage in reached-state interaction reserve. A planner-generated MoveIt/OMPL study further evaluates the same admission rule on externally generated candidate pools.