{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T21:28:25Z","timestamp":1758403705825,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T00:00:00Z","timestamp":1725062400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T00:00:00Z","timestamp":1725062400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100012740","name":"Gruppo Nazionale per l\u2019Analisi Matematica, la Probabilit\u00e0 e le loro Applicazioni","doi-asserted-by":"publisher","award":["CUP E53C22001930001"],"award-info":[{"award-number":["CUP E53C22001930001"]}],"id":[{"id":"10.13039\/100012740","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Optim Theory Appl"],"published-print":{"date-parts":[[2024,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Given a nonlinear control system, a target set, a nonnegative integral cost, and a continuous function <jats:italic>W<\/jats:italic>, we say that the system is <jats:italic>globally asymptotically controllable to the target with<\/jats:italic><jats:italic>W<\/jats:italic>-<jats:italic>regulated cost<\/jats:italic>, whenever, starting from any point <jats:italic>z<\/jats:italic>, among the strategies that achieve classical asymptotic controllability we can select one that also keeps the cost less than <jats:italic>W<\/jats:italic>(<jats:italic>z<\/jats:italic>). In this paper, assuming mild regularity hypotheses on the data, we prove that a necessary and sufficient condition for global asymptotic controllability with regulated cost is the existence of a special, continuous Control Lyapunov Function, called a <jats:italic>Minimum Restraint Function<\/jats:italic>. The main novelty is the necessity implication, obtained here for the first time. Nevertheless, the sufficiency condition extends previous results based on semiconcavity of the Minimum Restraint Function, while we require mere continuity.<\/jats:p>","DOI":"10.1007\/s10957-024-02517-z","type":"journal-article","created":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T14:01:59Z","timestamp":1725112919000},"page":"386-418","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Converse Lyapunov-Type Theorem for Control Systems with Regulated Cost"],"prefix":"10.1007","volume":"203","author":[{"given":"Anna Chiara","family":"Lai","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5880-818X","authenticated-orcid":false,"given":"Monica","family":"Motta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,31]]},"reference":[{"key":"2517_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4755-1","volume-title":"Optimal Control and Viscosity Solutions of Hamilton\u2013Jacobi\u2013Bellman Equations","author":"M Bardi","year":"1997","unstructured":"Bardi, M., Capuzzo Dolcetta, I.: Optimal Control and Viscosity Solutions of Hamilton\u2013Jacobi\u2013Bellman Equations, vol. 12. Springer, Berlin (1997)"},{"key":"2517_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/b138356","volume-title":"Semiconcave Functions, Hamilton\u2013Jacobi Equations, and Optimal Control","author":"P Cannarsa","year":"2004","unstructured":"Cannarsa, P., Sinestrari, C.: Semiconcave Functions, Hamilton\u2013Jacobi Equations, and Optimal Control, vol. 58. Springer, Berlin (2004)"},{"key":"2517_CR3","doi-asserted-by":"crossref","unstructured":"Clarke, F.H.: Discontinuous feedbacks in nonlinear control. In: Proceedings of the IFAC Conference on Nonlinear Control (NOLCOS), Bologna, pp. 1\u201329. IFAC (2010)","DOI":"10.3182\/20100901-3-IT-2016.00301"},{"issue":"1","key":"2517_CR4","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1090\/S0002-9947-1994-1227093-8","volume":"344","author":"FH Clarke","year":"1994","unstructured":"Clarke, F.H., Ledyaev, Y.: Mean value inequalities in Hilbert space. Trans. Am. Math. Soc. 344(1), 307\u2013324 (1994)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"2517_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1137\/S0363012999352297","volume":"39","author":"FH Clarke","year":"2000","unstructured":"Clarke, F.H., Ledyaev, Y., Rifford, L., Stern, R.: Feedback stabilization and Lyapunov functions. SIAM J. Control Optim. 39(1), 25\u201348 (2000)","journal-title":"SIAM J. Control Optim."},{"key":"2517_CR6","volume-title":"Nonsmooth Analysis and Control Theory","author":"FH Clarke","year":"2008","unstructured":"Clarke, F.H., Ledyaev, Y., Stern, R., Wolenski, P.: Nonsmooth Analysis and Control Theory, vol. 178. Springer, Berlin (2008)"},{"key":"2517_CR7","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.jde.2021.03.048","volume":"287","author":"G Fusco","year":"2021","unstructured":"Fusco, G.: Robust feedback stabilization by means of Lyapunov-like functions determined by Lie brackets. J. Differ. Equ. 287, 88\u2013112 (2021)","journal-title":"J. Differ. Equ."},{"key":"2517_CR8","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/s00245-023-10041-1","volume":"88","author":"G Fusco","year":"2023","unstructured":"Fusco, G., Motta, M., Rampazzo, F.: HJ inequalities involving Lie brackets and feedback stabilizability with cost regulation. Appl. Math. Optim. 88, 52 (2023)","journal-title":"Appl. Math. Optim."},{"key":"2517_CR9","doi-asserted-by":"publisher","DOI":"10.1080\/02331934.2024.2374516","author":"G Fusco","year":"2024","unstructured":"Fusco, G., Motta, M., Rampazzo, F.: A Lie-bracket-based notion of stabilizing feedback in optimal control. Optimization (2024). https:\/\/doi.org\/10.1080\/02331934.2024.2374516","journal-title":"Optimization"},{"key":"2517_CR10","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s00030-004-1058-9","volume":"11","author":"M Garavello","year":"2004","unstructured":"Garavello, M., Soravia, P.: Optimality principles and uniqueness for Bellman equations of unbounded control problems with discontinuous running cost. Nonlinear Differ. Equ. Appl. 11, 271\u2013298 (2004)","journal-title":"Nonlinear Differ. Equ. Appl."},{"issue":"8","key":"2517_CR11","doi-asserted-by":"publisher","first-page":"2333","DOI":"10.3934\/dcdsb.2015.20.2333","volume":"20","author":"C Kellett","year":"2015","unstructured":"Kellett, C.: Classical converse theorems in Lyapunov\u2019s second method. Discrete Contin. Dyn. Syst. Ser. B 20(8), 2333\u20132360 (2015)","journal-title":"Discrete Contin. Dyn. Syst. Ser. B"},{"issue":"6","key":"2517_CR12","doi-asserted-by":"publisher","first-page":"1934","DOI":"10.1137\/S0363012901398186","volume":"42","author":"C Kellett","year":"2004","unstructured":"Kellett, C., Teel, A.: Weak converse Lyapunov theorems and control-Lyapunov functions. SIAM J. Control Optim. 42(6), 1934\u20131959 (2004)","journal-title":"SIAM J. Control Optim."},{"issue":"16","key":"2517_CR13","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1016\/j.ifacol.2019.11.805","volume":"52","author":"AC Lai","year":"2019","unstructured":"Lai, A.C., Motta, M.: Stabilizability in impulsive optimization problems. IFAC-PapersOnLine 52(16), 352\u2013357 (2019)","journal-title":"IFAC-PapersOnLine"},{"issue":"4","key":"2517_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s00030-020-00647-7","volume":"27","author":"AC Lai","year":"2020","unstructured":"Lai, A.C., Motta, M.: Stabilizability in optimal control. Nonlinear Differ. Equ. Appl. 27(4), 41 (2020)","journal-title":"Nonlinear Differ. Equ. Appl."},{"issue":"5","key":"2517_CR15","doi-asserted-by":"publisher","first-page":"2447","DOI":"10.3934\/dcds.2020371","volume":"41","author":"AC Lai","year":"2021","unstructured":"Lai, A.C., Motta, M.: Stabilizability in optimization problems with unbounded data. Discrete Contin. Dyn. Syst. Ser. A 41(5), 2447\u20132474 (2021)","journal-title":"Discrete Contin. Dyn. Syst. Ser. A"},{"key":"2517_CR16","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/j.jde.2021.12.022","volume":"312","author":"AC Lai","year":"2022","unstructured":"Lai, A.C., Motta, M.: Converse Lyapunov theorems for control systems with unbounded controls. J. Differ. Equ. 312, 347\u2013373 (2022)","journal-title":"J. Differ. Equ."},{"issue":"4","key":"2517_CR17","first-page":"583","volume":"1","author":"AC Lai","year":"2016","unstructured":"Lai, A.C., Motta, M., Rampazzo, F.: Minimum restraint functions for unbounded dynamics: general and control-polynomial systems. Pure Appl. Funct. Anal. 1(4), 583\u2013612 (2016)","journal-title":"Pure Appl. Funct. Anal."},{"issue":"1","key":"2517_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s00030-003-1051-8","volume":"11","author":"M Malisoff","year":"2004","unstructured":"Malisoff, M.: Bounded-from-below solutions of the Hamilton-Jacobi equation for optimal control problems with exit times: vanishing Lagrangians, eikonal equations, and shape-from-shading. Nonlinear Differ. Equ. Appl. 11(1), 95\u2013122 (2004)","journal-title":"Nonlinear Differ. Equ. Appl."},{"issue":"1","key":"2517_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00245-003-0777-3","volume":"49","author":"M Motta","year":"2004","unstructured":"Motta, M.: Viscosity solutions of HJB equations with unbounded data and characteristic points. Appl. Math. Optim. 49(1), 1\u201326 (2004)","journal-title":"Appl. Math. Optim."},{"issue":"7","key":"2517_CR20","doi-asserted-by":"publisher","first-page":"2744","DOI":"10.1016\/j.jde.2013.01.006","volume":"254","author":"M Motta","year":"2013","unstructured":"Motta, M., Rampazzo, F.: Asymptotic controllability and optimal control. J. Differ. Equ. 254(7), 2744\u20132763 (2013)","journal-title":"J. Differ. Equ."},{"issue":"2","key":"2517_CR21","doi-asserted-by":"publisher","first-page":"1508","DOI":"10.1137\/16M1086947","volume":"56","author":"M Motta","year":"2018","unstructured":"Motta, M., Rampazzo, F.: Asymptotic controllability and Lyapunov-like functions determined by Lie brackets. SIAM J. Control Optim. 56(2), 1508\u20131534 (2018)","journal-title":"SIAM J. Control Optim."},{"issue":"1","key":"2517_CR22","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s00030-014-0274-1","volume":"22","author":"M Motta","year":"2015","unstructured":"Motta, M., Sartori, C.: The value function of an asymptotic exit-time optimal control problem. Nonlinear Differ. Equ. Appl. 22(1), 21\u201344 (2015)","journal-title":"Nonlinear Differ. Equ. Appl."},{"issue":"4","key":"2517_CR23","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.1137\/S0363012999356039","volume":"39","author":"L Rifford","year":"2000","unstructured":"Rifford, L.: Existence of Lipschitz and semiconcave control-Lyapunov functions. SIAM J. Control Optim. 39(4), 1043\u20131064 (2000)","journal-title":"SIAM J. Control Optim."},{"issue":"3","key":"2517_CR24","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1137\/S0363012900375342","volume":"41","author":"L Rifford","year":"2003","unstructured":"Rifford, L.: Semiconcave control-Lyapunov functions and stabilizing feedbacks. SIAM J. Control Optim. 41(3), 659\u2013681 (2003)","journal-title":"SIAM J. Control Optim."},{"issue":"3","key":"2517_CR25","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1137\/0321028","volume":"21","author":"ED Sontag","year":"1983","unstructured":"Sontag, E.D.: Lyapunov-like characterization of asymptotic controllability. SIAM J. Control Optim. 21(3), 462\u2013471 (1983)","journal-title":"SIAM J. Control Optim."},{"key":"2517_CR26","doi-asserted-by":"crossref","unstructured":"Sontag, E.D.: Stability and stabilization: discontinuities and the effect of disturbances. In: Kluwer Academic Publishers (ed.) Nonlinear Analysis, Differential Equations and Control (Montreal, QC, 1998). NATO Science Series C: Mathematical and Physical Sciences, vol. 528, pp. 551\u2013598 (1999)","DOI":"10.1007\/978-94-011-4560-2_10"},{"key":"2517_CR27","first-page":"275","volume":"4","author":"P Soravia","year":"1999","unstructured":"Soravia, P.: Optimality principles and representation formulas for viscosity solutions of Hamilton\u2013Jacobi equations. I. Equations of unbounded and degenerate control problems without uniqueness. Adv. Differ. Equ. 4, 275\u2013296 (1999)","journal-title":"Adv. Differ. Equ."},{"key":"2517_CR28","volume-title":"Optimal Control","author":"R Vinter","year":"2000","unstructured":"Vinter, R.: Optimal Control. Springer, Berlin (2000)"}],"container-title":["Journal of Optimization Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10957-024-02517-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10957-024-02517-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10957-024-02517-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T18:05:13Z","timestamp":1730484313000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10957-024-02517-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,31]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["2517"],"URL":"https:\/\/doi.org\/10.1007\/s10957-024-02517-z","relation":{},"ISSN":["0022-3239","1573-2878"],"issn-type":[{"type":"print","value":"0022-3239"},{"type":"electronic","value":"1573-2878"}],"subject":[],"published":{"date-parts":[[2024,8,31]]},"assertion":[{"value":"18 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 August 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 August 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}