The Dynamics of Legged Locomotion: Models, Analyses, and Challenges | Synapse