A Theoretical Framework for the Stable Operation of Autonomous Spacecraft Formations in the Hill-Clohessy-Wiltshire Frame | IEEE Conference Publication | IEEE Xplore