US Patent 10078138 Doppler shift correction using three-dimensional building models

Techniques for GNSS positioning using three-dimensional (3D) building models are described. A processor can determine a probable path for a signal from a GNSS space vehicle (e.g., a satellite) to reach the GNSS receiver. The probable path can include one or more specular reflections. The processor can determine a Doppler correction based on the probable path, including inverting a sense of a vector of the Doppler correction for each reflection. The processor can then incorporate the Doppler correction in an estimated velocity of the mobile device, an estimated position of the mobile device, or both.