Predictive Control Approach to Maneuver Design for Autonomous Formation Flying Sensor Calibration