Reduced-order adaptive Kalman filtering for dual-frequency navigation with carrier phase | IEEE Conference Publication | IEEE Xplore