  Precise relative navigation is a critical enabler for distributed satellites
to achieve new mission objectives impossible for a monolithic spacecraft.
Carrier phase differential GPS (CDGPS) with integer ambiguity resolution (IAR)
is a promising means of achieving cm-level accuracy for high-precision
Rendezvous, Proximity-Operations and Docking (RPOD), In-Space Servicing,
Assembly and Manufacturing (ISAM) as well as satellite formation flying and
swarming. However, IAR is sensitive to received GPS signal noise, especially
under severe multi-path or high thermal noise. This paper proposes a
sensor-fusion approach to achieve IAR under such conditions in two coupling
stages. A loose coupling stage fuses through an Extended Kalman Filter the
CDGPS measurements with on-board sensor measurements such as range from
cross-links, and vision-based bearing angles. A second tight-coupling stage
augments the cost function of the integer weighted least-squares minimization
with a soft constraint function using noise-weighted observed-minus-computed
residuals from these external sensor measurements. Integer acceptance tests are
empirically modified to reflect added constraints. Partial IAR is applied to
graduate integer fixing. These proposed techniques are packaged into
flight-capable software, with ground truths simulated by the Stanford Space
Rendezvous Laboratory's S3 library using state-of-the-art force modelling with
relevant sources of errors, and validated in two scenarios: (1) a high
multi-path scenario involving rendezvous and docking in low Earth orbit, and
(2) a high thermal noise scenario relying only on GPS side-lobe signals during
proximity operations in geostationary orbit. This study demonstrates successful
IAR in both cases, using the proposed sensor-fusion approach, thus
demonstrating potential for high-precision state estimation under adverse
signal-to-noise conditions.
