We present an ambiguity resolution method for Global Navigation Satellite System (GNSS)-based attitude determination. A GNSS attitude model with nonlinear constraints is used to rigorously incorporate a priori information. Given the characteristics of the employed nonlinear constraints, we formulate GNSS attitude determination as an optimization problem on a manifold. Then, Riemannian manifold optimization algorithms are utilized to aid ambiguity resolution based on a proposed decomposition of the objective function. The application of manifold geometry enables high-quality float solutions that are critical to reinforcing search-based integer ambiguity resolution in terms of efficiency, availability, and reliability. The proposed approach is characterized by a low computational complexity and a high probability of resolving the ambiguities correctly. The performance of the proposed ambiguity resolution method is tested through a series of simulations and real experiments. Comparisons with the principal benchmarks indicate the superiority of the proposed method as reflected by the high ambiguity resolution success rates.
This paper designs a high accuracy spatial location estimation method using ultrasound waves by exploiting the fixed geometry of the transmitters. Assuming an equilateral triangle antenna configuration, where three antennas are placed as the vertices of an equilateral triangle, the spatial location problem can be formulated as a non-convex optimization problem whose interior is shown to admit a Riemannian manifold structure. The investigation of the geometry of the newly introduced manifold, i.e. the manifold of all equilateral triangles in R^3, allows the design of highly efficient optimization algorithms. Simulation results are presented to compare the performance of the proposed approach against popular methods from the literature. The results suggest that the proposed Riemannian-based methods outperform the state-of-the-art methods. Furthermore, the proposed Riemannian methods require much smaller computation time as compared with popular generic non-convex approaches.
High accuracy range estimation is an essential tool required in many modern applications and technologies. However, continuous range estimation of a moving target is a challenging task, especially under Doppler effects. This paper presents a novel signal design, which we name differential Zadoff-Chu (DZC). Under Doppler effects, DZC sequences improve the performance of the maximum likelihood (ML)-based range estimation compared to its performance when using regular ZC sequences. Moreover, a reduced-complexity ranging algorithm is proposed utilizing DZC sequences and is shown to outperform the regular ZC ML-based range estimation. The proposed system is evaluated in a typical indoor environment, using low-cost ultrasound hardware. Under a low signal to noise ratio (-10 dB SNR), more than 90% of the range estimates are in less than 1.6 mm error, with a movement range from $0.2$ m to 2.2 m and a maximum velocity of 0.5 m/s. For the same movement range, the system provides range estimates with a root mean square error (RMSE) less than 0.76 mm in a high SNR scenario (10 dB), and an MSE less than 0.85 mm in a low SNR scenario (-10 dB). For a larger movement range from 1.8 m to 4.2 m with a maximum velocity of 1.91 m/s, the proposed system provides range estimates with RMSE less than 7.70 mm at 10 dB SNR.