Qualitative relational mapping and navigation for planetary rovers

This paper presents a novel method for qualitative mapping of large scale spaces which decouples the mapping problem from that of position estimation. The proposed framework makes use of a graphical representation of the world in order to build a map consisting of qualitative constraints on the geometric relationships between landmark triplets. This process allows a mobile robot to extract information about landmark positions using a set of minimal sensors in the absence of GPS. A novel measurement method based on camera imagery is presented which extends previous work from the field of Qualitative Spatial Reasoning. A Branch-and-Bound approach is taken to solve a set of non-convex feasibility problems required for generating off-line operator lookup tables and on-line measurements, which are fused into the map using an iterative graph update. A navigation approach for travel between distant landmarks is developed, using estimates of the Relative Neighborhood Graph extracted from the qualitative map in order to generate a sequence of landmark objectives based on proximity. Average and asymptotic performance of the mapping algorithm is evaluated using Monte Carlo tests on randomly generated maps, and a data-driven simulation is presented for a robot traversing the Jet Propulsion Laboratory Mars Yard while building a relational map. These results demonstrate that the system can be effectively used to build a map sufficiently complete and accurate for long-distance navigation as well as other applications. Large scale spaces can be mapped by mobile robots using qualitative relationships.Allows mobile robots to determine landmark positions without global information.Qualitative relations can be extracted from sets of monocular images.Mapped spaces can be re-traversed using a graph-based approach.Performance is evaluated using Monte Carlo tests on randomly generated maps.

[1]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[2]  Jean-Arcady Meyer,et al.  Incremental vision-based topological SLAM , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[3]  P. Gaussiera,et al.  The visual homing problem : An example of robotics / biology cross fertilization , 1999 .

[4]  Tom Duckett,et al.  Scan registration for autonomous mining vehicles using 3D-NDT: Research Articles , 2007 .

[5]  Bernhard Nebel,et al.  Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation , 2001, COSIT.

[6]  Sebastian Thrun,et al.  Probabilistic robotics , 2002, CACM.

[7]  Gamini Dissanayake,et al.  Convergence and Consistency Analysis for Extended Kalman Filter Based SLAM , 2007, IEEE Transactions on Robotics.

[8]  Jan Oliver Wallgrün,et al.  Qualitative Spatial Reasoning for Topological Map Learning , 2010, Spatial Cogn. Comput..

[9]  Kanti V. Mardia,et al.  MULTIVARIATE SHAPE ANALYSIS , 2016 .

[10]  Jeffrey K. Uhlmann,et al.  A counter example to the theory of simultaneous localization and map building , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[11]  Ian D. Reid,et al.  Vast-scale Outdoor Navigation Using Adaptive Relative Bundle Adjustment , 2010, Int. J. Robotics Res..

[12]  Larry Matthies,et al.  Stereo vision and rover navigation software for planetary exploration , 2002, Proceedings, IEEE Aerospace Conference.

[13]  Bernhard Nebel,et al.  Qualitative Spatial Reasoning Using Constraint Calculi , 2007, Handbook of Spatial Logics.

[14]  Bernhard Nebel,et al.  The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning , 2004, Spatial Cognition.

[15]  Jeffrey J. Biesiadecki,et al.  Attitude and position estimation on the Mars exploration rovers , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[16]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[17]  Benjamin Kuipers,et al.  Navigation and Mapping in Large Scale Space , 1988, AI Mag..

[18]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[19]  Paul Newman,et al.  FAB-MAP: Probabilistic Localization and Mapping in the Space of Appearance , 2008, Int. J. Robotics Res..

[20]  Mark McClelland,et al.  Anticipation as a Method for Overcoming Time Delay in Control of Remote Systems , 2010 .

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

[22]  P. Gunz,et al.  Advances in Geometric Morphometrics , 2009, Evolutionary Biology.

[23]  Tod S. Levitt,et al.  Qualitative Navigation for Mobile Robots , 1990, Artif. Intell..

[24]  Eliseo Clementini,et al.  A Qualitative Approach to Localization and Navigation Based on Visibility Information , 2009, COSIT.

[25]  Christoph Schlieder,et al.  Representing Visible Locations for Qualitative Navigation , 1993 .

[26]  George L. Nemhauser,et al.  A branch-and-cut algorithm for nonconvex quadratic programs with box constraints , 2005, Math. Program..

[27]  José A. Castellanos,et al.  Robocentric map joining: Improving the consistency of EKF-SLAM , 2007, Robotics Auton. Syst..

[28]  Hanif D. Sherali,et al.  A reformulation-convexification approach for solving nonconvex quadratic programming problems , 1995, J. Glob. Optim..

[29]  Antonio Torralba,et al.  Context-based vision system for place and object recognition , 2003, Proceedings Ninth IEEE International Conference on Computer Vision.

[30]  Godfried T. Toussaint,et al.  Relative neighborhood graphs and their relatives , 1992, Proc. IEEE.

[31]  Anthony G. Cohn,et al.  Calculi for Qualitative Spatial Reasoning , 1996, AISMC.

[32]  Mark McClelland,et al.  Qualitative Relational Mapping for Mobile Robots with Minimal Sensing , 2014, J. Aerosp. Inf. Syst..

[33]  Tom Duckett,et al.  Scan registration for autonomous mining vehicles using 3D‐NDT , 2007, J. Field Robotics.

[34]  Peter van Beek,et al.  Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..

[35]  Costas D. Maranas,et al.  Global Optimization in Generalized Geometric Programming , 1997, Encyclopedia of Optimization.

[36]  Panos M. Pardalos,et al.  Quadratic Programming with Box Constraints , 1997 .