A Dynamical System Approach for Resource-Constrained Mobile Robotics

OF THE DISSERTATION A DYNAMICAL SYSTEM APPROACH FOR RESOURCE-CONSTRAINED MOBILE ROBOTICS by Tauhidul Alam Florida International University, 2018 Miami, Florida Professor Leonardo Bobadilla, Major Professor The revolution of autonomous vehicles has led to the development of robots with abundant sensors, actuators with many degrees of freedom, high-performance computing capabilities, and high-speed communication devices. These robots use a large volume of information from sensors to solve diverse problems. However, this usually leads to a significant modeling burden as well as excessive cost and computational requirements. Furthermore, in some scenarios, sophisticated sensors may not work precisely, the real-time processing power of a robot may be inadequate, the communication among robots may be impeded by natural or adversarial conditions, or the actuation control in a robot may be insubstantial. In these cases, we have to rely on simple robots with limited sensing and actuation, minimal onboard processing, moderate communication, and insufficient memory capacity. This reality motivates us to model simple robots such as bouncing and underactuated robots making use of the dynamical system techniques. In this dissertation, we propose a four-pronged approach for solving tasks in resource-constrained scenarios: 1) Combinatorial filters for bouncing robot localization; 2) Bouncing robot navigation and coverage; 3) Stochastic multi-robot patrolling; and 4) Deployment and planning of underactuated aquatic robots.

[1]  C. Hsu,et al.  Cell-To-Cell Mapping A Method of Global Analysis for Nonlinear Systems , 1987 .

[2]  Jason M. O'Kane,et al.  Almost-Sensorless Localization , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[3]  Gaurav S. Sukhatme,et al.  Informative path planning for an autonomous underwater vehicle , 2010, 2010 IEEE International Conference on Robotics and Automation.

[4]  Ming Li,et al.  Review of research on agricultural vehicle autonomous guidance , 2009 .

[5]  Marshall Freimer,et al.  a study of the generalized tukey lambda family , 1988 .

[6]  Fei-Yue Wang,et al.  A cell mapping method for general optimum trajectory planning of multiple robotic arms , 1994, Robotics Auton. Syst..

[7]  Dylan A. Shell,et al.  Space-Efficient Filters for Mobile Robot Localization from Discrete Limit Cycles , 2018, IEEE Robotics and Automation Letters.

[8]  Nicola Basilico,et al.  Patrolling security games: Definition and algorithms for solving large instances with single patroller and single intruder , 2012, Artif. Intell..

[9]  Nancy M. Amato,et al.  On the probabilistic completeness of the sampling-based feedback motion planners in belief space , 2012, 2012 IEEE International Conference on Robotics and Automation.

[10]  David Portugal,et al.  A Survey on Multi-robot Patrolling Algorithms , 2011, DoCEIS.

[11]  Ioannis M. Rekleitis,et al.  Drifter Sensor Network for Environmental Monitoring , 2015, 2015 12th Conference on Computer and Robot Vision.

[12]  Howie Choset,et al.  Coverage for robotics – A survey of recent results , 2001, Annals of Mathematics and Artificial Intelligence.

[13]  Stefano Carpin,et al.  Online patrolling using hierarchical spatial representations , 2012, 2012 IEEE International Conference on Robotics and Automation.

[14]  Russ Tedrake,et al.  LQR-trees: Feedback motion planning on sparse randomized trees , 2009, Robotics: Science and Systems.

[15]  Larry H. Matthies,et al.  Miniature robots for space and military missions , 1998, IEEE Robotics Autom. Mag..

[16]  Vijay Kumar,et al.  Cooperative air and ground surveillance , 2006, IEEE Robotics & Automation Magazine.

[17]  Alan K. Mackworth,et al.  The effects of communication and visual range on multi-robot repeated boundary coverage , 2012, 2012 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).

[18]  Simeon C. Ntafos,et al.  Optimum watchman routes , 1986, SCG '86.

[19]  Vasek Chvátal,et al.  A Greedy Heuristic for the Set-Covering Problem , 1979, Math. Oper. Res..

