[论文解读] Non-uniqueness of the homotopy class of bounded curvature paths

José Ayala, Hyam Rubinstein|arXiv (Cornell University)|Mar 19, 2014

Control and Dynamics of Mobile Robots参考文献 21被引用 10

一句话总结

本文证明了在欧氏平面上存在一类有界曲率路径，这些路径被束缚在特定区域中，无法在保持曲率有界的前提下连续形变为彼此，从而证明了常规同伦理论未能涵盖的同伦类的非唯一性。关键贡献在于识别出孤立的同伦类，特别是被束缚区域内的嵌入路径，这些路径与自相交路径或自由路径不具有有界同伦关系，对机器人运动规划和地下矿井设计具有重要意义。

ABSTRACT

A bounded curvature path is a continuously differentiable piecewise $C^2$ path with a bounded absolute curvature that connects two points in the tangent bundle of a surface. In this work, we analyze the homotopy classes of bounded curvature paths for points in the tangent bundle of the Euclidean plane. We show the existence of connected components of bounded curvature paths that do not correspond to those under (regular) homotopies obtaining the first results in the theory outside optimality. An application to robotics is presented.

研究动机与目标

• 研究欧氏平面上有界曲率路径空间的拓扑结构，特别是其连通分支和同伦类。
• 识别有界曲率路径在保持曲率有界条件下无法连续形变为彼此的条件。
• 确立不对应于常规同伦理论的孤立同伦类的存在性。
• 为曲率和梯度约束至关重要的机器人运动规划与地下矿井设计提供理论基础。
• 基于路径同伦非唯一性，验证DOT软件算法在地下矿井网络设计中的最优性。

提出的方法

• 将有界曲率路径分析为C¹类且分段C²类曲线，其绝对曲率受κ = 1/r限制，按弧长参数化。
• 引入“束缚区域”Ω的概念，即嵌入的有界曲率路径在保持曲率有界条件下无法同伦变形为具有自相交的路径。
• 运用S引理（引理8.11）将曲率约束与极值转向映射及路径行为相关联。
• 利用定理8.13表明，边界切线点位于Ω内的路径不是自由的，意味着存在阻碍变形的拓扑障碍。
• 应用有界同伦（在整个同伦过程中保持曲率有界）的概念以区分路径的连通分支。
• 利用Dubins路径结构（csc、ccc）作为局部最短路径，分析路径空间的连通性。

实验结果

研究问题

• RQ1 在欧氏平面上，即使有界曲率路径位于同一束缚区域，是否仍能保持曲率有界而连续形变为彼此？
• RQ2 是否存在不对应于常规同伦理论的有界曲率路径同伦类？
• RQ3 在何种几何条件下，嵌入的有界曲率路径会陷入某一区域，无法同伦变形为自相交路径或自由路径？
• RQ4 同伦类的非唯一性如何影响受限环境中运动规划算法的最优性？
• RQ5 能否利用某些路径类的非有界同伦性来验证或改进地下矿井设计中的路径规划软件DOT？

主要发现

• 在切丛Tℝ²中两点x,y之间的有界曲率路径空间Γ(x,y)在有界同伦下可能至少存在两个不同的同伦类，即使端点和切线方向固定。
• 如推论8.15所示，束缚区域Δ(Ω)中的嵌入路径与自相交路径不具有有界同伦关系。
• 如定理8.14所证明，Δ(Ω)中的路径不是自由的（即不与任意长路径同伦），表明存在拓扑障碍。
• 路径空间Γ(x,y)中孤立点的存在意味着某些有界曲率路径无法连续形变为邻近路径，证实了非平凡的拓扑结构。
• 定理9.1证明，对于满足条件D的点，Γ(x,y)至少包含两个同伦类：Δ(Ω)和Δ′(Ω)，且Δ(Ω)中的路径与Δ′(Ω)中的路径不具有有界同伦关系。
• 推论10.1确认，在此类构型下，最短Dubins路径不具有有界同伦关系到自由路径，从而验证了DOT算法在地下矿井网络设计中的合理性。