Strong Recursive Feasibility in Model Predictive Control of Biped Walking

Matteo Ciocca (1) , Pierre-Brice Wieber (2) , Thierry Fraichard (1)

1 PERVASIVE - Interaction située avec les objets et environnements intelligents
2 BIPOP - Modelling, Simulation, Control and Optimization of Non-Smooth Dynamical Systems

Realizing a stable walking motion requires satisfying a set of constraints. Model Predictive Control (MPC) is one of few suitable methods to handle such constraints. The capacity to satisfy constraints, which is usually called feasibility, is classically guaranteed recursively. In our applications , an important aspect is that the MPC scheme has to adapt continuously to the dynamic environment of the robot (e.g. collision avoidance, physical interaction). We aim therefore at guaranteeing recursive feasibility for all possible scenarios, which is called strong recursive feasibility. Recursive feasibility is classically obtained by introducing a terminal constraint at the end of the prediction horizon. Between two standard approaches for legged robot, in our applications we favor a capturable terminal constraint. When the robot is not really planning to stop and considers actually making a new step, recursive feasibility is not guaranteed anymore. We demonstrate numerically that recursive feasibility is actually guaranteed, even when a new step is added in the prediction horizon.

Domaines: Robotique [cs.RO]

Matteo Ciocca, Pierre-Brice Wieber, Thierry Fraichard. Strong Recursive Feasibility in Model Predictive Control of Biped Walking. HUMANOIDS 2017 - IEEE-RAS International Conference on Humanoid Robots, Nov 2017, Birmingham, United Kingdom. pp.730-735, ⟨10.1109/HUMANOIDS.2017.8246953⟩. ⟨hal-01618881⟩