[20]  N. Roy,et al.  The Belief Roadmap: Efficient Planning in Belief Space by Factoring the Covariance , 2009, Int. J. Robotics Res..

[21]  Nak Young Chong,et al.  Direction Sensing RFID Reader for Mobile Robot Navigation , 2009, IEEE Transactions on Automation Science and Engineering.

[22]  Gregory Dudek,et al.  Efficient Terrain Driven Coral Coverage Using Gaussian Processes for Mosaic Synthesis , 2016, 2016 13th Conference on Computer and Robot Vision (CRV).

[23]  John F. Canny,et al.  A risc approach to sensing and manipulation , 1995, J. Field Robotics.

[24]  Gaurav S. Sukhatme,et al.  Optimizing waypoints for monitoring spatiotemporal phenomena , 2013, Int. J. Robotics Res..

[25]  Pablo González de Santos,et al.  Mobile-robot navigation with complete coverage of unstructured environments , 2004, Robotics Auton. Syst..

[26]  Steven M. LaValle,et al.  Bitbots: Simple Robots Solving Complex Tasks , 2005, AAAI.

[27]  Gaurav S. Sukhatme,et al.  Persistent ocean monitoring with underwater gliders: Adapting sampling resolution , 2011, J. Field Robotics.

[28]  Dylan A. Shell,et al.  Concise Planning and Filtering: Hardness and Algorithms , 2017, IEEE Transactions on Automation Science and Engineering.

[29]  Steven M. LaValle,et al.  Shadow Information Spaces: Combinatorial Filters for Tracking Targets , 2012, IEEE Transactions on Robotics.

[30]  Ryan N. Smith,et al.  A Whitening-Based Tracking Algorithm for Autonomous Underwater Vehicles , 2018, 2018 OCEANS - MTS/IEEE Kobe Techno-Oceans (OTO).

[31]  Ryan N. Smith,et al.  An Underactuated Vehicle Localization Method in Marine Environments , 2018, OCEANS 2018 MTS/IEEE Charleston.

[32]  Oliver Zielinski,et al.  On Active Current Selection for Lagrangian Profilers , 2013 .

[33]  Leonardo Bobadilla,et al.  Stochastic Multi-Robot Patrolling with Limited Visibility , 2020, J. Intell. Robotic Syst..

[34]  Jason M. O'Kane,et al.  Automatic reduction of combinatorial filters , 2013, 2013 IEEE International Conference on Robotics and Automation.

[35]  J. Marsden,et al.  Definition and properties of Lagrangian coherent structures from finite-time Lyapunov exponents in two-dimensional aperiodic flows , 2005 .

[36]  C. Y. Lee An Algorithm for Path Connections and Its Applications , 1961, IRE Trans. Electron. Comput..

[37]  Stephen P. Boyd Convex optimization of graph Laplacian eigenvalues , 2006 .

[38]  Vijitha Weerackody,et al.  Free-Space Optical Communications for Next-generation Military Networks , 2006, IEEE Communications Magazine.

[39]  Matthew T. Mason,et al.  Posing Polygonal Objects in the Plane by Pushing , 1998, Int. J. Robotics Res..

[40]  Yann Chevaleyre,et al.  A theoretical analysis of multi-agent patrolling strategies , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[41]  Nicola Basilico,et al.  Leader-follower strategies for robotic patrolling in environments with arbitrary topologies , 2009, AAMAS.

[42]  Daniel E. Koditschek,et al.  Sequential Composition of Dynamically Dexterous Robot Behaviors , 1999, Int. J. Robotics Res..

[43]  Jason M. O'Kane,et al.  Guaranteed navigation with an unreliable blind robot , 2010, 2010 IEEE International Conference on Robotics and Automation.

[44]  W. Burgard,et al.  Markov Localization for Mobile Robots in Dynamic Environments , 1999, J. Artif. Intell. Res..

[45]  Ling Hong,et al.  Crises and chaotic transients studied by the generalized cell mapping digraph method , 1999 .

[46]  Peter Stone,et al.  A multi-robot system for continuous area sweeping tasks , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[47]  C. Hsu A theory of cell-to-cell mapping dynamical systems , 1980 .

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

