We present new models of optimization-based task and motion planning (TAMP) for robotic pick-and-place (P&P), which plan action sequences and motion trajectory with low computational costs. We improved an existing state-of-the-art TAMP model integrated with the collision avoidance, which is formulated as a mixed-integer linear programing (MILP) problem. To enable the MILP solver to search for solutions efficiently, we introduced two approaches leveraging features of collision avoidance in robotic P&P. The first approach reduces number of binary variables, which is related to the collision avoidance of delivery objects, by reformulating them as continuous variables with additional hard constraints. These hard constraints maintain consistency by conditionally propagating binary values, which is related to the carry action state and collision avoidance of robots, to the reformulated continuous variables. The second approach is more aware of the branch-and-bound method, which is the fundamental algorithm of modern MILP solvers. This approach guides the MILP solver to find integer solutions with shallower branching by adding a soft constraint, which softly restricts a robot's routes around delivery objects. We demonstrate the effectiveness of the proposed models with a modern MILP solver.
翻译:我们为机器人选取地点(P&P)提出了基于优化的任务和运动规划的新模型,这些模型以较低的计算成本规划行动序列和运动轨迹。我们改进了与避免碰撞问题相结合的现有先进TAMP模型,该模型是混合整数线性编程(MILP)问题。为使MILP求解器能够有效地寻找解决办法,我们引入了两种办法,在机器人P&P中利用避免碰撞的特征。第一种办法是减少二进制变量的数量,这与避免投送物体碰撞有关,办法是将其重新组合为具有额外硬性限制的连续变量。这些硬性制约因素通过有条件的传播双进制值保持一致性,即与机器人携带动作状态和避免碰撞有关的双进制值,与重新拟订的连续变量有关。第二种办法是更加了解分支和约束方法,这是现代MILP求解算器的基本算法。这种方法指导MILP求解器找到更浅的整式解决办法,方法是增加一个软质的分支,软性制约,软性地限制了机器人在交付物体周围的路径。我们展示了一种软式的机器人求效模型。