Abstract:In the recent ten years, the Global Navigation Satellite System (GNSS) processing has experienced a fast development in many areas including the increasing number of frequencies, the higher quality of positioning instruments, e.g. the receiver clocks and the satellite clocks, and more integrated modeling and calculation strategies. This thesis includes investigations of diﬀerent modeling and parameterization methods in modern GNSS positioning with the focus on three important positioning error sources: the receiver clock errors, the phase ambiguities and the ionospheric delays. The thesis shows that making use of the high-quality receiver clocks and applying appropriate receiver clock modeling can help to improve the kinematic height estimates, which are highly correlated with the receiver clock parameters. An eﬃcient pre-elimination and back-substitution strategy of epoch parameters with relative clock constraints between subsequent and near-subsequent epochs has been developed to enable processing of, e.g., high-rate data. A detailed analysis of the relationship between the clock quality and the improvement of kinematic heights has been performed. Studies were also conducted to decorrelate the receiver clock parameters, the kinematic heights and the troposphere parameters. Experiments with real data have shown that appropriate deterministic and stochastic clock models can also be helpful to increase the resolution of the estimated Zenith Path Delay (ZPD) parameters without obvious degradation of the stability of the kinematic heights. The second aspect of the thesis focuses on the resolution of triple-frequency phase ambiguities with diﬀerent linear combinations. A complete analytical investigation of Geometry-Free (GF) and Ionosphere-Free (IF) triple-frequency phase ambiguity resolution with minimized noise level has been performed for diﬀerent frequency triplets. The analysis was done separately for the best two linear combinations and the third one. Experiments have shown that the fractional parts and the formal errors of the combined ambiguities of the best two linear combinations are relatively small for Galileo E1, E5b and E5a and GPS L1, L2 and L5 triplets, while the third linear combination remains a challenge. Further analysis with the geostationary satellites of the Beidou Navigation Satellite System (BDS) elaborated in the framework of this thesis has also conﬁrmed that the

Numerical modeling of a Global Navigation Satellite System in a general relativistic framework

Introducing Relativity in Global Navigation Satellite Systems

Relativistic positioning: four-dimensional numerical approach in Minkowski space-time

Relativistic positioning: errors due to uncertainties in the satellite world lines

Numerical Modelling of Satellite Downlink Signals in a Finslerian-Perturbed Schwarzschild Spacetime

General-relativistic celestial mechanics. IV. Theory of satellite motion

Relativistic GPS in 3-dimensions

Testing general relativity by micro-arcsecond global astrometry

A relativistic navigation system for space

Advanced Modeling and Algorithms for High-Precision GNSS Analysis

Gravitational anomaly detection using a satellite constellation: Analysis and simulation

Post-Newtonian reference-ellipsoid for relativistic geodesy

Autonomous orbit determination using epoch-differenced gravity gradients and starlight refraction

Lost in space? Relativistic interstellar navigation using an astrometric star catalogue

Gravitomagnetic Clock Effect: Using GALILEO to explore General Relativity

The celestial mechanics approach: theoretical foundations

General Relativistic Chronometry with Clocks on Ground and in Space

Numerical Relativity in Spherical Polar Coordinates: Off-center Simulations

Effect of Gravitational Perturbations on Satellite Orbit Via Different Astronomy Standards

Galileo-derived geodetic parameters by the combination of GNSS and SLR techniques on the observation level

Measuring general relativistic dragging effects in the Earth's gravitational field with ELXIS: a proposal