Abstract: Quadratic programming (QP)-based nonlinear controllers have gained increasing popularity in the legged locomotion community. This letter presents a formal foundation to systematically ...