Homological sensing for mobile robot localization

In this paper, we consider a multi-phased, minimalistic approach to mobile robot localization that constrains the robot's ability to sense its environment to a binary detection of uniquely identifiable landmarks having unknown position (e.g., a WiFi transceiver detecting network SSIDs). Central to the proposed solution are dual landmark and observation complexes (instances of simplicial nerve complexes), which can be iteratively built through local observations without any metric or time-sequenced information. We have shown that these complexes approximate the topology of the underlying physical environment. Specifically, the notion of a “hole” (i.e., a topological invariant) within these complexes naturally represents a physical structure (e.g., a building) that limits landmark visibility/communication with respect to the robot's location. Taking advantage of this property, we formulate a homological sensing model that operates on these constructs enabling the robot to “count” the number of structures in its vicinity using local homology computations as a pseudo-metric surrogate sensor. Our homological sensor is highlighted in the context of a Monte-Carlo localization algorithm that resolves robot location by correlating the measured number of topological invariants with an unlabeled, metric map location.

[1]  Vijay Kumar,et al.  Invariants for homology classes with application to optimal search and planning problem in robotics , 2012, Annals of Mathematics and Artificial Intelligence.

[2]  Magnus Egerstedt,et al.  Control Using Higher Order Laplacians in Network Topologies , 2006 .

[3]  Daniel D. Lee,et al.  Cooperative relative robot localization with audible acoustic sensing , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[4]  Vin de Silva,et al.  Coordinate-free Coverage in Sensor Networks with Controlled Boundaries via Homology , 2006, Int. J. Robotics Res..

[5]  Vijay Kumar,et al.  Optimal trajectory generation under homology class constraints , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[6]  Michael A. Erdmann,et al.  On the Topology of Discrete Strategies , 2010, Int. J. Robotics Res..

[7]  Dieter Fox,et al.  Gaussian Processes for Signal Strength-Based Location Estimation , 2006, Robotics: Science and Systems.

[8]  Gregory Dudek,et al.  Pure Topological Mapping in Mobile Robotics , 2010, IEEE Transactions on Robotics.

[9]  Michael Farber,et al.  Topological complexity of configuration spaces , 2008, 0806.4111.

[10]  Frank Dellaert,et al.  A Sample of Monte Carlo Methods in Robotics and Vision , 2003 .

[11]  Michael Robinson,et al.  Topological Localization Via Signals of Opportunity , 2012, IEEE Transactions on Signal Processing.

[12]  Konstantin Mischaikow,et al.  Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps , 2014, Found. Comput. Math..

[13]  Kostas E. Bekris,et al.  Evaluation of algorithms for bearing-only SLAM , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[14]  Frank Dellaert,et al.  Intrinsic Localization and Mapping with 2 applications: Diffusion Mapping and Macro Polo localization , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[15]  Wolfram Burgard,et al.  Robust Monte Carlo localization for mobile robots , 2001, Artif. Intell..

[16]  Daniel E. Koditschek,et al.  Gait Transitions for Quasi-static Hexapedal Locomotion on Level Ground , 2009, ISRR.

[17]  Yuliy Baryshnikov,et al.  Target Enumeration via Euler Characteristic Integrals , 2009, SIAM J. Appl. Math..

[18]  Manuela M. Veloso,et al.  WiFi localization and navigation for autonomous indoor mobile robots , 2010, 2010 IEEE International Conference on Robotics and Automation.

[19]  Edwin Olson,et al.  Robust Range-Only Beacon Localization , 2006 .

[20]  Frank Dellaert,et al.  Online probabilistic topological mapping , 2011, Int. J. Robotics Res..

[21]  R. Ho Algebraic Topology , 2022 .

[22]  Wesley H. Huang,et al.  Topological Map Merging , 2005, Int. J. Robotics Res..

[23]  Alireza Tahbaz-Salehi,et al.  Distributed Coverage Verification in Sensor Networks Without Location Information , 2010, IEEE Transactions on Automatic Control.

[24]  Wolfram Burgard,et al.  Probabilistic Robotics (Intelligent Robotics and Autonomous Agents) , 2005 .

[25]  J. Derenick,et al.  Topological Landmark-based Navigation and Mapping , 2012 .

[26]  Abubakr Muhammad,et al.  Dynamic Coverage Verification in Mobile Sensor Networks Via Switched Higher Order Laplacians , 2007, Robotics: Science and Systems.

[27]  Gaurav S. Sukhatme,et al.  An Experimental Study of Localization Using Wireless Ethernet , 2003, FSR.

[28]  David C. Moore,et al.  Robust distributed network localization with noisy range measurements , 2004, SenSys '04.

[29]  Sanjiv Singh,et al.  Experimental results in range-only localization with radio , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[30]  Vijay Kumar,et al.  Topological constraints in search-based robot path planning , 2012, Auton. Robots.