Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
403379 | Journal of Symbolic Computation | 2007 | 14 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence