Search

Carrier phase signals are considered among the key observations in global navigation satellite systems (GNSSs) and several other high-precision inter-ferometric measurement systems. However, these ultra-precise measurements are not fully exploited when the integerness of their inherent ambiguities is discarded during the estimation process. Provided that the integer-estimable functions of their phase ambiguities are properly identified, integer ambiguity resolution (IAR) can be utilized to benefit their parameter solutions. For the GNSS code division multiple access systems with transmitters that broadcast carrier phase signals on identical frequencies, these integer-estimable functions have been characterized and are well-known as double differenced ambiguities. However, this is not the case with "frequency-varying" carrier phase signals that are broadcast by GLONASS satellites, Low-Earth-Orbiting communication satellites, or cellular long-term evolution (LTE) transmitters. This study aims to present full-rank models that can be used to identify integer-estimable ambiguity functions, thereby bringing the observation equations of frequency-varying carrier phase measurements into an IAR-applicable form. Our analytical results are supported by several numerical examples, including GNSS and terrestrial-based IAR as well as a new set of "inter-frequency" integer ambiguities that this study discovers in Galileo multi-frequency carrier phase signals. [ABSTRACT FROM AUTHOR]

In this contribution we present a review of the DIA-method to ensure navigational integrity. The DIA-method rigorously combines parameter estimation and statistical testing for the Detection, Identification and Adaptation of multivariate and multiple model misspecifications. We describe the statistical properties of the so-obtained DIA-estimator together with its probability density function. Numerical examples are given to highlight various aspects of the navigational DIA-estimator. [ABSTRACT FROM AUTHOR]

To obtain single-receiver Global Navigation Satellite System (GNSS) parameter solutions, the PPP-RTK user-filter combines measurements with time-correlated corrections that are separately computed by the filter of an external provider. The consequence of exercising such double-filtering is that the Kalman filter's standard assumption of having uncorrelated measurements in time becomes violated. This leads the user-filter to lose its 'minimum variance' property, thereby delivering imprecise parameter solutions. The solutions' precision-loss becomes more pronounced when one experiences an increase in the correction latency, i.e., the delay in time after the corrections are estimated and the time they are applied to the user measurements. In this contribution, we propose a new multi-epoch formulation for the PPP-RTK user-filter upon which both the uncertainty and the temporal correlation of the corrections are incorporated. By a proper augmentation of the user-filter state-vector, the corrections are jointly measurement-updated with the user parameter solutions. Supported by numerical results, the proposed formulation is shown to outperform its commonly used counterpart in the minimum-variance sense. [ABSTRACT FROM AUTHOR]