New Methodology for Precise Satellite Formation-keeping in the Presence of System Uncertainties