F. Peyret, D. Bétaille, and F. Mougel, Non-line-of-sight GNSS signal detection using an on-board 3D model of buildings, ITS Telecommunications (ITST), 2011 11th International Conference on, pp.280-286, 2011.

D. Bétaille, F. Peyret, M. Ortiz, S. Miquel, and L. Fontenay, A New Modeling Based on Urban Trenches to Improve GNSS Positioning Quality of Service in Cities, IEEE Intelligent Transportation Systems Magazine, vol.5, issue.3, pp.59-70, 2013.
DOI : 10.1109/MITS.2013.2263460

T. Walter and P. Enge, Weighted RAIM for precision approach, Proceedings of ION GPS, 1995.

S. Ding, Model-based fault diagnosis techniques: design schemes, algorithms, and tools, 2008.
DOI : 10.1007/978-1-4471-4799-2

B. Marx, D. Maquin, and J. R. , State estimation and diagnosis of uncertain system based on an interval approach, Conference on Control and Fault-Tolerant Systems, SysTol'10, 2010.

T. Raïssi, G. Videau, and A. Zolghadri, Interval observer design for consistency checks of nonlinear continuous-time systems, Automatica, vol.46, issue.3, pp.518-527, 2010.
DOI : 10.1016/j.automatica.2009.12.005

O. Adrot, H. Janati-idrissi, and D. Maquin, FAULT DETECTION BASED ON INTERVAL ANALYSIS, 15th IFAC World Congress on Automatic Control, 2002.
DOI : 10.3182/20020721-6-ES-1901.00762
URL : https://hal.archives-ouvertes.fr/hal-00278211

I. Fagarasan, S. Ploix, and S. Gentil, Causal fault detection and isolation based on a set-membership approach, Automatica, vol.40, pp.2099-2110, 2004.

V. Reppa and A. Tzes, Fault Detection based on Orthotopic Set Membership Identification for Robot Manipulators, 17th IFAC World Congress (IFAC'08), pp.7344-7349, 2008.
DOI : 10.3182/20080706-5-KR-1001.01242

V. Drevelle and P. Bonnifait, A set-membership approach for high integrity height-aided satellite positioning, GPS Solutions, vol.72, issue.7, pp.357-368, 2011.
DOI : 10.1007/s10291-010-0195-3
URL : https://hal.archives-ouvertes.fr/hal-00608133

S. Schön and H. Kutterer, Uncertainty in GPS Networks due to Remaining Systematic Errors: The Interval Approach, Journal of Geodesy, vol.11, issue.2, pp.150-162, 2006.
DOI : 10.1007/s00190-006-0042-z

A. Ingimundarson, J. Bravo, V. Puig, T. Alamo, and P. Guerra, Robust fault detection using zonotope-based set-membership consistency test, International Journal of Adaptive Control and Signal Processing, vol.12, issue.1, pp.311-330, 2009.
DOI : 10.1002/acs.1038

E. Bai, H. Cho, R. Tempo, and Y. Ye, Optimization with few violated constraints for linear bounded error parameter estimation, IEEE Transactions on Automatic Control, vol.47, issue.7, pp.1067-1077, 2002.
DOI : 10.1109/TAC.2002.800644

J. Leger and M. Kieffer, Guaranteed robust distributed estimation in a network of sensors, 2010 IEEE International Conference on Acoustics, Speech and Signal Processing, pp.3378-3381, 2010.
DOI : 10.1109/ICASSP.2010.5496002
URL : https://hal.archives-ouvertes.fr/hal-00549168

V. Drevelle and P. Bonnifait, Localization Confidence Domains via Set Inversion on Short-Term Trajectory, IEEE Transactions on Robotics, vol.29, issue.5, pp.1244-1256, 2013.
DOI : 10.1109/TRO.2013.2262776
URL : https://hal.archives-ouvertes.fr/hal-00877443

R. Moore, Interval analysis, 1966.

L. Jaulin, M. Kieffer, O. Didrit, and É. Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget, Revising hull and box consistency, Int. Conf. on Logic Programming, pp.230-244, 1999.

L. Jaulin, É. Walter, and O. Didrit, Guaranteed robust nonlinear parameter bounding. CESA'96 IMACS Multiconference (Symposium on Modelling, Analysis and Simulation), vol.2, pp.1156-1161, 1996.

L. Marchand, O. Bonnifait, P. Ibañez-guzmán, J. Betaille, D. Peyret et al., Characterization of GPS multipath for passenger vehicles across urban environments. ATTI dell'Istituto Italiano di, Navigazione Jul, issue.189, pp.77-88, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00445114

A. Computation, . Of, . Center, and . Gravity, With the same idea to prepare the subpaving analysis during the set inversion process, it is possible to apply the same strategy for the computation of the center of gravity. Indeed, the center of gravity is often use as a point position estimate. The following algorithm is designed to compute the subpaving's center of gravity and the compatibility of each measurement with the solution during the set inversion process