Sensing and Filtering: A Fresh Perspective Based on Preimages and Information Spaces

This monograph presents an unusual perspective on sensing uncertainty and filtering with the intention of understanding what information is minimally needed to achieve a specified task. Information itself is modeled using information space concepts, which originated from dynamic game theory (rather than information theory, which was developed mainly for communication). The guiding principle in this monograph is avoid sensing, representing, and encoding more than is necessary. The concepts and tools are motivated by many tasks of current interest, such as tracking, monitoring, navigation, pursuit-evasion, exploration, and mapping. First, an overview of sensors that appear in numerous systems is presented. Following this, the notion of a virtual sensor is explained, which provides a mathematical way to model numerous sensors while abstracting away their particular physical implementation. Dozens of useful models are given, each as a mapping from the physical world to the set of possible sensor outputs. Preimages with respect to this mapping represent a fundamental source of uncertainty: These are equivalence classes of physical states that would produce the same sensor output. Pursuing this idea further, the powerful notion of a sensor lattice is introduced, in which all possible virtual sensors can be rigorously compared. The next part introduces filters that aggregate information from multiple sensor readings. The integration of information over space and time is considered. In the spatial setting, classical triangulation methods are expressed in terms of preimages. In the temporal setting, an information-space framework is introduced that encompasses familiar Kalman and Bayesian filters, but also introduces a novel family called combinatorial filters. Finally, the planning problem is presented in terms of filters and information spaces. The monograph concludes with some discussion about connections to many related research fields and numerous open problems and future research directions.

[1]  David Hsu,et al.  SARSOP: Efficient Point-Based POMDP Planning by Approximating Optimally Reachable Belief Spaces , 2008, Robotics: Science and Systems.

[2]  Fred Cohen,et al.  Sensor Beams, Obstacles, and Possible Paths , 2008, WAFR.

[3]  Steven M. LaValle,et al.  Tracking hidden agents through shadow information spaces , 2008, 2008 IEEE International Conference on Robotics and Automation.

[4]  Vladimir J. Lumelsky,et al.  Path-planning strategies for a point mobile automaton moving amidst unknown obstacles of arbitrary shape , 1987, Algorithmica.

[5]  Dimitri P. Bertsekas,et al.  Dynamic Programming: Deterministic and Stochastic Models , 1987 .

[6]  Hugh F. Durrant-Whyte,et al.  Simultaneous localization and mapping: part I , 2006, IEEE Robotics & Automation Magazine.

[7]  Subhash Suri,et al.  Counting Targets with Mobile Sensors in an Unknown Environment , 2007, ALGOSENSORS.

[8]  Steven M. LaValle,et al.  I-Bug: An intensity-based bug algorithm , 2009, 2009 IEEE International Conference on Robotics and Automation.

[9]  Leonidas J. Guibas,et al.  Visibility-Based Pursuit-Evasion in a Polygonal Environment , 1997, WADS.

[10]  Subir Kumar Ghosh,et al.  Visibility Algorithms in the Plane , 2007 .

[11]  Ehud Rivlin,et al.  Sensory-based motion planning with global proofs , 1997, IEEE Trans. Robotics Autom..

[12]  E KavrakiLydia,et al.  Robotics-based location sensing using wireless Ethernet , 2005 .

[13]  Nicholas Roy,et al.  Planning in information space for a quadrotor helicopter in a GPS-denied environment , 2008, 2008 IEEE International Conference on Robotics and Automation.

[14]  Thierry Fraichard,et al.  Dynamic trajectory planning with dynamic constraints: A 'state-time space' approach , 1993, Proceedings of 1993 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '93).

[15]  Paul Newman,et al.  Using incomplete online metric maps for topological exploration with the Gap Navigation Tree , 2008, 2008 IEEE International Conference on Robotics and Automation.

[16]  Kostas E. Bekris,et al.  Robotics-Based Location Sensing Using Wireless Ethernet , 2002, MobiCom '02.

[17]  Masafumi Yamashita,et al.  Searching for a Mobile Intruder in a Polygonal Region , 1992, SIAM J. Comput..

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

