A Weighted Method for Fast Resolution of Strictly Hierarchical Robot Task Specifications Using Exact Penalty Functions

Extensive work has been done on efficiently resolving hierarchical robot task specifications that minimize the <inline-formula><tex-math notation="LaTeX">$\ell$</tex-math></inline-formula>-2 norm of linear constraint violations, but not for <inline-formula><tex-math notation="LaTeX">$\ell$</tex-math></inline-formula>-1 norm, in which there has recently been growing interest for sparse control. Both approaches require solving a cascade of quadratic programs (QP) or linear programs (LP). In this letter, we introduce alternate and more efficient approaches to hierarchical <inline-formula><tex-math notation="LaTeX">$\ell$</tex-math></inline-formula>-1 norm minimization by formulating it as a <italic>single</italic> LP that can be solved by any off-the-shelf solver. The first approach is a recursive method that transforms the lexicographic LP (LLP) into a single objective problem using Lagrangian duality. The second approach, which forms the main focus of this letter, is a weighted method based on the exact penalty method, that is equivalent to the original LLP for a well chosen set of weights. We propose methods to compute and adapt these weights. The algorithms were applied on an interesting dual arm robot task. We discuss and benchmark the computational efficiency of these methods. Simplicity of the weighted method makes it a promising approach for tackling challenging prioritized robot control problems involving a control horizon or nonlinear constraints. Within this letter, we take the first step towards that goal by demonstrating the efficacy of the weighted method on a simpler instantaneous robot control problem with linear constraints.

[1]  Pierre-Brice Wieber,et al.  Kinematic Control of Redundant Manipulators: Generalizing the Task-Priority Framework to Inequality Task , 2011, IEEE Transactions on Robotics.

[2]  Tor Arne Johansen,et al.  Linear MPC with optimal prioritized infeasibility handling: application, computational issues and stability , 2001, Autom..

[3]  Bruno Vilhena Adorno,et al.  Whole-Body Kinematic Control of Nonholonomic Mobile Manipulators Using Linear Programming , 2018, J. Intell. Robotic Syst..

[4]  André Crosnier,et al.  Dual-Arm Relative Tasks Performance Using Sparse Kinematic Control , 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[5]  Pierre-Brice Wieber,et al.  Hierarchical quadratic programming: Fast online humanoid-robot motion generation , 2014, Int. J. Robotics Res..

[6]  Joris De Schutter,et al.  Extending iTaSC to support inequality constraints and non-instantaneous task specification , 2009, 2009 IEEE International Conference on Robotics and Automation.

[7]  Hanif D. Sherali,et al.  Equivalent weights for lexicographic multi-objective programs: Characterizations and computations , 1982 .

[8]  Pierre-Brice Wieber,et al.  Efficient resolution of potentially conflicting linear constraints in robotics , 2015 .

[9]  Jean-Jacques E. Slotine,et al.  A general framework for managing multiple tasks in highly redundant robotic systems , 1991, Fifth International Conference on Advanced Robotics 'Robots in Unstructured Environments.

[10]  Joris De Schutter,et al.  eTaSL/eTC: A constraint-based task specification language and robot controller using expression graphs , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[11]  Oussama Khatib,et al.  A Unified Approach to Integrate Unilateral Constraints in the Stack of Tasks , 2009, IEEE Transactions on Robotics.

[12]  D K Smith,et al.  Numerical Optimization , 2001, J. Oper. Res. Soc..

[13]  Christian Kirches,et al.  qpOASES: a parametric active-set algorithm for quadratic programming , 2014, Mathematical Programming Computation.

[14]  Johan Löfberg,et al.  Dualize it: software for automatic primal and dual conversions of conic programs , 2009, Optim. Methods Softw..

[15]  Joris De Schutter,et al.  Constraint-based Task Specification and Estimation for Sensor-Based Robot Systems in the Presence of Geometric Uncertainty , 2007, Int. J. Robotics Res..

[16]  André Crosnier,et al.  Parsimonious Kinematic Control of Highly Redundant Robots , 2016, IEEE Robotics and Automation Letters.

[17]  A. Soyster,et al.  Preemptive and nonpreemptive multi-objective programming: Relationship and counterexamples , 1983 .

[18]  Claude Samson,et al.  Robot Control: The Task Function Approach , 1991 .

[19]  Matteo Parigi Polverini,et al.  A Study on Sparse Hierarchical Inverse Kinematics Algorithms for Humanoid Robots , 2020, IEEE Robotics and Automation Letters.