Skip to main content Accessibility help
×
Home
Hostname: page-component-7ccbd9845f-hcslb Total loading time: 1.152 Render date: 2023-02-01T10:37:17.381Z Has data issue: true Feature Flags: { "useRatesEcommerce": false } hasContentIssue true

Hölder equivalence of the value function for control-affine systems

Published online by Cambridge University Press:  08 August 2014

Dario Prandi*
Affiliation:
LSIS, Université de Toulon, 83957 La Garde cedex, France. dario.prandi@univ-tln.fr Centre National de Recherche Scientifique (CNRS), CMAP, École Polytechnique, Route de Saclay, 91128 Palaiseau cedex, France Team GECO, INRIA-Centre de Recherche Saclay, France
Get access

Abstract

We prove the continuity and the Hölder equivalence w.r.t. an Euclidean distance of the value function associated with the L1 cost of the control-affine system = f0(q) + ∑j=1m ujfj(q), satisfying the strong Hörmander condition. This is done by proving a result in the same spirit as the Ball–Box theorem for driftless (or sub-Riemannian) systems. The techniques used are based on a reduction of the control-affine system to a linear but time-dependent one, for which we are able to define a generalization of the nilpotent approximation and through which we derive estimates for the shape of the reachable sets. Finally, we also prove the continuity of the value function associated with the L1 cost of time-dependent systems of the form q̇ = ∑j=1m uj fjt(q).

Type
Research Article
Copyright
© EDP Sciences, SMAI, 2014

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

