The dynamics of legged locomotion: Models, analyses, and challenges
Controlled Lagrangians and the stabilization of mechanical systems II: Potential shaping