Dynamic Jump Motion Control of a Jumping Spider Robot with Redundant Degrees of Freedom | IEEE Conference Publication | IEEE Xplore