提出可平移复用的障碍物避让计算方法,提升复杂环境中的路径规划效率。
From Singleton Obstacles to Clutter: Translation Invariant Compositional Avoid Sets
- 基于哈密顿-雅可比方程,用单个模板函数平移复用计算多障碍场景
- 点积最小值可保守估计障碍物群的不可避区域,且块合并后结果更精确
- 适用于重复布局的复杂障碍环境,如无人机或自动驾驶场景
本文研究在平移不变动力学下,基于避免侧旅行代价的哈密顿-雅可比方法进行障碍物避让。当运行代价在障碍物外部为零、内部严格为负时,证明了值函数处处非正,在避让集外恰好为零,在避让集内严格为负。在平移不变条件下,该性质导出复用原则:任意平移障碍物的值可通过平移单一模板值函数获得。我们进一步证明,平移模板值的逐点最小值能精确刻画所有平移单障碍物避让集的并集,并提供不可避碰撞的保守内证。为降低保守性,引入块级组合框架,将障碍物子集合并后联合求解。该框架形成从单障碍复用到精确杂乱环境值函数的保守证书层级,具有块合并下的单调性及基于共同避障控制存在的精确性判据。通过在重复杂乱场中对杜宾斯小车的示例验证了该方法。
原文摘要 · Abstract (English)
This paper studies obstacle avoidance under translation invariant dynamics using an avoid-side travel cost Hamilton Jacobi formulation. For running costs that are zero outside an obstacle and strictly negative inside it, we prove that the value function is non-positive everywhere, equals zero exactly outside the avoid set, and is strictly negative exactly on it. Under translation invariance, this yields a reuse principle: the value of any translated obstacle is obtained by translating a single template value function. We show that the pointwise minimum of translated template values exactly characterizes the union of the translated single-obstacle avoid sets and provides a conservative inner certificate of unavoidable collision in clutter. To reduce conservatism, we introduce a blockwise composition framework in which subsets of obstacles are merged and solved jointly. This yields a hierarchy of conservative certificates from singleton reuse to the exact clutter value, together with monotonicity under block merging and an exactness criterion based on the existence of a common clutter avoiding control. The framework is illustrated on a Dubins car example in a repeated clutter field.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。