Constraints propagation techniques on intervals for a guaranteed localization using redundant data

In order to estimate continuously the dynamic location of a car, dead reckoning and absolute sensors are usually merged. The models used for this fusion are non-linear and, therefore, classical tools (such as Bayesian estimation) cannot provide a guaranteed estimation. In some applications, integrity is essential and the ability to guaranty the result is a crucial point. There are bounded-error approaches that are insensitive to non-linearity. In this context, the random errors are only modeled by their maximum bounds. This paper presents a new technique to merge the data of redundant sensors with a guaranteed result based on constraints propagation techniques on real intervals. We have thus developed an approach for the fusion of the two ABS wheel encoders of the rear wheels of a car, a fiber optic gyro and a differential GPS receiver in order to estimate the absolute location of a car. Experimental results show that the precision that one can obtain is acceptable, with a guaranteed result, in comparison with an extended Kalman filter. Moreover, constraints propagation techniques are well adapted to a real-time context.

[1]  Antonios Tsourdos,et al.  Sensor based robot localisation and navigation: using interval analysis and unscented Kalman filter , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

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

[3]  T. Başar,et al.  A New Approach to Linear Filtering and Prediction Problems , 2001 .

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

[5]  Y. F. Huang,et al.  On the value of information in system identification - Bounded noise case , 1982, Autom..

[6]  Frédéric Goualard,et al.  Revising Hull and Box Consistency , 1999, ICLP.

[7]  D. Meizel,et al.  Set-membership non-linear observers with application to vehicle localisation , 2001, 2001 European Control Conference (ECC).

[8]  Amadou Gning,et al.  Guaranteed dynamic localization using constraints propagation techniques on real intervals , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[9]  Eric Walter,et al.  Trace Versus Determinant in Ellipsoidal Outer-Bounding, with Application to State Estimation , 1996 .

[10]  Gaëtan Garcia,et al.  Guaranteed 3-D mobile robot localization using an odometer, an automatic theodolite and indistinguishable landmarks , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[11]  Daniele Nardi,et al.  Multirobot systems: a classification focused on coordination , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[12]  Guanrong Chen,et al.  Interval Kalman filtering , 1997, IEEE Transactions on Aerospace and Electronic Systems.

[13]  S. Malan,et al.  B/sup 3/ algorithm for robust performances analysis in presence of mixed parametric and dynamic perturbations , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[14]  Jeffrey K. Uhlmann,et al.  New extension of the Kalman filter to nonlinear systems , 1997, Defense, Security, and Sensing.

[15]  Eric Walter,et al.  Guaranteed recursive non‐linear state bounding using interval analysis , 2002 .

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

[17]  David L. Waltz,et al.  Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .

[18]  Luc Jaulin,et al.  Nonlinear bounded-error state estimation of continuous-time systems , 2002, Autom..

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

[20]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[21]  Giovanni Muscato,et al.  Localization and self-calibration of a robot for volcano exploration , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.