arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2406.04795cs.RO
收藏

扩展运动规划不可行性证明

Scaling Motion Planning Infeasibility Proofs

Colorado School of Mines(科罗拉多矿业学院)

Sihui Li, Neil T. Dantam

AI总结:

本文提出一种基于GPU流形三角剖分与批量处理的易并行算法,用于构造运动规划不可行性证明,相比此前方法加速两个数量级,并实现CPU/GPU协同的渐近完备运动规划。

摘要:

在运动规划问题中实现完备性需要大量计算能力,尤其是在高维空间中。并行计算的最新发展使这一目标更易实现。我们提出了一种用于构造不可行性证明的易并行算法。具体而言,我们基于带Coxeter三角剖分的流形追踪方法,在GPU上设计并实现了一种流形三角剖分算法。为解决三角剖分过程中在有限GPU内存资源下的大量内存使用挑战,我们在设计中引入了批量三角剖分。与之前构造不可行性证明的方法相比,该算法实现了两个数量级的加速。由此得到的渐近完备运动规划算法有效利用了CPU和GPU两种架构的计算能力,并保持两部分之间的最小数据传输。我们在5自由度和6自由度机械臂场景上进行了实验。

英文摘要:

Achieving completeness in the motion planning problem demands substantial computation power, especially in high dimensions. Recent developments in parallel computing have rendered this more achievable. We introduce an embarrassingly parallel algorithm for constructing infeasibility proofs. Specifically, we design and implement a manifold triangulation algorithm on GPUs based on manifold tracing with Coxeter triangulation. To address the challenge of extensive memory usage within limited GPU memory resources during triangulation, we introduce batch triangulation as part of our design. The algorithm provides two orders of magnitude speed-up compared to the previous method for constructing infeasibility proofs. The resulting asymptotically complete motion planning algorithm effectively leverages the computational capabilities of both CPU and GPU architectures and maintains minimum data transfer between the two parts. We perform experiments on 5-DoF and 6-Dof manipulator scenes.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