Hybrid Lyapunov-based feedback stabilization of bipedal locomotion based on reference spreading