A superlinear convergence feasible sequential quadratic programming algorithm for bipedal dynamic walking robot via discrete mechanics and optimal control

For periodic gait optimization problem of the bipedal walking robot, a class of global and feasible sequential quadratic programming algorithm (FSQPA) is proposed based on discrete mechanics and optimal control. The optimal controls and trajectories are solved by the modified FSQPA. The algorithm can rapidly converge to a stable gait cycle by selecting an appropriate initial gait; otherwise, the algorithm only needs one step correction that generates a stable gait cycle. Under appropriate conditions, we provide a rigorous proof of global convergence and well‐defined properties for the FSQPA. Numerical results show that the algorithm is feasible and effective. Meanwhile, it reveals the movement mechanism in the process of bipedal dynamic walking, which is the velocity oscillations. Furthermore, we overcome the oscillatory behavior via the FSQPA, which makes the bipedal robot walk efficiently and stably on even terrain. The main result is illustrated on a hybrid model of a compass‐like robot through simulations and is utilized to achieve bipedal locomotion via FSQPA. To demonstrate the effectiveness of the high‐dimensional bipedal robot systems, we will conduct numerical simulations on the model of RABBIT with nonlinear, hybrid, and underactuated dynamics. Numerical simulation results show that the FSQPA is feasible and effective. Copyright © 2015 John Wiley & Sons, Ltd.

[1]  Shih-Ping Han A globally convergent method for nonlinear programming , 1975 .

[2]  N. Maratos,et al.  Exact penalty function algorithms for finite dimensional and control optimization problems , 1978 .

[3]  E. Panier,et al.  A QP-Free, globally convergent, locally superlinearly convergent algorithm for inequality constrained optimization , 1988 .

[4]  J. F. Bonnans,et al.  Avoiding the Maratos effect by means of a nonmonotone line search II. Inequality constrained problems—feasible iterates , 1992 .

[5]  Bernard Espiau,et al.  Limit Cycles in a Passive Compass Gait Biped and Passivity-Mimicking Control Laws , 1997, Auton. Robots.

[6]  Craig T. Lawrence,et al.  A Computationally Efficient Feasible Sequential Quadratic Programming Algorithm , 2000, SIAM J. Optim..

[7]  Stephen J. Wright,et al.  A Feasible Trust-Region Sequential Quadratic Programming Algorithm , 2004, SIAM J. Optim..

[8]  Francesco Bullo,et al.  Controlled symmetries and passive walking , 2005, IEEE Transactions on Automatic Control.

[9]  Arthur D Kuo Harvesting Energy by Improving the Economy of Human Walking , 2005, Science.

[10]  R. McNeill Alexander,et al.  Walking Made Simple , 2005, Science.

[11]  J. Marsden,et al.  Discrete mechanics and optimal control , 2005 .

[12]  Russ Tedrake,et al.  Efficient Bipedal Robots Based on Passive-Dynamic Walkers , 2005, Science.

[13]  O. Junge,et al.  Optimal Reconfiguration of Formation Flying Satellites , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[14]  Zhibin Zhu,et al.  A simple feasible SQP algorithm for inequality constrained optimization , 2006, Appl. Math. Comput..

[15]  Gaurav S. Sukhatme,et al.  A Discrete Geometric Optimal Control Framework for Systems with Symmetries , 2007, Robotics: Science and Systems.

[16]  E. Westervelt,et al.  Feedback Control of Dynamic Bipedal Robot Locomotion , 2007 .

[17]  Jerrold E. Marsden,et al.  Discrete mechanics and optimal control applied to the compass gait biped , 2007, 2007 46th IEEE Conference on Decision and Control.

[18]  Zhibin Zhu,et al.  A sequential equality constrained quadratic programming algorithm for inequality constrained optimization , 2008 .

[19]  Jorge Nocedal,et al.  An Inexact SQP Method for Equality Constrained Optimization , 2008, SIAM J. Optim..

[20]  J. Marsden,et al.  Discrete mechanics and optimal control for constrained systems , 2010 .

[21]  Alexey F. Izmailov,et al.  A Truncated SQP Method Based on Inexact Interior-Point Solutions of Subproblems , 2010, SIAM J. Optim..

[22]  Ya-Xiang Yuan,et al.  Optimization Theory and Methods: Nonlinear Programming , 2010 .

[23]  Jorge Nocedal,et al.  Infeasibility Detection and SQP Methods for Nonlinear Optimization , 2010, SIAM J. Optim..

[24]  A Gait Generation Method for the Compass-type Biped Robot based on Discrete Mechanics , 2011 .

[25]  Jerrold E. Marsden,et al.  Discrete Geometric Optimal Control on Lie Groups , 2011, IEEE Transactions on Robotics.

[26]  D Tlalolini,et al.  Human-Like Walking: Optimal Motion of a Bipedal Robot With Toe-Rotation Motion , 2011, IEEE/ASME Transactions on Mechatronics.

[27]  Tatsuya Kai,et al.  A gait generation method for the compass-type biped robot on slopes via discrete mechanics , 2011, IEEE Conference on Decision and Control and European Control Conference.

[28]  Alexey F. Izmailov,et al.  Stabilized SQP revisited , 2012, Math. Program..

[29]  Alfred Auslender,et al.  A very simple SQCQP method for a class of smooth convex constrained minimization problems with nice convergence results , 2012, Mathematical Programming.

[30]  Goele Pipeleers,et al.  Time-Optimal Path Following for Robots With Convex–Concave Constraints Using Sequential Convex Programming , 2013, IEEE Transactions on Robotics.

[31]  Takeshi Kai A Discrete Mechanics Approach to Gait Generation on Periodically Unlevel Grounds for the Compass-typ , 2013 .

[32]  Leonid B. Freidovich,et al.  Stable Walking Gaits for a Three-Link Planar Biped Robot With One Actuator , 2013, IEEE Transactions on Robotics.

[33]  Daniel P. Robinson,et al.  A Globally Convergent Stabilized SQP Method , 2013, SIAM J. Optim..

[34]  Dimiter Zlatanov,et al.  A General Method for the Numerical Computation of Manipulator Singularity Sets , 2014, IEEE Transactions on Robotics.

[35]  Aaron D. Ames,et al.  Human‐inspired motion primitives and transitions for bipedal robotic locomotion in diverse terrain , 2014 .

[36]  Aaron D. Ames,et al.  Human-Inspired Control of Bipedal Walking Robots , 2014, IEEE Transactions on Automatic Control.

[37]  Quang-Cuong Pham,et al.  A General, Fast, and Robust Implementation of the Time-Optimal Path Parameterization Algorithm , 2013, IEEE Transactions on Robotics.

[38]  Jessy W. Grizzle,et al.  Event-Based Stabilization of Periodic Orbits for Underactuated 3-D Bipedal Robots With Left-Right Symmetry , 2014, IEEE Transactions on Robotics.

[39]  John T. Betts,et al.  Optimal low‒thrust orbit transfers with eclipsing , 2015 .