Optimal control of a space manipulator for detumbling of a target satellite | IEEE Conference Publication | IEEE Xplore