A set-membership approach for high integrity height-aided satellite positioning

A Robust Set-Inversion via Interval Analysis method in a bounded-error framework is used to compute three-dimensional location zones in real time, at a given confidence level. This approach differs significantly from the usual Gaussian error model paradigm, since the satellite positions and the pseudorange measurements are represented by intervals encompassing the true value with a particular level of confidence. The method computes a location zone recursively, using contractions and bisections of an arbitrarily large initial location box. Such an approach can also handle an arbitrary number of erroneous measurements using a q-relaxed solver and allows the integration of geographic and cartographic information such as digital elevation models or three-dimensional maps. With enough data redundancy, inconsistent measurements can be detected and even rejected. The integrity risk of the location zone comes only from the measurement bounds settings, since the solver is guaranteed. A method for setting these bounds for a particular location zone confidence level is proposed. An experimental validation using real L1 code measurements and a digital elevation model is also reported in order to illustrate the performance of the method on real data.

[1]  P. Bonnifait,et al.  Characterization of GPS multipath for passenger vehicles across urban environments , 2009 .

[2]  Jing Li,et al.  Accuracy and reliability of map-matched GPS coordinates: the dependence on terrain model resolution and interpolation algorithm , 2005, Comput. Geosci..

[3]  S. Bancroft.  An Algebraic Solution of the GPS Equations , 1985, IEEE Transactions on Aerospace and Electronic Systems.

[4]  Eric Walter,et al.  Set inversion via interval analysis for nonlinear bounded-error estimation , 1993, Autom..

[5]  Christof Röhrig,et al.  Indoor location tracking in non-line-of-sight environments using a IEEE 802.15.4a wireless network , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[6]  Fan-Ren Chang,et al.  A Solution to the Ill-Conditioned GPS Positioning Problem in an Urban Environment , 2009, IEEE Transactions on Intelligent Transportation Systems.

[7]  Luc Jaulin,et al.  Robust set-membership state estimation; application to underwater robotics , 2009, Autom..

[8]  P.J.G. Teunissen,et al.  Quality control in integrated navigation systems , 1990, IEEE Aerospace and Electronic Systems Magazine.

[9]  Peter Teunissen,et al.  Minimal detectable biases of GPS data , 1998 .

[10]  Eric Walter,et al.  Guaranteed robust nonlinear estimation with application to robot localization , 2002, IEEE Trans. Syst. Man Cybern. Part C.

[11]  P. Enge,et al.  Failure Detection and Exclusion via Range Consensus , 2008 .

[12]  Luc Jaulin,et al.  Applied Interval Analysis , 2001, Springer London.

[13]  A. Leick.  GPS satellite surveying , 1990 .

[14]  Per Enge,et al.  Weighted RAIM for Precision Approach , 1995 .

[15]  Eric Walter,et al.  Robust Autonomous Robot Localization Using Interval Analysis , 2000, Reliab. Comput..

[16]  P. J. Huber.  Robust Estimation of a Location Parameter , 1964 .

[17]  Johannes Gutmann,et al.  Multipath Detection and Mitigation by Means of a MEMS Based Pressure Sensor for Low-cost Systems , 2009 .

[18]  Eric Walter,et al.  Initial localization by set inversion , 2002, IEEE Trans. Robotics Autom..

[19]  R. Grover Brown,et al.  A Baseline GPS RAIM Scheme and a Note on the Equivalence of Three RAIM Methods , 1992 .

[20]  Martin Salzmann.  MDB: A design tool for integrated navigation systems , 1991 .

[21]  W. Baarda,et al.  A testing procedure for use in geodetic networks. , 1968 .

[22]  Philippe Bonnifait,et al.  Tightly-coupled GIS data in GNSS fix computations with integrity testing , 2008, Int. J. Intell. Inf. Database Syst..

[23]  Steve Hewitson,et al.  GNSS Receiver Autonomous Integrity Monitoring with a Dynamic Model , 2007, Journal of Navigation.

[24]  Shaojun Feng,et al.  A measurement domain receiver autonomous integrity monitoring algorithm , 2006 .

[25]  Philippe Bonnifait,et al.  Integrity Zone Computation using Interval Analysis , 2009 .

[26]  Philippe Bonnifait,et al.  High Integrity GNSS Location Zone Characterization using Interval Analysis , 2009 .

[27]  Eric Walter,et al.  Guaranteed non-linear estimation using constraint propagation on sets , 2001 .