SHORTEST PATHS FOR THE REEDS-SHEPP CAR: A WORKED OUT EXAMPLE OF THE USE OF GEOMETRIC TECHNIQUES IN NONLINEAR OPTIMAL CONTROL. 1

We illustrate the use of the techniques of modern geometric optimal control theory by studying the shortest paths for a model of a car that can move forwards and backwards. This problem was discussed in recent work by Reeds and Shepp who showed, by special methods, (a) that shortest path motion could always be achieved by means of trajectories of a special kind, namely, concatenations of at most five pieces, each of which is either a straight line or a circle, and (b) that these concatenations can be classified into 48 three-parameter families. We show how these results fit in a much more general framework, and can be discovered and proved by applying in a systematic way the techniques of Optimal Control Theory. It turns out that the “classical” optimal control tools developed in the 1960’s, such as the Pontryagin Maximum Principle and theorems on the existence of optimal trajectories, are helpful to go part of the way and get some information on the shortest paths, but do not suffice to get the full result. On the other hand, when these classical techniques are combined with the use of a more recently developed body of theory, namely, geometric methods based on the Lie algebraic analysis of trajectories, then one can recover the full power of the Reeds-Shepp results, and in fact slightly improve upon them by lowering their 48 to a 46.

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

[2]  R. Hermann On the Accessibility Problem in Control Theory , 1963 .

[3]  M. L. Chambers The Mathematical Theory of Optimal Processes , 1965 .

[4]  H. Hermes,et al.  Foundations of optimal control theory , 1968 .

[5]  C. Lobry Contr^olabilite des systemes non lineaires , 1970 .

[6]  R. Brockett System Theory on Group Manifolds and Coset Spaces , 1972 .

[7]  R. Brockett Lie Algebras and Lie Groups in Control Theory , 1973 .

[8]  H. Hermes On Local and Global Controllability , 1974 .

[9]  A. Krener A Generalization of Chow’s Theorem and the Bang-Bang Theorem to Nonlinear Control Problems , 1974 .

[10]  M. Spivak A comprehensive introduction to differential geometry , 1979 .

[11]  R. Gamkrelidze,et al.  A SECOND ORDER OPTIMALITY PRINCIPLE FOR A TIME-OPTIMAL PROBLEM , 1976 .

[12]  A. Krener The High Order Maximal Principle and Its Application to Singular Extremals , 1977 .

[13]  H. Hermes Lie Algebras of Vector Fields and Local Approximation of Attainable Sets , 1978 .

[14]  H. Sussmann A Sufficient Condition for Local Controllability , 1978 .

[15]  R. Gamkrelidze,et al.  THE EXPONENTIAL REPRESENTATION OF FLOWS AND THE CHRONOLOGICAL CALCULUS , 1979 .

[16]  Héctor J. Sussmann A Bang-Bang Theorem with Bounds on the Number of Switchings , 1979 .

[17]  Singiresu S. Rao,et al.  Optimization Theory and Applications , 1980, IEEE Transactions on Systems, Man, and Cybernetics.

[18]  Héctor J. Sussmann,et al.  Time-optimal control in the plane , 1982 .

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

[20]  H. Sussmann Lie Brackets and Local Controllability: A Sufficient Condition for Scalar-Input Systems , 1983 .

[21]  Héctor J. Sussmann,et al.  Lie brackets and real analyticity in control theory , 1985 .

[22]  Bernard Bonnard,et al.  On Singular Extremals in the Time Minimal Control Problem in $\mathbb{R}^3 $ , 1985 .

[23]  Héctor J. Sussmann,et al.  Envelopes, Conjugate Points, and Optimal Bang-Bang Extremals , 1986 .

[24]  Alberto Bressan,et al.  The generic local time-optimal stabilizing controls in dimension 3 , 1986 .

[25]  H. Sussmann The Structure of Time-Optimal Trajectories for Single-Input Systems in the Plane: the C , 1987 .

[26]  Héctor J. Sussmann,et al.  The structure of time-optimal trajectories for single-input systems in the plane: the general real analytic case , 1987 .

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

[28]  Heinz Schättler,et al.  On the regularity of optimal controls , 1987 .

[29]  Héctor J. Sussmann,et al.  Regular synthesis for time-optimal control of single-input real analytic systems in the plane , 1987 .

[30]  Heinz Schättler,et al.  The local structure of time-optimal trajectories in dimension three under generic conditions , 1988 .

[31]  Regularity properties of time-optimal trajectories of an analytic single-input control-linear system in dimension three , 1988 .

[32]  H. Schättler On the local structure of time-optimal bang-bang trajectories in R 3 , 1988 .

[33]  Heinz Schättler,et al.  The structure of small-time reachable sets in low dimensions , 1989 .

[34]  S. Sastry,et al.  Robot motion planning with nonholonomic constraints , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[35]  Héctor J. Sussmann,et al.  Envelopes, high-order optimality conditions and Lie brackets , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

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

[37]  Eduardo Sontag,et al.  Controllability of Nonlinear Discrete-Time Systems: A Lie-Algebraic Approach , 1990, SIAM Journal on Control and Optimization.

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

[39]  Héctor J. Sussmann,et al.  Why Real Analyticity is Important in Control Theory , 1990 .

[40]  J. Laumond Nonholonomic motion planning versus controllability via the multibody car system example , 1990 .

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

[42]  G. Lafferriere A general strategy for computing steering controls of systems without drift , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[43]  Jean-Daniel Boissonnat,et al.  Shortest paths of Bounded Curvature in the Plane , 1991, Geometric Reasoning for Perception and Action.

[44]  H. Sussmann,et al.  Limits of highly oscillatory controls and the approximation of general paths by admissible trajectories , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[45]  P. Kokotovic,et al.  Nonlinear control via approximate input-output linearization: the ball and beam example , 1992 .

[46]  L. Dai,et al.  Non-holonomic Kinematics and the Role of Elliptic Functions in Constructive Controllability , 1993 .

[47]  S. Bhat Controllability of Nonlinear Systems , 2022 .