Global optimum human-like gaits for an articulated one-legged hopper | IEEE Conference Publication | IEEE Xplore