Planning Algorithms: System Theory and Analytical Techniques

This chapter is complementary to Chapter 14 in that it provides tools and concepts that can be used to develop better local planning methods (LPMs). Most of the material was developed in the field of control theory, which focuses mainly on characterizing the behavior of particular classes of systems, and controlling them in the absence of obstacles. The two-point boundary value problem (BVP), which was a frequent nuisance in Chapter 14, can be better understood and solved for many systems by using the ideas of this chapter. Keep in mind that throughout this chapter there are no obstacles. Although planning for this case was trivial in Part II, the presence of differential constraints brings many challenges. The style in this chapter is to provide a brief survey of concepts and techniques, with the hope of inspiring further study in other textbooks and research literature. Modern control theory is a vast and fascinating subject, of which only the surface can be scratched in one chapter. Section 15.1 introduces stability and controllability concepts, both of which characterize possible arrivals in a goal state. Stability characterizes how the integral curves of a vector field behave around a goal point, and controllability indicates whether an action trajectory exists that arrives at a specified goal. Section 15.2 revisits dynamic programming one last time. Here it becomes a partial differential equation expressed in terms of the optimal cost-to-go function.

[1]  Florent Lamiraux,et al.  Flatness and small-time controllability of multibody mobile robots: Application to motion planning , 1997, 1997 European Control Conference (ECC).

[2]  J. Zabczyk Some comments on stabilizability , 1989 .

[3]  H. Hermes,et al.  Nilpotent bases for distributions and control systems , 1984 .

[4]  L. Shepp,et al.  OPTIMAL PATHS FOR A CAR THAT GOES BOTH FORWARDS AND BACKWARDS , 1990 .

[5]  Thierry Fraichard,et al.  Collision-free and continuous-curvature path planning for car-like robots , 1997, Proceedings of International Conference on Robotics and Automation.

[6]  Giuseppe Oriolo,et al.  Feedback control of a nonholonomic car-like robot , 1998 .

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

[8]  Eduardo Sontag Gradient techniques for systems with no drift: a classical idea revisited , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

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

[10]  Huibert Kwakernaak,et al.  Linear Optimal Control Systems , 1972 .

[11]  C. Wall,et al.  Lie Algebras And Lie Groups , 1967, The Mathematical Gazette.

[12]  Devin J. Balkcom,et al.  Time Optimal Trajectories for Bounded Velocity Differential Drive Vehicles , 2002, Int. J. Robotics Res..

[13]  Richard M. Murray,et al.  A Mathematical Introduction to Robotic Manipulation , 1994 .

[14]  M. Fliess,et al.  Flatness and defect of non-linear systems: introductory theory and examples , 1995 .

[15]  P. Souéres,et al.  Shortest paths synthesis for a car-like robot , 1996, IEEE Trans. Autom. Control..

[16]  L. Dubins On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents , 1957 .

[17]  D. Normand-Cyrot,et al.  An introduction to motion planning under multirate digital control , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[18]  John T. Wen,et al.  Control of Nonholonomic Systems , 2002 .

[19]  John T. Wen,et al.  Nonholonomic path planning with inequality constraints , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[20]  Stuart E. Dreyfus,et al.  Applied Dynamic Programming , 1965 .

[21]  Kevin M. Lynch,et al.  Kinematic controllability for decoupled trajectory planning in underactuated mechanical systems , 2001, IEEE Trans. Robotics Autom..

[22]  A. T. Fuller,et al.  Relay control systems optimized for various performance criteria , 1960 .

[23]  Arjan van der Schaft,et al.  Non-linear dynamical control systems , 1990 .

[24]  J. P. Lasalle Stability theory for ordinary differential equations. , 1968 .

[25]  Philippe Souères,et al.  Optimal trajectories for nonholonomic mobile robots , 1998 .

[26]  Todd D. Murphey,et al.  Control of multiple model systems , 2002 .

[27]  A. Bloch,et al.  Nonholonomic Control Systems on Riemannian Manifolds , 1995 .

[28]  V. Jurdjevic Geometric control theory , 1996 .

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

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

[31]  H. Sussmann,et al.  A very non-smooth maximum principle with state constraints , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

[33]  Naomi Ehrich Leonard,et al.  Motion control of drift-free, left-invariant systems on Lie groups , 1995, IEEE Trans. Autom. Control..

[34]  Vladimir Borisov,et al.  Theory of Chattering Control , 1994 .

[35]  Jean-Paul Laumond,et al.  Topological property for collision-free nonholonomic motion planning: the case of sinusoidal inputs for chained form systems , 1998, IEEE Trans. Robotics Autom..

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

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

[38]  L. Grüne An adaptive grid scheme for the discrete Hamilton-Jacobi-Bellman equation , 1997 .

[39]  H. Sussmann,et al.  Underwater vehicles: the minimum time problem , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[40]  Jean-Daniel Boissonnat,et al.  Shortest paths of bounded curvature in the plane , 1994, J. Intell. Robotic Syst..

[41]  Rufus Isaacs,et al.  Differential Games , 1965 .

[42]  S. Sastry,et al.  Nonholonomic motion planning: steering using sinusoids , 1993, IEEE Trans. Autom. Control..

[43]  Francesco Bullo,et al.  Series expansions for analytic systems linear in control , 2002, Autom..

[44]  R. Bellman Dynamic programming. , 1957, Science.

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

[46]  Gerardo Lafferriere,et al.  Motion planning for controllable systems without drift , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[47]  A. Bloch,et al.  Nonholonomic Mechanics and Control , 2004, IEEE Transactions on Automatic Control.

[48]  Robert F. Stengel,et al.  Optimal Control and Estimation , 1994 .

[49]  Thierry Fraichard,et al.  From Reeds and Shepp's to continuous-curvature paths , 1999, IEEE Transactions on Robotics.

[50]  H. Sussmann A general theorem on local controllability , 1987 .

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

[52]  Warren E. Dixon,et al.  Nonlinear Control of Engineering Systems: A Lyapunov-Based Approach , 2003 .

[53]  R. Brockett Control Theory and Singular Riemannian Geometry , 1982 .

[54]  J. Klamka Controllability of dynamical systems , 1991, Mathematica Applicanda.