Time optimal control for quadruped robots by using torque redundancy | IEEE Conference Publication | IEEE Xplore