Optimal gait switching for legged locomotion | IEEE Conference Publication | IEEE Xplore