{"title":"从指数稳定性到有限/固定时间稳定性:优化应用","authors":"Ibrahim K. Ozaslan, Mihailo R. Jovanović","doi":"arxiv-2409.11713","DOIUrl":null,"url":null,"abstract":"The development of finite/fixed-time stable optimization algorithms typically\ninvolves study of specific problem instances. The lack of a unified framework\nhinders understanding of more sophisticated algorithms, e.g., primal-dual\ngradient flow dynamics. The purpose of this paper is to address the following\nquestion: Given an exponentially stable optimization algorithm, can it be\nmodified to obtain a finite/fixed-time stable algorithm? We provide an\naffirmative answer, demonstrate how the solution can be computed on a\nfinite-time interval via a simple scaling of the right-hand-side of the\noriginal dynamics, and certify the desired properties of the modified algorithm\nusing the Lyapunov function that proves exponential stability of the original\nsystem. Finally, we examine nonsmooth composite optimization problems and\nsmooth problems with linear constraints to demonstrate the merits of our\napproach.","PeriodicalId":501175,"journal":{"name":"arXiv - EE - Systems and Control","volume":"25 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"From exponential to finite/fixed-time stability: Applications to optimization\",\"authors\":\"Ibrahim K. Ozaslan, Mihailo R. Jovanović\",\"doi\":\"arxiv-2409.11713\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The development of finite/fixed-time stable optimization algorithms typically\\ninvolves study of specific problem instances. The lack of a unified framework\\nhinders understanding of more sophisticated algorithms, e.g., primal-dual\\ngradient flow dynamics. The purpose of this paper is to address the following\\nquestion: Given an exponentially stable optimization algorithm, can it be\\nmodified to obtain a finite/fixed-time stable algorithm? We provide an\\naffirmative answer, demonstrate how the solution can be computed on a\\nfinite-time interval via a simple scaling of the right-hand-side of the\\noriginal dynamics, and certify the desired properties of the modified algorithm\\nusing the Lyapunov function that proves exponential stability of the original\\nsystem. Finally, we examine nonsmooth composite optimization problems and\\nsmooth problems with linear constraints to demonstrate the merits of our\\napproach.\",\"PeriodicalId\":501175,\"journal\":{\"name\":\"arXiv - EE - Systems and Control\",\"volume\":\"25 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - EE - Systems and Control\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.11713\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - EE - Systems and Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.11713","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
From exponential to finite/fixed-time stability: Applications to optimization
The development of finite/fixed-time stable optimization algorithms typically
involves study of specific problem instances. The lack of a unified framework
hinders understanding of more sophisticated algorithms, e.g., primal-dual
gradient flow dynamics. The purpose of this paper is to address the following
question: Given an exponentially stable optimization algorithm, can it be
modified to obtain a finite/fixed-time stable algorithm? We provide an
affirmative answer, demonstrate how the solution can be computed on a
finite-time interval via a simple scaling of the right-hand-side of the
original dynamics, and certify the desired properties of the modified algorithm
using the Lyapunov function that proves exponential stability of the original
system. Finally, we examine nonsmooth composite optimization problems and
smooth problems with linear constraints to demonstrate the merits of our
approach.