Closed-loop inverse kinematics algorithms for redundant spacecraft/manipulator systems | IEEE Conference Publication | IEEE Xplore