Geometry and optimal control

Optimal control has strongly influenced geometry since the early days of both subjects. In particular, it played a crucial role in the birth of differential geometry in the nineteenth century through the revolutionary ideas of redefining the notion of “straight line” (now renamed “geodesic”) by means of a curve minimization problem, and of emphasizing general invariance and covariance conditions. More recently, modern control theory has been heavily influenced by geometry. One aspect of this influence is the geometrization of the necessary conditions for optimality, which are recast as geometric conditions about reachable sets, thus becoming special cases of the broader question of the structure and properties of these sets. Recently, this has led to a new general version of the finite-dimensional maximum principle, stated here in full detail for the first time. A second aspect—in which Roger Brockett’s ideas have played a crucial role—is the use in control theory of concepts and techniques from differential geometry. In particular, this leads to regarding a control system as a collection of vector fields, and exploiting the algebraic structure given by the Lie bracket operation. This approach has led to new important developments on various nonlinear control problems. In optimal control, the vector-field view has produced invariant formulations of the maximum principle on manifolds—using either Poisson brackets or connections along curves—which, besides being more general and mathematically natural, actually have real advantages for the solution of concrete problems.

[1]  Philip D. Loewen,et al.  Optimal Control of Unbounded Differential Inclusions , 1994, SIAM Journal on Control and Optimization.

[2]  Héctor J. Sussmann,et al.  Some Recent Results on the Maximum Principle of Optimal Control Theory , 1997 .

[3]  H. Sussmann,et al.  Nonsmooth analysis and geometric methods in deterministic optimal control , 1996 .

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

[5]  Qiji J. Zhu Necessary Optimality Conditions for Nonconvex Differential Inclusions with Endpoint Constraints , 1996 .

[6]  F. Clarke The Maximum Principle under Minimal Hypotheses , 1976 .

[7]  H. Sussmann Trajectory regularity and real analyticity: Some recent results , 1986, 1986 25th IEEE Conference on Decision and Control.

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

[9]  Philip D. Loewen,et al.  New Necessary Conditions for the Generalized Problem of Bolza , 1996 .

[10]  George Leitman,et al.  Topics in optimization , 1967 .

[11]  B. Jakubczyk,et al.  Geometry of feedback and optimal control , 1998 .

[12]  Richard B. Vinter,et al.  Optimal multiprocesses , 1989 .

[13]  J. Warga,et al.  Optimization and Controllability without Differentiability Assumptions , 1983 .

[14]  J. Gillis,et al.  Variational principles in dynamics and quantum theory , 1956 .

[15]  R. Rockafellar Equivalent Subgradient Versions of Hamiltonian and Euler--Llagrange Equations in Variational Analysis , 1996 .

[16]  E. Hille An existence theorem , 1924 .

[17]  F. M. Kirillova,et al.  High Order Necessary Conditions for Optimality , 1972 .

[18]  L. S. Pontryagin,et al.  Mathematical Theory of Optimal Processes , 1962 .

[19]  On differential relations with lower continuous right-hand side. An existence theorem☆ , 1980 .

[20]  Héctor J. Sussmann,et al.  A strong version of the maximum principle under weak hypotheses , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[21]  J. Warga,et al.  Fat homeomorphisms and unbounded derivate containers , 1981 .

[22]  Jan C. Willems,et al.  300 years of optimal control: From the brachystochrone to the maximum principle , 1997 .

[23]  H. Sussmann Some optimal control applications of real-analytic stratifications and desingularization , 1998 .

[24]  J. Warga Homeomorphisms and local C 1 approximations , 1988 .

[25]  F. Chorlton,et al.  An introduction to the calculus of variations , 1963 .

[26]  A. Bressan Solutions of lower semicontinuous differential inclusions on closed sets , 1983 .

[27]  J. Warga,et al.  An extension of the Kaskosz maximum principle , 1990 .

[28]  F. Clarke Optimization And Nonsmooth Analysis , 1983 .

[29]  B. Kaśkosz,et al.  A maximum principle for generalized control systems , 1985 .

[30]  H. Sussmann A Weak Regularity Theorem for Real Analytic Optimal Control Problems , 1986 .

[31]  R. Colombo,et al.  Continuous selections of solution sets to Lipschitzian differential inclusions , 1991 .

[32]  Sussmann Nonlinear Controllability and Optimal Control , 1990 .

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

[34]  Hoang Duong Tuan,et al.  Controllability and extremality in nonconvex differential inclusions , 1995 .

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

[36]  B. Kaśkosz,et al.  A maximum principle in relaxed controls , 1990 .

[37]  Héctor J. Sussmann,et al.  Multidifferential Calculus: Chain Rule, Open Mapping and Transversal Intersection Theorems , 1998 .

[38]  L. Berkovitz Optimal Control Theory , 1974 .

[39]  A. Ioffe Euler-Lagrange and Hamiltonian formalisms in dynamic optimization , 1997 .

[40]  J. Leray,et al.  Topologie et équations fonctionnelles , 1934 .

[41]  A. Isidori Nonlinear Control Systems , 1985 .

[42]  Paul H. Rabinowitz,et al.  Some global results for nonlinear eigenvalue problems , 1971 .

[43]  J. Warga,et al.  Controllability, extremality, and abnormality in nonsmooth optimal control , 1983 .

[44]  Andrzej Fryszowski,et al.  Continuous version of Filippov-Wažewski relaxation theorem , 1991 .

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

[46]  Héctor J. Sussmann,et al.  A strong maximum principle for systems of differential inclusions , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[47]  C. Byrnes,et al.  Systems and Control in the Twenty-First Century , 1997 .

[48]  H. Sussmann,et al.  Differential Geometry and Control , 1998 .

[49]  Héctor J. Sussmann,et al.  Noncommutative Power Series and Formal Lie-algebraic Techniques in Nonlinear Control Theory , 1997 .

[50]  R. T. Rockafellar,et al.  The Euler and Weierstrass conditions for nonsmooth variational problems , 1996 .