[49]  Philippe Pasquier,et al.  Complete and robust cooperative robot area coverage with limited range , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[50]  Gaurav S. Sukhatme,et al.  Informative planning and online learning with sparse Gaussian processes , 2016, 2017 IEEE International Conference on Robotics and Automation (ICRA).

[51]  A. Caiti,et al.  Evolutionary path planning for autonomous underwater vehicles in a variable ocean , 2004, IEEE Journal of Oceanic Engineering.

[52]  Ryan N. Smith,et al.  A Data-Driven Deployment Approach for Persistent Monitoring in Aquatic Environments , 2018, 2018 Second IEEE International Conference on Robotic Computing (IRC).

[53]  Russ Tedrake,et al.  Robust Online Motion Planning with Regions of Finite Time Invariance , 2012, WAFR.

[54]  Alexander F. Shchepetkin,et al.  The regional oceanic modeling system (ROMS): a split-explicit, free-surface, topography-following-coordinate oceanic model , 2005 .

[55]  A. J. van der Schaft,et al.  Equivalence of dynamical systems by bisimulation , 2004, IEEE Transactions on Automatic Control.

[56]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

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

[58]  Tung-Kuan Liu,et al.  A Novel Crowding Genetic Algorithm and Its Applications to Manufacturing Robots , 2014, IEEE Transactions on Industrial Informatics.

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

[60]  Sylvia C. Wong,et al.  A topological coverage algorithm for mobile robots , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[61]  Matthew T. Mason Kicking the Sensing Habit , 1993, AI Mag..

[62]  Sampath Kannan,et al.  Randomized pursuit-evasion in a polygonal environment , 2005, IEEE Transactions on Robotics.

[63]  Steven M. LaValle,et al.  Gap Navigation Trees: Minimal Representation for Visibility-based Tasks , 2004, WAFR.

[64]  Jason M. O'Kane,et al.  Localization With Limited Sensing , 2007, IEEE Transactions on Robotics.

[65]  Fulvio Mastrogiovanni,et al.  Robust Navigation in an Unknown Environment With Minimal Sensing and Representation , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[66]  Leonardo Bobadilla,et al.  Distributed Multi-Robot Area Patrolling in Adversarial Environments , 2015 .

[67]  Noam Hazon,et al.  On redundancy, efficiency, and robustness in coverage for multiple robots , 2008, Robotics Auton. Syst..

[68]  Paulo Tabuada,et al.  Finite bisimulations of controllable linear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[69]  Hanumant Singh,et al.  Advances in Underwater Robot Vehicles for Deep Ocean Exploration: Navigation, Control, and Survey Operations , 2000 .

[70]  Gaurav S. Sukhatme,et al.  Towards the Improvement of Autonomous Glider Navigational Accuracy Through the use of Regional Ocean Models , 2010 .

[71]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[72]  Frédo Durand,et al.  The 3D visibility complex , 2002, TOGS.

[73]  Steven M. LaValle,et al.  Periodic trajectories of mobile robots , 2017, 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[74]  Dylan A. Shell,et al.  Orienting deformable polygonal parts without sensors , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[75]  Ming C. Leu,et al.  Planning optimal robot trajectories by cell mapping , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[76]  Gaurav S. Sukhatme,et al.  Autonomous Underwater Vehicle trajectory design coupled with predictive ocean models: A case study , 2010, 2010 IEEE International Conference on Robotics and Automation.

[77]  Yan Pailhas,et al.  Path Planning for Autonomous Underwater Vehicles , 2007, IEEE Transactions on Robotics.

[78]  Jason M. O'Kane,et al.  Reliable indoor navigation with an unreliable robot: Allowing temporary uncertainty for maximum mobility , 2012, 2012 IEEE International Conference on Robotics and Automation.

[79]  Ryan N. Smith,et al.  Controlling Buoyancy-Driven Profiling Floats for Applications in Ocean Observation , 2014, IEEE Journal of Oceanic Engineering.

[80]  Sauro Longhi,et al.  Development and experimental validation of an adaptive extended Kalman filter for the localization of mobile robots , 1999, IEEE Trans. Robotics Autom..

