Topological exploration of subterranean environments

The need for reliable maps of subterranean spaces too hazardous for humans to occupy has motivated the development of robotic mapping tools suited to these domains. As such, this work describes a system developed for autonomous topological exploration of mine environments to facilitate the process of mapping. The exploration framework is based upon the interaction of three main components: Node detection, node matching, and edge exploration. Node detection robustly identifies mine corridor intersections from sensor data and uses these features as the building blocks of a topological map. Node matching compares newly observed intersections to those stored in the map, providing global localization during exploration. Edge exploration translates topological exploration objectives into locomotion along mine corridors. This article describes both the robotic platform and the algorithms developed for exploration, and presents results from experiments conducted at a research coal mine near Pittsburgh, PA. © 2006 Wiley Periodicals, Inc.

[1]  John F. Canny,et al.  Constructing Roadmaps of Semi-Algebraic Sets I: Completeness , 1988, Artificial Intelligence.

[2]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[3]  Jean-Claude Latombe,et al.  Robot motion planning , 1991, The Kluwer international series in engineering and computer science.

[4]  Michael Jenkin,et al.  Robotic exploration as graph construction , 1991, IEEE Trans. Robotics Autom..

[5]  Benjamin Kuipers,et al.  A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations , 1991, Robotics Auton. Syst..

[6]  Paul J. Besl,et al.  A Method for Registration of 3-D Shapes , 1992, IEEE Trans. Pattern Anal. Mach. Intell..

[7]  R. C. Coulter,et al.  Implementation of the Pure Pursuit Path Tracking Algorithm , 1992 .

[8]  H. Hartman SME mining engineering handbook , 1992 .

[9]  A. Agresti Categorical data analysis , 1993 .

[10]  Jarek Rossignac,et al.  Multi-resolution 3D approximations for rendering complex scenes , 1993, Modeling in Computer Graphics.

[11]  Gregory Dudek,et al.  Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds , 1993, IJCAI.

[12]  Howie Choset,et al.  Sensor based planning. II. Incremental construction of the generalized Voronoi graph , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[13]  Jonathan Richard Shewchuk,et al.  Triangle: Engineering a 2D Quality Mesh Generator and Delaunay Triangulator , 1996, WACG.

[14]  Evangelos E. Milios,et al.  Globally Consistent Range Scan Alignment for Environment Mapping , 1997, Auton. Robots.

[15]  Howie Choset,et al.  Sensor based planning: a control law for generating the generalized Voronoi graph , 1997, 1997 8th International Conference on Advanced Robotics. Proceedings. ICAR'97.

[16]  Michael R. M. Jenkin,et al.  Map validation and robot self-location in a graph-like world , 1997, Robotics Auton. Syst..

[17]  Jean-Paul Laumond,et al.  Robot Motion Planning and Control , 1998 .

[18]  Jean-Paul Laumond,et al.  Guidelines in nonholonomic motion planning for mobile robots , 1998 .

[19]  Tomaz Slivnik,et al.  Constructing the generalized local Voronoi diagram from laser range scanner data , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[20]  William T. Freeman,et al.  Correctness of Belief Propagation in Gaussian Graphical Models of Arbitrary Topology , 1999, Neural Computation.

[21]  Keiji Nagatani,et al.  Topological simultaneous localization and mapping (SLAM): toward exact localization without explicit localization , 2001, IEEE Trans. Robotics Autom..

[22]  Pavel Krsek,et al.  The Trimmed Iterative Closest Point algorithm , 2002, Object recognition supported by user interaction for service robots.

[23]  Benjamin Kuipers,et al.  Bootstrap learning for place recognition , 2002, AAAI/IAAI.

[24]  Alonzo Kelly,et al.  A constrained optimization approach to globally consistent mapping , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[25]  Roland Siegwart,et al.  Hybrid simultaneous localization and map building: closing the loop with multi-hypotheses tracking , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[26]  Alonzo Kelly,et al.  Reactive Nonholonomic Trajectory Generation via Parametric Optimal Control , 2003, Int. J. Robotics Res..

[27]  Benjamin Kuipers,et al.  Using the topological skeleton for scalable global metrical map-building , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[28]  David M. Bradley,et al.  A regional point descriptor for global topological localization in flooded subterranean environments , 2004, IEEE Conference on Robotics, Automation and Mechatronics, 2004..

[29]  Benjamin Kuipers,et al.  Local metrical and global topological maps in the hybrid spatial semantic hierarchy , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[30]  Sebastian Thrun,et al.  A campaign in autonomous mine mapping , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[31]  Roland Siegwart,et al.  Topology learning and recognition using Bayesian programming for mobile robot navigation , 2004 .

[32]  Benjamin Kuipers,et al.  Towards Autonomous Topological Place Detection Using the Extended Voronoi Graph , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[33]  Howie Choset,et al.  The hierarchical atlas , 2005, IEEE Transactions on Robotics.

[34]  David Silver,et al.  Towards Topological Exploration of Abandoned Mines , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.