State-of-the-art multi-robot kinodynamic motion planners struggle to handle more than a few robots due to high computational burden, which limits their scalability and results in slow planning time. In this work, we combine the scalability and speed of modern multi-agent path finding (MAPF) algorithms with the dynamic-awareness of kinodynamic planners to address these limitations. To this end, we propose discontinuity-Bounded LaCAM (db-LaCAM), a planner that utilizes a precomputed set of motion primitives that respect robot dynamics to generate horizon-length motion sequences, while allowing a user-defined discontinuity between successive motions. The planner db-LaCAM is resolution-complete with respect to motion primitives and supports arbitrary robot dynamics. Extensive experiments demonstrate that db-LaCAM scales efficiently to scenarios with up to 50 robots, achieving up to ten times faster runtime compared to state-of-the-art planners, while maintaining comparable solution quality. The approach is validated in both 2D and 3D environments with dynamics such as the unicycle and 3D double integrator. We demonstrate the safe execution of trajectories planned with db-LaCAM in two distinct physical experiments involving teams of flying robots and car-with-trailer robots.
翻译:当前最先进的多机器人运动动力学运动规划器由于计算负担过高,难以处理超过少数机器人的场景,这限制了其可扩展性并导致规划时间缓慢。在本研究中,我们结合了现代多智能体路径规划(MAPF)算法的可扩展性与速度优势,以及运动动力学规划器的动态感知能力,以应对这些局限性。为此,我们提出了间断有界LaCAM(db-LaCAM),该规划器利用预先计算且符合机器人动力学的运动基元集合来生成固定时间跨度的运动序列,同时允许用户定义连续运动之间的间断。db-LaCAM规划器在运动基元方面具有分辨率完备性,并支持任意机器人动力学模型。大量实验表明,db-LaCAM能高效扩展至包含多达50个机器人的场景,相比最先进的规划器实现了高达十倍的运行速度提升,同时保持相当的求解质量。该方法在二维和三维环境中均通过验证,涵盖了如独轮车模型和三维双积分器等多种动力学模型。我们通过两组涉及飞行机器人团队与带拖挂车辆机器人团队的物理实验,验证了db-LaCAM所规划轨迹的安全执行能力。