[81]  Katia P. Sycara,et al.  Pursuit-evasion in 2.5d based on team-visibility , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[82]  Fred Cohen,et al.  Combinatorial Filters , 2014, ACM Trans. Sens. Networks.

[83]  Alin-Mihai Căilean,et al.  Current Challenges for Visible Light Communications Usage in Vehicle Applications: A Survey , 2017, IEEE Communications Surveys & Tutorials.

[84]  Jason M. O'Kane,et al.  Probabilistic localization with a blind robot , 2008, 2008 IEEE International Conference on Robotics and Automation.

[85]  Svante Carlsson,et al.  Finding the Shortest Watchman Route in a Simple Polygon , 1993, ISAAC.

[86]  Jason M. O'Kane,et al.  A complete algorithm for visibility-based pursuit-evasion with multiple pursuers , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[87]  Marc Carreras,et al.  A survey on coverage path planning for robotics , 2013, Robotics Auton. Syst..

[88]  Kian Hsiang Low,et al.  Multi-robot active sensing of non-stationary gaussian process-based environmental phenomena , 2014, AAMAS.

[89]  Noa Agmon On events in multi-robot patrol in adversarial environments , 2010, AAMAS.

[90]  Stephen P. Boyd,et al.  Minimizing Effective Resistance of a Graph , 2008, SIAM Rev..

[91]  J. Y. Yen,et al.  Finding the K Shortest Loopless Paths in a Network , 2007 .

[92]  Dylan A. Shell,et al.  Minimalist Robot Navigation and Coverage Using a Dynamical System Approach , 2017, 2017 First IEEE International Conference on Robotic Computing (IRC).

[93]  Hugh F. Durrant-Whyte,et al.  Mobile robot localization by tracking geometric beacons , 1991, IEEE Trans. Robotics Autom..

[94]  Matthew Dunbabin,et al.  Go with the flow : optimal AUV path planning in coastal environments , 2009, ICRA 2009.

[95]  Tauhidul Alam,et al.  Decentralized and Nondeterministic Multi-Robot Area Patrolling in Adversarial Environments , 2016 .

[96]  Beom-Hee Lee,et al.  An efficient underwater coverage method for multi-AUV with sea current disturbances , 2009 .

[97]  Steven M. LaValle,et al.  Toward the design and analysis of blind, bouncing robots , 2013, 2013 IEEE International Conference on Robotics and Automation.

[98]  Jason M. O'Kane,et al.  Information spaces for mobile robots , 2005, Proceedings of the Fifth International Workshop on Robot Motion and Control, 2005. RoMoCo '05..

[99]  C. Ian Connolly,et al.  The determination of next best views , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[100]  Simon J. Godsill,et al.  On sequential Monte Carlo sampling methods for Bayesian filtering , 2000, Stat. Comput..

[101]  Nicola Basilico,et al.  Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary Topologies , 2010, AAAI.

[102]  Sarit Kraus,et al.  Multi-robot perimeter patrol in adversarial settings , 2008, 2008 IEEE International Conference on Robotics and Automation.

[103]  G. Sung,et al.  Robotic laparoscopic surgery: a comparison of the DA Vinci and Zeus systems. , 2001, Urology.

[104]  Kris K. Hauser,et al.  Randomized Belief-Space Replanning in Partially-Observable Continuous Spaces , 2010, WAFR.

[105]  T. Başar,et al.  A New Approach to Linear Filtering and Prediction Problems , 2001 .

[106]  Volkan Isler,et al.  Robotic data mules for collecting data over sparse sensor fields , 2011, J. Field Robotics.

[107]  David Avis,et al.  A Linear Algorithm for Computing the Visibility Polygon from a Point , 1981, J. Algorithms.

[108]  J.A.W. van der Spek,et al.  Cell mapping methods : modifications and extensions , 1994 .

[109]  Sarit Kraus,et al.  Playing games for security: an efficient exact algorithm for solving Bayesian Stackelberg games , 2008, AAMAS.

[110]  Steve Su,et al.  Numerical maximum log likelihood estimation for generalized lambda distributions , 2007, Comput. Stat. Data Anal..

