. Abdallah, Box particle filtering for nonlinear state estimation using interval analysis, Graphics Processing Unit : processeur graphique 2, pp.807-815, 2008.
DOI : 10.1016/j.automatica.2007.07.024

A. Aitken, IV.???On Least Squares and Linear Combination of Observations., Proc. R. Soc. Edinb, pp.42-48, 1934.
DOI : 10.1214/aoms/1177732930

W. Baarda, A testing procedure for use in geodetic networks, 1968.

S. Bancroft, An Algebraic Solution of the GPS Equations, IEEE Transactions on Aerospace and Electronic Systems, vol.21, issue.1, pp.56-59, 1985.
DOI : 10.1109/TAES.1985.310538

. Basseville, . Nikiforov, M. Basseville, and I. Nikiforov, Detection of abrupt changes : theory and application, 1993.
URL : https://hal.archives-ouvertes.fr/hal-00008518

. Benhamou, Revising hull and box consistency, Int. Conf. on Logic Programming, pp.230-244, 1999.

. Bétaille, Making an Enhanced Map for Lane Location Based Services, 2008 11th International IEEE Conference on Intelligent Transportation Systems, pp.711-716, 2008.
DOI : 10.1109/ITSC.2008.4732632

P. Bouron, Méthodes ensemblistes pour le diagnostic, l'estimation d'état et la fusion de données temporelles, 2002.

A. K. Brown, Receiver autonomous integrity monitoring using a 24-satellite GPS constellation, Institute of Navigation, Technical Meeting, pp.256-262, 1987.

R. G. Brown, A Baseline GPS RAIM Scheme and a Note on the Equivalence of Three RAIM Methods, Navigation, vol.35, issue.4, 1992.
DOI : 10.1002/j.2161-4296.1992.tb02278.x

G. Chabert and L. Jaulin, Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009.
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957

. Chausse, Vehicle localization on a digital map using particles filtering, IEEE Proceedings. Intelligent Vehicles Symposium, 2005., pp.243-248, 2005.
DOI : 10.1109/IVS.2005.1505109

G. Dantzig, Linear programming and extensions, 1963.
DOI : 10.1515/9781400884179

B. Drevelle, V. Drevelle, and P. Bonnifait, High integrity GNSS location zone characterization using interval analysis, Proceedings of ION GNSS 2009, pp.2178-2187, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00444819

B. Drevelle, V. Drevelle, and P. Bonnifait, Integrity zone computation using interval analysis, Proceedings of the European Navigation Conference, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00444806

V. Drevelle and P. Bonnifait, Robust positioning using relaxed constraint-propagation, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.4843-4848, 2010.
DOI : 10.1109/IROS.2010.5649794
URL : https://hal.archives-ouvertes.fr/hal-00539986

B. Drevelle, 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

B. Drevelle, V. Drevelle, and P. Bonnifait, Global positioning in urban areas with 3-D maps, 2011 IEEE Intelligent Vehicles Symposium (IV), pp.764-769, 2011.
DOI : 10.1109/IVS.2011.5940534
URL : https://hal.archives-ouvertes.fr/hal-00608198

. Dunik, Multiple-model filtering with multiple constraints, Proceedings of the 2010 American Control Conference, pp.6858-6863, 2010.
DOI : 10.1109/ACC.2010.5531573

. Duquenne, GPS : localisation et navigation par satellites, 2005.

S. Durand, Amélioration de la précision de la localisation différentielle temps réel par mesure de phase des systËmes GNSS, 2003.

. Feng, A measurement domain receiver autonomous integrity monitoring algorithm, GPS Solutions, vol.35, issue.2, pp.85-96, 2006.
DOI : 10.1007/s10291-005-0010-8

B. Fischler, M. A. Fischler, and R. C. Bolles, Random sample consensus: a paradigm for model fitting with applications to image analysis and automated cartography, Communications of the ACM, vol.24, issue.6, pp.381-395, 1981.
DOI : 10.1145/358669.358692

C. Fouque, Apport des cartes routières navigables pour le positionnement par satellites des véhicules, 2010.

C. Fouque and P. Bonnifait, Multi-hypothesis map-matching on 3D navigable maps using raw GPS measurements, 13th International IEEE Conference on Intelligent Transportation Systems, pp.1498-1503, 2010.
DOI : 10.1109/ITSC.2010.5625149
URL : https://hal.archives-ouvertes.fr/hal-00527304

. Gning, . Bonnifait, A. Gning, and P. Bonnifait, Constraints propagation techniques on intervals for a guaranteed localization using redundant data, Automatica, vol.42, issue.7, pp.421167-1175, 2006.
DOI : 10.1016/j.automatica.2006.02.024

. Gutmann, Multipath detection and mitigation by means of a MEMS based pressure sensor for low-cost systems, Proceedings of the 22nd International Meeting of the Satellite Division of The Institute of Navigation, pp.2077-2087, 2009.

A. Guttman, R-trees : A dynamic index structure for spatial searching, Proc. SIGMOD International Conference on Management of Data, pp.47-57, 1984.

P. J. Huber, Robust Estimation of a Location Parameter, The Annals of Mathematical Statistics, vol.35, issue.1, pp.73-101, 1964.
DOI : 10.1214/aoms/1177703732

