Hierarchical least-squares programs with linear constraints (HLSP) are a type of optimization problem very common in robotics. Each priority level contains an objective in least-squares form which is subject to the linear constraints of the higher priority hierarchy levels. Active-set methods (ASM) are a popular choice for solving them. However, they can perform poorly in terms of computational time if there are large changes of the active set. We therefore propose a computationally efficient primal-dual interior-point method (IPM) for HLSP's which is able to maintain constant numbers of solver iterations in these situations. We base our IPM on the null-space method which requires only a single decomposition per Newton iteration instead of two as it is the case for other IPM solvers. After a priority level has converged we compose a set of active constraints judging upon the dual and project lower priority levels into their null-space. We show that the IPM-HLSP can be expressed in least-squares form which avoids the formation of the quadratic Karush-Kuhn-Tucker (KKT) Hessian. Due to our choice of the null-space basis the IPM-HLSP is as fast as the state-of-the-art ASM-HLSP solver for equality only problems.
翻译:具有线性限制的等级最小方程式( HLSP) 是一种在机器人中非常常见的优化问题。 每个优先级别都包含一个以最小方形形式设定的目标, 受较高优先等级层次线性限制的限制。 主动设定方法( ASM) 是解决这些障碍的流行选择。 但是, 如果活动组群发生大幅变化, 它们可以在计算时间方面表现不佳 。 因此, 我们为 HLSP 提出一种计算高效的初等双向内点方法( IPM), 它可以在这些情况下保持固定的求解码迭代数 。 我们将我们的IPM 以无空间法方法为基础, 它只需要对牛顿的重复进行单一解剖, 而不是像其他IPM 解析者一样, 主动设定方法 。 在优先级别整合后, 我们根据空格中的双重和项目较低优先级, 对空格空间进行一系列主动限制。 我们显示, IPM- HLSP 可以以最小方形表示, 避免在无空间- 将 Karush- LKKK 设置为快速的 标准 。