[111]  Vijay Kumar,et al.  Cooperative manipulation and transportation with aerial robots , 2009, Auton. Robots.

[112]  Naomi Ehrich Leonard,et al.  Cooperative Control for Ocean Sampling: The Glider Coordinated Control System , 2008, IEEE Transactions on Control Systems Technology.

[113]  Noa Agmon,et al.  Multi-robot area patrol under frequency constraints , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[114]  Wolfram Burgard,et al.  Coastal navigation-mobile robot navigation with uncertainty in dynamic environments , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[115]  Christoforos Panayiotou,et al.  Localization of a simple robot with low computational-power using a single short range sensor , 2012, 2012 IEEE International Conference on Robotics and Biomimetics (ROBIO).

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

[117]  Bing Zhou,et al.  3D ray tracing using a modified shortest-path method , 2007 .

[118]  Russ E. Davis,et al.  The Autonomous Lagrangian Circulation Explorer (ALACE) , 1992 .

[119]  Alan K. Mackworth,et al.  Multi-robot repeated area coverage , 2013, Auton. Robots.

[120]  Dieter Fox,et al.  Adapting the Sample Size in Particle Filters Through KLD-Sampling , 2003, Int. J. Robotics Res..

[121]  Jason M. O'Kane,et al.  Planning for provably reliable navigation using an unreliable, nearly sensorless robot , 2013, Int. J. Robotics Res..

[122]  S. Riser,et al.  The Argo Program : observing the global ocean with profiling floats , 2009 .

[123]  Jo Vermeulen,et al.  From today's augmented houses to tomorrow's smart homes: new directions for home automation research , 2014, UbiComp.

[124]  Leonardo Bobadilla,et al.  Multi-vehicle patrolling with limited visibility and communication constraints , 2017, MILCOM 2017 - 2017 IEEE Military Communications Conference (MILCOM).

[125]  Sarit Kraus,et al.  Multi-Robot Adversarial Patrolling: Facing a Full-Knowledge Opponent , 2011, J. Artif. Intell. Res..

[126]  G. Loaec,et al.  PROVOR: a hydrographic profiler based on MARVOR technology , 1998, IEEE Oceanic Engineering Society. OCEANS'98. Conference Proceedings (Cat. No.98CH36259).

[127]  Beom Hee Lee,et al.  A new hybrid terrain coverage method for underwater robotic exploration , 2014 .

[128]  Rodney A. Brooks Autonomous mobile robots , 1990 .

[129]  Steven M. LaValle,et al.  Controlling Wild Bodies Using Linear Temporal Logic , 2011, Robotics: Science and Systems.

[130]  Howie Choset,et al.  Coverage Path Planning: The Boustrophedon Cellular Decomposition , 1998 .

[131]  David Portugal,et al.  MSP algorithm: multi-robot patrolling based on territory allocation using balanced graph partitioning , 2010, SAC '10.

[132]  Nancy M. Amato,et al.  Approximate convex decomposition of polygons , 2004, SCG '04.

[133]  Gaurav S. Sukhatme,et al.  Active drifters: Towards a practical multi-robot system for ocean monitoring , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[134]  Gregory J. Pottie,et al.  Wireless integrated network sensors , 2000, Commun. ACM.

[135]  Bo An,et al.  Computing Solutions in Infinite-Horizon Discounted Adversarial Patrolling Games , 2014, ICAPS.

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

[137]  Bertil Gustafsson Least Square Problems , 2011 .

[138]  Noa Agmon,et al.  The giving tree: constructing trees for efficient offline and online multi-robot coverage , 2008, Annals of Mathematics and Artificial Intelligence.

[139]  Russ Tedrake,et al.  Funnel libraries for real-time robust feedback motion planning , 2016, Int. J. Robotics Res..

[140]  Elon Rimon,et al.  Spanning-tree based coverage of continuous areas by a mobile robot , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[141]  Ioannis M. Kyprianidis,et al.  Experimental investigation on coverage performance of a chaotic autonomous mobile robot , 2013, Robotics Auton. Syst..