L. Jaulin, Le calcul ensembliste par analyse par intervalles et ses applications, 2000.
URL : https://hal.archives-ouvertes.fr/tel-00457239

L. Jaulin, Robust set-membership state estimation; application to underwater robotics, Automatica, vol.45, issue.1, pp.202-206, 2009.
DOI : 10.1016/j.automatica.2008.06.013
URL : https://hal.archives-ouvertes.fr/hal-00449524

L. Jaulin, Range-only SLAM with occupancy maps ; a setmembership approach, pp.1004-1010, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00636000

L. Jaulin, Set-membership localization with probabilistic errors, Robotics and Autonomous Systems, vol.59, issue.6, pp.489-495, 2011.
DOI : 10.1016/j.robot.2011.03.005
URL : https://hal.archives-ouvertes.fr/hal-00593265

. Jaulin, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

. Jaulin, Guaranteed robust nonlinear estimation with application to robot localization, IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), vol.32, issue.4, pp.374-382, 2002.
DOI : 10.1109/TSMCC.2002.806747
URL : https://hal.archives-ouvertes.fr/hal-00845581

W. Jaulin, L. Jaulin, and E. Walter, Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993.
DOI : 10.1016/0005-1098(93)90106-4

. Jaulin, Guaranteed robust nonlinear parameter bounding, CESA'96 IMACS Multiconference (Symposium on Modelling, pp.1156-1161, 1996.

. Julier, . Laviola, S. J. Julier, and J. J. Laviola, On Kalman Filtering With Nonlinear Equality Constraints, IEEE Transactions on Signal Processing, vol.55, issue.6, pp.552774-2784, 2007.
DOI : 10.1109/TSP.2007.893949

H. Kaplan, E. Kaplan, and C. Hegarty, Understanding GPS : Principles and Applications Second Edition, 2006.

M. Kieffer, Estimation ensembliste par analyse par intervalles . Application à la localisation d'un véhicule, 1999.
URL : https://hal.archives-ouvertes.fr/tel-00473805

. Kieffer, Robust autonomous robot localization using interval analysis, Reliable Computing, vol.6, issue.3, pp.337-362, 2000.
DOI : 10.1023/A:1009990700281
URL : https://hal.archives-ouvertes.fr/hal-00844915

. Lahrech, Accurate vehicle positioning in urban areas, 31st Annual Conference of IEEE Industrial Electronics Society, 2005. IECON 2005., pp.486-490, 2005.
DOI : 10.1109/IECON.2005.1568953

. Marchand and O. Le-marchand, Estimation robuste de la position d'un véhicule dans un environnement complexe et mesure de l'intégrité de l'information, 2010.

[. Marchand, Characterization of GPS multipath for passenger vehicles across urban environments, pp.77-88, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00445114

A. Leick, GPS satellite surveying, 2004.
DOI : 10.1002/9781119018612

O. Lévêque, Méthodes Ensemblistes pour la Localisation de Véhicules, 1998.

. Li, Accuracy and reliability of map-matched GPS coordinates: the dependence on terrain model resolution and interpolation algorithm, Computers & Geosciences, vol.31, issue.2, pp.31241-251, 2005.
DOI : 10.1016/j.cageo.2004.06.011

R. Moore, Interval analysis, 1966.

. Paparoditis, Surface reconstruction in urban areas from multiple views of aerial digital frame cameras . International Archives of Photogrammetry and Remote Sensing, pp.3343-50, 2000.

P. Rousseeuw, Least Median of Squares Regression, Journal of the American Statistical Association, vol.53, issue.388, pp.871-880, 1984.
DOI : 10.1214/aos/1176345451
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.928

. Rtca-sc-159, RTCA/DO-229D -Minimum operational performance standards for global positioning system/Wide area augmentation system airborne equipment, p.159, 2006.

. Selloum, Robustification of a map aided location process using road direction, 13th International IEEE Conference on Intelligent Transportation Systems, pp.1504-1510, 2005.
DOI : 10.1109/ITSC.2010.5625206
URL : https://hal.archives-ouvertes.fr/hal-00919689

S. , H. Sutherland, I. E. Hodgman, and G. W. , Reentrant polygon clipping, Communications of the ACM, vol.17, issue.1, pp.32-42, 1974.
DOI : 10.1145/360767.360802

C. Syed, S. Syed, and M. E. Cannon, Map-aided gps navigation, GPS World, vol.16, issue.11, pp.39-44, 2005.

. Taylor, Intelligent positioning : GIS-GPS unification, 2006.
DOI : 10.1002/0470035668

P. J. Teunissen, Quality control in integrated navigation systems, IEEE Aerospace and Electronic Systems Magazine, vol.5, issue.7, pp.35-41, 1990.
DOI : 10.1109/62.134219
URL : http://repository.tudelft.nl/islandora/object/uuid:47fe69a7-12a4-46d5-a229-7f3e108d6ad4/datastream/OBJ/download

. Tolman, The GPS Toolkit : Open Source GPS Software Generating Semantic Description from Drawings of Scenes with Shadows, Proceedings of the 16th International Technical Meeting of the Satellite Division of the Institute of Navigation, 1972.