Exponentially Stabilizing and Time-Varying Virtual Constraint Controllers for Dynamic Quadrupedal Bounding | IEEE Conference Publication | IEEE Xplore