Modeling and control of constrained dynamic systems with application to biped locomotion in the frontal plane | Synapse