Optimal detumbling of defunct spacecraft using space robots | IEEE Conference Publication | IEEE Xplore