Abstract: Centimeter-to-decimeter-level positioning accuracy from the global positioning system (GPS) requires the use of carrier-phase measurements. The system is generally operated in a double differential mode in which a nearby ...