Analysis of a redundant free-flying spacecraft/manipulator system | Synapse