Partial asymptotic stabilization of the synchronization of two underactuated spacecraft | IEEE Conference Publication | IEEE Xplore