A Theoretically Motivated Reduced Order Model for the Control of Dynamic Biped Locomotion | Synapse