Design Of Time-Varying Hybrid Zero Dynamics Controllers For Exponential Stabilization Of Agile Quadrupedal Locomotion