In this paper, we introduce a generalized continuous collision detection (CCD) framework for the mobile robot along the polynomial trajectory in cluttered environments including various static obstacle models. Specifically, we find that the collision conditions between robots and obstacles could be transformed into a set of polynomial inequalities, whose roots can be efficiently solved by the proposed solver. In addition, we test different types of mobile robots with various kinematic and dynamic constraints in our generalized CCD framework and validate that it allows the provable collision checking and can compute the exact time of impact. Furthermore, we combine our architecture with the path planner in the navigation system. Benefiting from our CCD method, the mobile robot is able to work safely in some challenging scenarios.
翻译:在本文中,我们引入了在包括各种静态障碍模型在内的四分五裂环境中沿多元轨道对移动机器人进行普遍连续碰撞探测(CCD)的框架。具体地说,我们发现机器人和障碍之间的碰撞条件可以转化为一系列多元不平等,其根源可以通过拟议的解决者有效解决。此外,我们还测试了不同种类的移动机器人,在我们的通用的CCD框架中存在各种动态和动态限制,并证实它允许可证实的碰撞检查,并可以计算撞击的确切时间。此外,我们还将我们的建筑与导航系统的路径规划师结合起来。从我们的CCD方法中获益,移动机器人能够在一些具有挑战性的情况下安全工作。