Construction and automated deployment of local potential functions for global robot control and navigation

This report presents a method for addressing integrated navigation and control tasks for constrained dynamical systems. Specifically, we focus on solving this problem for an idealized point robot subject to bounds on velocity and acceleration. The basic approach divides the overall task into discrete sub-tasks, and achieves those sub-tasks using feedback control policies. The method is based on sequential composition of safe, reliable, and robust feedback control policies. This report presents an extension to the method of sequential composition that allows a new class of feedback control policies with goal sets, not just goal points. Where previous work only allowed for goal sets that were completely contained in the domain of another control policy, this extension allows the deployment of policies whose goal intersects the domains of multiple policies. This extension allows for a larger class of policies to be deployed, making it easier to build near globally convergent overall control policies. This report also details the new local control policies, defined over cells in the configuration space. The policies cause a large subset of initial states to exit the cell in a specified manner. The resulting composition of local control policies induces a global control strategy that brings any initial condition contained in the union of the domains of the control policies the goal, provided that there is a single connected component of free space containing both the start and goal configurations. The underlying control policies are designed to respect environmental constraints such as obstacles, velocity bounds, and acceleration bounds. Control policies for fully actuated kinematic and dynamical systems are developed. © 2003 Carnegie Mellon

[1]  Vijay Kumar,et al.  A potential field based approach to multi-robot manipulation , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[2]  Daniel E. Koditschek Some Applications of Natural Motion Control , 1991 .

[3]  Steven M. LaValle,et al.  Randomized Kinodynamic Planning , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[4]  Reid G. Simmons,et al.  The curvature-velocity method for local obstacle avoidance , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[5]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[6]  J. Bay Fundamentals of Linear State Space Systems , 1998 .

[7]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[8]  Robert Gardner,et al.  Introduction To Real Analysis , 1994 .

[9]  J. Mark Keil,et al.  Decomposing a Polygon into Simpler Components , 1985, SIAM J. Comput..

[10]  Roderic A. Grupen,et al.  The applications of harmonic functions to robotics , 1993, J. Field Robotics.

[11]  Jean-Jacques E. Slotine,et al.  Improving the Efficiency of Time-Optimal Path-Following Algorithms , 1988, 1988 American Control Conference.

[12]  John F. Canny,et al.  An exact algorithm for kinodynamic planning in the plane , 1990, SCG '90.

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

[14]  Sebastian Thrun,et al.  Motion planning through policy search , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[15]  Jean-Claude Latombe,et al.  Kinodynamic motion planning amidst moving obstacles , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[16]  Iwan Ulrich,et al.  VFH/sup */: local obstacle avoidance with look-ahead verification , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[17]  Sean R Eddy,et al.  What is dynamic programming? , 2004, Nature Biotechnology.

[18]  Wolfram Burgard,et al.  An integrated approach to goal-directed obstacle avoidance under dynamic constraints for dynamic environments , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[19]  Daniel E. Koditschek,et al.  Exact robot navigation by means of potential functions: Some topological considerations , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[20]  Pradeep K. Khosla,et al.  Real-time obstacle avoidance using harmonic potential functions , 1991, IEEE Trans. Robotics Autom..

[21]  Reid G. Simmons,et al.  The lane-curvature method for local obstacle avoidance , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

[22]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[23]  George Kantor,et al.  Feedback Control of Underactuated Systems via Sequential Composition: Visually Guided Control of a Unicycle , 2003, ISRR.

[24]  J. Thorpe Elementary Topics in Differential Geometry , 1979 .

[25]  W. Wallis A Beginner's Guide to Graph Theory , 2000 .

[26]  Daniel E. Koditschek,et al.  The construction of analytic diffeomorphisms for exact robot navigation on star worlds , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[27]  Daniel E. Koditschek,et al.  Exact robot navigation using artificial potential functions , 1992, IEEE Trans. Robotics Autom..

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

[29]  G. M.,et al.  Partial Differential Equations I , 2023, Applied Mathematical Sciences.

[30]  Hans P. Moravec,et al.  Robot Evidence Grids. , 1996 .

[31]  Alfred A. Rizzi Hybrid control as a method for robot motion programming , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[32]  Bruce Randall Donald,et al.  Kinodynamic motion planning , 1993, JACM.

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

[34]  Michael S. Branicky,et al.  Studies in hybrid systems: modeling, analysis, and control , 1996 .

[35]  Andrew W. Moore,et al.  Locally Weighted Learning for Control , 1997, Artificial Intelligence Review.

[36]  D. Koditschek,et al.  Robot navigation functions on manifolds with boundary , 1990 .

[37]  Abdul-Majid Wazwaz,et al.  Partial differential equations : methods and applications , 2002 .

[38]  B. Faverjon,et al.  Probabilistic Roadmaps for Path Planning in High-Dimensional Con(cid:12)guration Spaces , 1996 .

[39]  Yoram Koren,et al.  The vector field histogram-fast obstacle avoidance for mobile robots , 1991, IEEE Trans. Robotics Autom..

[40]  J. Brian Burns,et al.  Path planning using Laplace's equation , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[41]  J. Bobrow,et al.  Time-Optimal Control of Robotic Manipulators Along Specified Paths , 1985 .

[42]  H. Simon,et al.  Models Of Man : Social And Rational , 1957 .

[43]  Roderic A. Grupen,et al.  A Hamiltonian framework for kinodynamic planning and control , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[44]  Steven M. LaValle,et al.  On the Relationship between Classical Grid Search and Probabilistic Roadmaps , 2004, Int. J. Robotics Res..

[45]  Daniel E. Koditschek The Control of Natural Motion in Mechanical Systems , 1991 .

[46]  Alfred A. Rizzi,et al.  Robust and efficient motion planning for a planar robot using hybrid control , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[47]  Bevan K. Youse,et al.  Introduction to real analysis , 1972 .

[48]  Oussama Khatib,et al.  Development and Control of a Holonomic Mobile Robot for Mobile Manipulation Tasks , 2000, Int. J. Robotics Res..

[49]  Bruce H. Krogh,et al.  Integrated path planning and dynamic steering control for autonomous vehicles , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[50]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[51]  Elon Rimon A navigation function for a simple rigid body , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[52]  Lloyd N. Trefethen,et al.  Schwarz-Christoffel Mapping , 2002 .

[53]  E. Coddington An Introduction to Ordinary Differential Equations , 1961 .

[54]  Bruce H. Krogh,et al.  Verification of infinite-state dynamic systems using approximate quotient transition systems , 2001, IEEE Trans. Autom. Control..

[55]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..

[56]  Iwan Ulrich,et al.  VFH+: reliable obstacle avoidance for fast mobile robots , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[57]  O. Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[58]  Bruce Randall Donald,et al.  On the complexity of kinodynamic planning , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[59]  Pierre Bessière,et al.  The Ariadne's Clew Algorithm , 1993, J. Artif. Intell. Res..

[60]  W. Boothby An introduction to differentiable manifolds and Riemannian geometry , 1975 .

[61]  The Dynamic Window Approach to Collision Avoidance - IEEE Robotics & Automation Magazine , 2004 .

[62]  M. Branicky Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[63]  Wolfram Burgard,et al.  The dynamic window approach to collision avoidance , 1997, IEEE Robotics Autom. Mag..

[64]  Steven M. LaValle,et al.  From Dynamic Programming to RRTs: Algorithmic Design of Feasible Trajectories , 2003, Control Problems in Robotics.