Approximate hybrid model predictive control for multi-contact push recovery in complex environments

Feedback control of robotic systems interacting with the environment through contacts is a central topic in legged robotics. One of the main challenges posed by this problem is the choice of a model sufficiently complex to capture the discontinuous nature of the dynamics but simple enough to allow online computations. Linear models have proved to be the most effective and reliable choice for smooth systems; we believe that piecewise affine (PWA) models represent their natural extension when contact phenomena occur. Discrete-time PWA systems have been deeply analyzed in the field of hybrid Model Predictive Control (MPC), but the straightforward application of MPC techniques to complex systems, such as a humanoid robot, leads to mixed-integer optimization problems which are not solvable at real-time rates. Explicit MPC methods can construct the entire control policy offline, but the resulting policy becomes too complex to compute for systems at the scale of a humanoid robot. In this paper we propose a novel algorithm which splits the computational burden between an offline sampling phase and a limited number of online convex optimizations, enabling the application of hybrid predictive controllers to higher-dimensional systems. In doing so we are willing to partially sacrifice feedback optimality, but we set stability of the system as an inviolable requirement. Simulation results of a simple planar humanoid that balances by making contact with its environment are presented to validate the proposed controller.

[1]  Efstratios N. Pistikopoulos,et al.  Explicit hybrid model-predictive control: The exact solution , 2015, Autom..

[2]  N. Mansard Multi-contact Locomotion of Legged Robots Justin Carpentier , 2018 .

[3]  Twan Koolen,et al.  Capturability-based analysis and control of legged locomotion, Part 1: Theory and application to three simple gait models , 2011, Int. J. Robotics Res..

[4]  Scott Kuindersma,et al.  Optimization-based locomotion planning, estimation, and control design for the atlas humanoid robot , 2015, Autonomous Robots.

[5]  Twan Koolen,et al.  Team IHMC's Lessons Learned from the DARPA Robotics Challenge Trials , 2015, J. Field Robotics.

[6]  Morten Hovd,et al.  On feasible sets for MPC and their approximations , 2011, Autom..

[7]  Jeffrey C. Trinkle,et al.  An implicit time-stepping scheme for rigid body dynamics with Coulomb friction , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[8]  Alberto Bemporad,et al.  The explicit linear quadratic regulator for constrained systems , 2003, Autom..

[9]  B. Donald,et al.  Quantifier Elimination for Conjunctions of Linear Constraints via a Convex Hull Algorithm , 2013 .

[10]  Kazuhito Yokoi,et al.  The 3D linear inverted pendulum mode: a simple modeling for a biped walking pattern generation , 2001, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180).

[11]  K. T. Tan,et al.  Linear systems with state and control constraints: the theory and application of maximal output admissible sets , 1991 .

[12]  Andrés Valenzuela,et al.  Mixed-integer convex optimization for planning aggressive motions of legged robots over rough terrain , 2016 .

[13]  T. Johansen,et al.  On explicit suboptimal LQR with state and input constraints , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[14]  Andrei Herdt,et al.  Online Walking Motion Generation with Automatic Footstep Placement , 2010, Adv. Robotics.

[15]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[16]  Eduardo Sontag Nonlinear regulation: The piecewise linear approach , 1981 .

[17]  Alberto Bemporad,et al.  Stabilizing Model Predictive Control of Hybrid Systems , 2006, IEEE Transactions on Automatic Control.

[18]  Scott Kuindersma,et al.  Modeling and Control of Legged Robots , 2016, Springer Handbook of Robotics, 2nd Ed..

[19]  J. Maciejowski,et al.  Equality Set Projection: A new algorithm for the projection of polytopes in halfspace representation , 2004 .

[20]  David P. Dobkin,et al.  The quickhull algorithm for convex hulls , 1996, TOMS.

[21]  Alberto Bemporad,et al.  Feasible mode Enumeration and Cost Comparison for Explicit quadratic Model predictive control of Hybrid Systems , 2006, ADHS.

[22]  Alberto Bemporad,et al.  Dynamic programming for constrained optimal control of discrete-time linear hybrid systems , 2005, Autom..

[23]  Ian R. Manchester,et al.  LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification , 2010, Int. J. Robotics Res..