Optimal design and actuator sizing of redundantly actuated omni-directional mobile robots | IEEE Conference Publication | IEEE Xplore