Modeling and control of constrained dynamic systems with application to biped locomotion in the frontal plane | IEEE Journals & Magazine | IEEE Xplore