Switching between Limit Cycles in a Model of Running Using Exponentially Stabilizing Discrete Control Lyapunov Function | IEEE Conference Publication | IEEE Xplore