Multiple object semilinear motion planning |
| |
Authors: | Andreas Dolzmann Volker Weispfenning |
| |
Affiliation: | University of Passau, Passau, Germany |
| |
Abstract: | We present a method based on extended linear real quantifier elimination for multiple object semilinear motion planning, i.e. finding collision-free trajectories for several robots in a time dependent environment. For practical applicability the method is limited to polygonal objects and linear trajectories. It can, however, deal with situations involving even non-convex objects. |
| |
Keywords: | Linear real quantifier elimination Motion planning Trajectory finding Redlog |
本文献已被 ScienceDirect 等数据库收录! |