[19]  Vladimir J. Lumelsky,et al.  A paradigm for incorporating vision in the robot navigation function , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[20]  Kenneth Y. Goldberg,et al.  Orienting polygonal parts without sensors , 1993, Algorithmica.

[21]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[22]  Michael A. Erdmann,et al.  Understanding Action and Sensing by Designing Action-Based Sensors , 1995, Int. J. Robotics Res..

[23]  Bruce Randall Donald,et al.  Sensor interpretation and task-directed planning using perceptual equivalence classes , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[24]  Dimitri P. Bertsekas,et al.  Dynamic Programming and Optimal Control, Two Volume Set , 1995 .

[25]  Russell H. Taylor,et al.  Automatic Synthesis of Fine-Motion Strategies for Robots , 1984 .

[26]  Michael A. Erdmann,et al.  Randomization for robot tasks: Using dynamic programming in the space of knowledge states , 1993, Algorithmica.

[27]  V. Arnold Mathematical Methods of Classical Mechanics , 1974 .

[28]  James Llinas,et al.  Handbook of Multisensor Data Fusion , 2001 .

[29]  R. Bertram,et al.  Stochastic Systems , 2008, Control Theory for Physicists.

[30]  Kenneth Y. Goldberg,et al.  Bayesian grasping , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[31]  Leslie Pack Kaelbling,et al.  Belief space planning assuming maximum likelihood observations , 2010, Robotics: Science and Systems.

[32]  Ehud Rivlin,et al.  Range-sensor based navigation in three dimensions , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[33]  S. Sastry Nonlinear Systems: Analysis, Stability, and Control , 1999 .

[34]  Matthew T. Mason,et al.  An exploration of sensorless manipulation , 1986, IEEE J. Robotics Autom..

[35]  C. A. Desoer,et al.  Nonlinear Systems Analysis , 1978 .

[36]  Leonidas J. Guibas,et al.  Sensing, tracking and reasoning with relations , 2002, IEEE Signal Process. Mag..

[37]  H. W. Kuhn,et al.  11. Extensive Games and the Problem of Information , 1953 .

[38]  Manuel Blum,et al.  On the power of the compass (or, why mazes are easier to search than graphs) , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

[39]  Peter I. Corke,et al.  A tutorial on visual servo control , 1996, IEEE Trans. Robotics Autom..

[40]  Jean-Claude Latombe,et al.  Robot Motion Planning with Uncertainty in Control and Sensing , 1991, Artif. Intell..

[41]  E. Rowland Theory of Games and Economic Behavior , 1946, Nature.

[42]  A. D. Lewis,et al.  Geometric Control of Mechanical Systems , 2004, IEEE Transactions on Automatic Control.

[43]  Jason M. O'Kane,et al.  Comparing the Power of Robots , 2008, Int. J. Robotics Res..

[44]  Sebastian Thrun,et al.  Simultaneous Localization and Mapping , 2008, Robotics and Cognitive Approaches to Spatial Mapping.

[45]  Matthew T. Mason,et al.  Mechanics of Robotic Manipulation , 2001 .

[46]  Steven M. LaValle,et al.  Distance-Optimal Navigation in an Unknown Environment Without Sensing Distances , 2007, IEEE Transactions on Robotics.

[47]  Chi-Tsong Chen,et al.  Linear System Theory and Design , 1995 .

[48]  Bruce Randall Donald,et al.  On Information Invariants in Robotics , 1995, Artif. Intell..

[49]  M. W. Shields An Introduction to Automata Theory , 1988 .

[50]  John G. Webster,et al.  The Measurement, Instrumentation and Sensors Handbook , 1998 .

[51]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[52]  Howie Choset,et al.  Principles of Robot Motion: Theory, Algorithms, and Implementation ERRATA!!!! 1 , 2007 .

[53]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[54]  G. Swaminathan Robot Motion Planning , 2006 .

[55]  T. Başar,et al.  Dynamic Noncooperative Game Theory , 1982 .

[56]  Joel W. Burdick,et al.  An autonomous sensor-based path-planner for planetary microrovers , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[57]  J. Davenport Editor , 1960 .

[58]  M. Spong,et al.  Robot Modeling and Control , 2005 .