Unification of locomotion pattern generation and control Lyapunov function-based Quadratic Programs | IEEE Conference Publication | IEEE Xplore