Biped Walking Control Based on Quadratic Programming and Differential Inequalities