DIA-datasnooping and identifiability

In this contribution, we present and analyze datasnooping in the context of the DIA method. As the DIA method for the detection, identification and adaptation of mismodelling errors is concerned with estimation and testing, it is the combination of both that needs to be considered. This combination is rigorously captured by the DIA estimator. We discuss and analyze the DIA-datasnooping decision probabilities and the construction of the corresponding partitioning of misclosure space. We also investigate the circumstances under which two or more hypotheses are nonseparable in the identification step. By means of a theorem on the equivalence between the nonseparability of hypotheses and the inestimability of parameters, we demonstrate that one can forget about adapting the parameter vector for hypotheses that are nonseparable. However, as this concerns the complete vector and not necessarily functions of it, we also show that parameter functions may exist for which adaptation is still possible. It is shown how this adaptation looks like and how it changes the structure of the DIA estimator. To demonstrate the performance of the various elements of DIA-datasnooping, we apply the theory to some selected examples. We analyze how geometry changes in the measurement setup affect the testing procedure, by studying their partitioning of misclosure space, the decision probabilities and the minimal detectable and identifiable biases. The difference between these two minimal biases is highlighted by showing the difference between their corresponding contributing factors. We also show that if two alternative hypotheses, say (Formula presented.) and (Formula presented.), are nonseparable, the testing procedure may have different levels of sensitivity to (Formula presented.)-biases compared to the same (Formula presented.)-biases

Review and principles of PPP-RTK methods

PPP-RTK is integer ambiguity resolution-enabled precise point positioning. In this contribution, we present the principles of PPP-RTK, together with a review of different mechanizations that have been proposed in the literature. By application of S-system theory, the estimable parameters of the different methods are identified and compared. Their interpretation is essential for gaining a proper insight into PPP-RTK in general, and into the role of the PPP-RTK corrections in particular. We show that PPP-RTK is a relative technique for which the ‘single-receiver user’ integer ambiguities are in fact double-differenced ambiguities. We determine the transformational links between the different methods and their PPP-RTK corrections, thereby showing how different PPP-RTK methods can be mixed between network and users. We also present and discuss four different estimators of the PPP-RTK corrections. It is shown how they apply to the different PPP-RTK models, as well as why some of the proposed estimation methods cannot be accepted as PPP-RTK proper. We determine analytical expressions for the variance matrices of the ambiguity-fixed and ambiguity-float PPP-RTK corrections. This gives important insight into their precision, as well as allows us to discuss which parts of the PPP-RTK correction variance matrix are essential for the user and which are not

Testing of a new single-frequency GNSS carrier phase attitude determination method: land, ship and aircraft experiments

Global navigation satellite system (GNSS) ambiguity resolution is the process of resolving the unknown cycle ambiguities of the carrier phase data as integers. The sole purpose of ambiguity resolution is to use the integer ambiguity constraints as a means of improving significantly on the precision of the remaining GNSS model parameters. In this contribution, we consider the problem of ambiguity resolution for GNSS attitude determination. We analyse the performance of a new ambiguity resolution method for GNSS attitude determination. As it will be shown, this method provides a numerically efficient, highly reliable and robust solution of the nonlinearly constrained integer least-squares GNSS compass estimators. The analyses have been done by means of a unique set of extensive experimental tests, using simulated as well as actual GNSS data and using receivers of different manufacturers and type as well as different platforms. The executed field tests cover two static land experiments, one in the Netherlands and one in Australia, and two dynamic experiments, a low-dynamics vessel experiment and high-dynamics aircraft experiment. In our analyses, we focus on stand-alone, unaided, single-frequency, single epoch attitude determination, as this is the most challenging case of GNSS compass processing

Distributional theory for the DIA method

The DIA method for the detection, identification and adaptation of model misspecifications combines estimation with testing. The aim of the present contribution is to introduce a unifying framework for the rigorous capture of this combination. By using a canonical model formulation and a partitioning of misclosure space, we show that the whole estimation–testing scheme can be captured in one single DIA estimator. We study the characteristics of this estimator and discuss some of its distributional properties. With the distribution of the DIA estimator provided, one can then study all the characteristics of the combined estimation and testing scheme, as well as analyse how they propagate into final outcomes. Examples are given, as well as a discussion on how the distributional properties compare with their usage in practice