A. Agrachev, D. Barilari and U. Boscain, Introduction to Riemannian and sub-Riemannian geometry (Lecture Notes). http://people.sissa.it/agrachev/agrachev˙files/notes.htm (2012).
Agrachev, A., Boscain, U., Gauthier, J.-P. and Rossi, F., The intrinsic hypoelliptic Laplacian and its heat kernel on unimodular Lie groups. J. Funct. Anal. 256 (2009) 26212655. Google Scholar
Agrachev, A. and Lee, P.W.Y., Continuity of optimal control costs and its application to weak KAM theory. Calc. Var. Partial Differ. Equ. 39 (2010) 213232. Google Scholar
Agrachev, A.A., Boscain, U., Charlot, G., Ghezzi, R. and Sigalotti, M., Two-dimensional almost-Riemannian structures with tangency points. Ann. Inst. Henri Poincaré Anal. Non Linéaire 27 (2010) 793807. Google Scholar
A.A. Agrachev and Y.L. Sachkov, Control theory from the geometric viewpoint. Control Theory and Optimization II. Vol. 87 of Encycl. Math. Sci. Springer-Verlag, Berlin (2004).
Agrachev, A., Boscain, U. and Sigalotti, M., A Gauss-Bonnet-like formula on two-dimensional almost-Riemannian manifolds. Discrete Contin. Dyn. Syst. 20 (2008) 801822. Google Scholar
Barbero-Liñán, M. and Sigalotti, M., High-order sufficient conditions for configuration tracking of affine connection control systems. Syst. Control Lett. 59 (2010) 491503. Google Scholar
A. Bellaïche, The tangent space in sub-Riemannian geometry. In Sub-Riemannian geometry. Vol. 144 of Progr. Math. Birkhäuser, Basel (1996) 1–78.
Bianchini, R.M. and Stefani, G., Graded approximations and controllability along a trajectory. SIAM J. Control Optim. 28 (1990) 903924. Google Scholar
Bianchini, R.M. and Stefani, G.. Time-optimal problem and time-optimal map. Rend. Sem. Mat. Univ. Politec. Torino 48 (1992) 401429 (1990). Google Scholar
Boscain, U. and Mason, P., Time minimal trajectories for a spin 1 / 2 particle in a magnetic field. J. Math. Phys. 47 (2006) 062101, 29. Google Scholar
Boscain, U. and Charlot, G., Resonance of minimizers for n-level quantum systems with an arbitrary cost. ESAIM: COCV 10 (2004) 593614. Google Scholar
Boscain, U., Charlot, G., Gauthier, J.-P., Guérin, S., and Jauslin, H.-R., Optimal control in laser-induced population transfer for two- and three-level quantum systems. J. Math. Phys. 43 (2002) 21072132. Google Scholar
F. Bullo and A. D. Lewis, Geometric control of mechanical systems. Modeling, analysis, and design for simple mechanical control systems. Vol. 49 of Texts Appl. Math. Springer-Verlag, New York (2005).
Chitour, Y., Jean, F. and Trélat, E., Singular trajectories of control-affine systems. SIAM J. Control Optim. 47 (2008) 10781095. Google Scholar
J.-M. Coron, Control and nonlinearity. Vol. 136 of Math. Surv. Monogr. American Mathematical Society, Providence, RI (2007).
D. D’Alessandro, Introduction to quantum control and dynamics. Chapman & Hall/CRC Appl. Math. Nonl. Sci. Series. Chapman & Hall/CRC, Boca Raton, FL (2008).
D’Alessandro, D. and Dahleh, M., Optimal control of two-level quantum systems. IEEE Trans. Automat. Control 46 (2001) 866876. Google Scholar
Drager, L.D., Lee, J.M., Park, E. and Richardson, K., Smooth distributions are finitely generated. Ann. Global Anal. Geom. 41 (2012) 357369. Google Scholar
Folland, G.B. and Stein, E.M., Estimates for the \hbox{$\bar \partial \sb{b}$} complex and analysis on the Heisenberg group. Comm. Pure Appl. Math. 27 (1974) 429522. Google Scholar
H. Frankowska, Value function in optimal control, in Mathematical control theory, Part 1, 2 (Trieste, 2001), vol. 8 of ICTP Lect. Notes. Abdus Salam Int. Cent. Theoret. Phys., Trieste (2002) 516–653 (electronic).
Gauthier, J.-P. and Zakalyukin, V., On the codimension one motion planning problem. J. Dyn. Control Syst. 11 (2005) 7389. Google Scholar
Gauthier, J.-P. and Zakalyukin, V., On the motion planning problem, complexity, entropy, and nonholonomic interpolation. J. Dyn. Control Syst. 12 (2006) 371404. Google Scholar
Hermes, H., Nilpotent and high-order approximations of vector field systems. SIAM Rev. 33 (1991) 238264. Google Scholar
Jean, F., Complexity of nonholonomic motion planning. Int. J. Control 74 (2001) 776782. Google Scholar
Jean, F., Uniform estimation of sub-Riemannian balls. J. Dynam. Control Systems 7 (2001) 473500. Google Scholar
Jean, F., Entropy and complexity of a path in sub-Riemannian geometry. ESAIM: COCV 9 (2003) 485508. Google Scholar
D. Jerison and A. Sánchez-Calle, Subelliptic, second order differential operators, in Complex analysis, III (College Park, Md., 1985–86). Vol. 1277 of Lect. Notes Math. Springer, Berlin (1987) 46–77.
V. Jurdjevic, Geometric control theory. Vol. 52 of Cambridge Stud. Adv. Math. Cambridge University Press, Cambridge (1997).
Mitchell, J., On Carnot−Carathéodory metrics. J. Differ. Geom. 21 3545, 1985. Google Scholar
Romero-Meléndez, C., Gauthier, J.P. and Monroy-Pérez, F., On complexity and motion planning for co-rank one sub-Riemannian metrics. ESAIM: COCV 10 (2004) 634655. Google Scholar
Rothschild, L.P. and Stein, E.M., Hypoelliptic differential operators and nilpotent groups. Acta Math. 137 (1976) 247320. Google Scholar
San Martín, J., Takahashi, T. and Tucsnak, M., A control theoretic approach to the swimming of microscopic organisms. Quart. Appl. Math. 65 (2007) 405424. Google Scholar
Sussmann, H.J., Some properties of vector field systems that are not altered by small perturbations. J. Differ. Equ. 20 (1976) 292315. Google Scholar
H.J. Sussmann, Some recent results on the regularity of optimal cost functions, in Proc. of the Berkeley-Ames conference on nonlinear problems in control and fluid dynamics (Berkeley, Calif. (1983)), Lie Groups: Hist., Frontiers and Appl. Ser. B: Systems Inform. Control, II. Math Sci Press. Brookline, MA (1984) 429–434.
Sussmann, H.J., A general theorem on local controllability. SIAM J. Control Optim. 25 (1987) 158194. Google Scholar
Sussmann, H.J., Regular synthesis for time-optimal control of single-input real analytic systems in the plane. SIAM J. Control Optim. 25 (1987) 11451162. Google Scholar
Trélat, E., Some properties of the value function and its level sets for affine control systems with quadratic cost. J. Dyn. Control Systems 6 (2000) 511541. Google Scholar

Save article to Kindle

To save this article to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Hölder equivalence of the value function for control-affine systems
Available formats
×

Save article to Dropbox

To save this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about saving content to Dropbox.

Hölder equivalence of the value function for control-affine systems
Available formats
×

Save article to Google Drive

To save this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about saving content to Google Drive.

Hölder equivalence of the value function for control-affine systems
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *