EFFICIENT GLOBAL LOCALIZATION BY SEARCHING A BIT-ENCODED GRAPH

Abstract Global localization is the problem of finding a totally unknown robot pose given a known map and a set of observations relative to the robot. This is the combinatorial correspondence problem between map landmarks and observations, and its complete solution is an NP-hard problem that makes it computationally intractable when the size of the map increases. We propose the use of bit encoded graphs that take advantage of bit parallelism when solving instances of the deeply studied in graph theory Maximum Clique Problem (MCP). We have implemented and compared our solution with standard branch and bound heuristic search over the space of possible associations. Although the computational complexity of our algorithm is still exponential because it is complete, our results prove an impressive reduction of two orders of magnitude in required processing time thanks to the efficient underlying model, making it possible to deal with previously computationally intractable scenarios. Moreover, it is the first time (up to our knowledge) that this kind of technique is used in the robotics domain and it could possibly be applied to other problems such as path planning.

[1]  Remco C. Veltkamp,et al.  State of the Art in Shape Matching , 2001, Principles of Visual Information Retrieval.

[2]  Panos M. Pardalos,et al.  The maximum clique problem , 1994, J. Glob. Optim..

[3]  Pablo San Segundo,et al.  Efficient Search Using Bitboard Models , 2006, 2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06).

[4]  Pravin M. Vaidya,et al.  Geometry helps in matching , 1989, STOC '88.

[5]  P. Pardalos,et al.  An exact algorithm for the maximum clique problem , 1990 .

[6]  Ernst A. Heinz How Darkthought Plays Chess , 1997, J. Int. Comput. Games Assoc..

[7]  Margrit Betke,et al.  Mobile robot localization using landmarks , 1997, IEEE Trans. Robotics Autom..

[8]  Ernst A. Heinz,et al.  Scalable Search in Computer Chess , 2000, Computational Intelligence.

[9]  Janez Konc,et al.  An improved branch and bound algorithm for the maximum clique problem , 2007 .

[10]  Hugh F. Durrant-Whyte,et al.  Data association for mobile robot navigation: a graph theoretic approach , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[11]  Juan D. Tardós,et al.  Data association in stochastic mapping using the joint compatibility test , 2001, IEEE Trans. Robotics Autom..