Quadruped locomotion: Dynamic gait control & design optimization | IEEE Conference Publication | IEEE Xplore