Dynamic Bipedal Locomotion: from Hybrid Zero Dynamics to Control Lyapunov Functions Via Experimentally Realizable Methods