Stability and Control of a Pacing Quadruped Using Stabilizing Switching Design | IEEE Journals & Magazine | IEEE Xplore