Theory of carrier phase ambiguity resolution

Carrier phase ambiguity resolution is the key to high precision Global Navigation Satellite System (GNSS) positioning and navigation. It applies to a great variety of current and future models of GPS, modernized GPS and Galileo. A proper handling of carrier phase ambiguity resolution requires a proper understanding of the underlying theory of integer inference. In this contribution a brief review is given of the probabilistic theory of integer ambiguity estimation. We describe the concept of ambiguity pull-in regions, introduce the class of admissible integer estimators, determine their probability mass functions and show how their variability affect the uncertainty in the so-called ‘fixed’ baseline solution. The theory is worked out in more detail for integer least-squares and integer bootstrapping. It is shown that the integer least-squares principle maximizes the probability of correct integer estimation. Sharp and easy-to-compute bounds are given for both the ambiguity success rate and the baseline’s probability of concentration. Finally the probability density function of the ambiguity residuals is determined. This allows one for the first time to formulate rigorous tests for the integerness of the parameters

A modified carrier-to-code leveling method for retrieving ionospheric observables and detecting short-term temporal variability of receiver differential code biases

Sensing the ionosphere with the global positioning system involves two sequential tasks, namely the ionospheric observable retrieval and the ionospheric parameter estimation. A prominent source of error has long been identified as short-term variability in receiver differential code bias (rDCB). We modify the carrier-to-code leveling (CCL), a method commonly used to accomplish the first task, through assuming rDCB to be unlinked in time. Aside from the ionospheric observables, which are affected by, among others, the rDCB at one reference epoch, the Modified CCL (MCCL) can also provide the rDCB offsets with respect to the reference epoch as by-products. Two consequences arise. First, MCCL is capable of excluding the effects of time-varying rDCB from the ionospheric observables, which, in turn, improves the quality of ionospheric parameters of interest. Second, MCCL has significant potential as a means to detect between-epoch fluctuations experienced by rDCB of a single receiver

Low-cost, high-precision, single-frequency GPS–BDS RTK positioning

The integration of the Chinese BDS with other systems, such as the American GPS, makes precise RTK positioning possible with low-cost receivers. We investigate the performance of low-cost ublox receivers, which cost a few hundred USDs, while making use of L1 GPS + B1 BDS data in Dunedin, New Zealand. Comparisons will be made to L1 + L2 GPS and survey-grade receivers which cost several thousand USDs. The least-squares variance component estimation procedure is used to determine the code and phase variances and covariances of the receivers and thus formulate a realistic stochastic model. Otherwise, the ambiguity resolution and hence positioning performance would deteriorate. For the same reasons, the existence of receiver-induced time correlation is also investigated. The low-cost RTK performance is then evaluated by formal and empirical ambiguity success rates and positioning precisions. It will be shown that the code and phase precision of the low-cost receivers can be significantly improved by using survey-grade antennas, since they have better signal reception and multipath suppression abilities in comparison with low-cost patch antennas. It will also be demonstrated that the low-cost receivers can achieve competitive ambiguity resolution and positioning performance to survey-grade dual-frequency GPS receivers

PPP-RTK and inter-system biases: the ISB look-up table as a means to support multi-system PPP-RTK

PPP-RTK has the potential of benefiting enormously from the integration of multiple GNSS/RNSS systems. However, since unaccounted inter-system biases (ISBs) have a direct impact on the integer ambiguity resolution performance, the PPP-RTK network and user models need to be flexible enough to accommodate the occurrence of system-specific receiver biases. In this contribution we present such undifferenced, multi-system PPP-RTK full-rank models for both network and users. By an application of (Formula presented.)-system theory, the multi-system estimable parameters are presented, thereby identifying how each of the three PPP-RTK components are affected by the presence of the system-specific biases. As a result different scenarios are described of how these biases can be taken into account. To have users benefit the most, we propose the construction of an ISB look-up table. It allows users to search the table for a network receiver of their own type and select the corresponding ISBs, thus effectively realizing their own ISB-corrected user model. By applying such corrections, the user model is strengthened and the number of integer-estimable user ambiguities is maximized