Abstract
Let \(T >0\) be fixed. We consider the optimal control problem for analytic affine systems: \(\dot x = f_0 (x) + \sum\limits_{i = 1}^m {u_i f_i (x)} \), with a cost of the form: \(C(u) = \int\limits_0^T {\;\sum\limits_{i = 1}^m {\;u_i^2 (t)\;dt} } \). For this kind of systems we prove that if there are no minimizing abnormal extremals then the value function S is subanalytic. Second, we prove that if there exists an abnormal minimizer of corank 1, then the set of endpoints of minimizers at cost fixed is tangent to a given hyperplane. We illustrate this situation in sub-Riemannian geometry.
Similar content being viewed by others
References
A. Agrachev, Compactness for sub-Riemannian length minimizers and subanalyticity. Report SISSA Trieste, 1999.
A. Agrachev, B. Bonnard, M. Chyba, and I. Kupka, Sub-Riemannian sphere in the Martinet flat case. ESAIM/COCV, vol. 2 (1997), 377-448.
A. Agrachev and J.P. Gauthier, On subanalyticity of Carnot–Carathéodory distances. Preprint.
A. Agrachev and A.V. Sarychev, Strong minimality of abnormal geodesics for 2-distributions. J. Dynam. Control Systems 1(1995), No. 2, 139-176.
_____, Sub-Riemannian metrics: minimality of abnormal geodesics versus subanalyticity. Preprint de l'U. de Bourgogne, No. 162 (1998).
A. Bellache, Tangent space in SR-geometry. Birkháuser, 1996.
B. Bonnard and I. Kupka, Théorie des singularités de l'application entrée/sortie et optimalité des trajectoires singuliéres dans le probléme du temps minimal. Forum Math. 5(1993), 111-159.
B. Bonnard, G. Launay, and E. Trélat, The transcendence we need to compute the sphere and wave front in Martinet SR-geometry. Preprint labo. Topologie Dijon(1998).
B. Bonnard and E. Trélat, On the role of abnormal minimizers in SRgeometry. In: Proc. Int. Conf. dedicated to L. S. Pontryagin, Moscow, 1999.
H. Brezis, Analyse fonctionnelle. Masson, 1993.
P. Brunovsky, Existence of regular synthesis for general control problems. J. Differential Equations 38(1980), 31 7-343.
A. F. Filippov, On certain questions in the theory of optimal control. Vestnik Moskov. Univ. Ser. Mat. Mekh., Astron. 2(1959).
A. Gabrielov, Projections of semi-analytic sets. Func. Anal. Appl. 2(1968).
R. M. Hardt, Stratification of real analytic mappings and images. Invent. Math. 28(1975).
H. Hironaka, Subanalytic sets, number theory, algebraic geometry and commutative algebra. (In honour of Y. Akizuki), Tokyo, 1973.
S. Jacquet, Subanalyticity of the sub-Riemannian distance. J. Dynam. Control Systems 5(1999), No. 3, 30 3-328.
A. J. Krener, The higher order maximal principle and its applications to singular extremals. SIAM J. Control Optim. 15(1977), 25 6-293.
E.B. Lee and L. Markus, Foundations of optimal control theory. John Wiley, New York, 1967.
W. S. Liu and H. J. Sussmann, Shortest paths for sub-Riemannian metrics of rank two distributions. Memoirs Amer. Math. Soc. 118(1995), No. 564.
S. Lojasiewick and H. J. Sussmann, Some examples of reachable sets and optimal cost functions that fail to be subanalytic. SIAM J. Control Optim. 23(1985), No. 4, 584-598.
L. Pontryagin et al., Mathematical theory of optimal processes. (Russian) Mir, Moscow, 1974.
E.D. Sontag, Mathematical control theory, deterministic finite dimensional systems. Springer-Verlag, 1990.
H. J. Sussmann, Regular synthesis for time-optimal control of singleinput real analytic systems in the plane. SIAM J. Control Optim. 25(1987), No. 5.
M. Tamm, Subanalytic sets in the calculus of variation. Acta Math. 146(1981).
Rights and permissions
About this article
Cite this article
Trélat, E. Some Properties of the Value Function and Its Level Sets for Affine Control Systems with Quadratic Cost. Journal of Dynamical and Control Systems 6, 511–541 (2000). https://doi.org/10.1023/A:1009552511132
Issue Date:
DOI: https://doi.org/10.1023/A:1009552511132