Arthur Castello B. de Oliveira , Milad Siami , Eduardo D. Sontag
{"title":"过参数化LQR公式梯度流的收敛性分析","authors":"Arthur Castello B. de Oliveira , Milad Siami , Eduardo D. Sontag","doi":"10.1016/j.automatica.2025.112504","DOIUrl":null,"url":null,"abstract":"<div><div>This paper analyzes the intersection between results from gradient methods for the model-free linear quadratic regulator (LQR) problem, and linear feedforward neural networks (LFFNNs). More specifically, it looks into the case where one wants to find an LFFNN feedback that minimizes an LQR cost. It starts by deriving a key conservation law of the system, which is then leveraged to generalize existing results on boundedness and global convergence of solutions, and invariance of the set of stabilizing LFFNNs under the training dynamics (gradient flow). For the single hidden layer LFFNN, the paper proves that the solution converges to the optimal feedback control law for all but a set of Lebesgue measure zero of the initializations. These results are followed by an analysis of a simple version of the problem – the “vector case” – proving the theoretical properties of accelerated convergence and a type of input-to-state stability (ISS) result for this simpler example. Finally, the paper presents numerical evidence of faster convergence of the gradient flow of general LFFNNs when compared to non-overparameterized formulations, showing that the acceleration of the solution is observable even when the gradient is not explicitly computed, but estimated from evaluations of the cost function.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"182 ","pages":"Article 112504"},"PeriodicalIF":5.9000,"publicationDate":"2025-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Convergence analysis of gradient flow for overparameterized LQR formulations\",\"authors\":\"Arthur Castello B. de Oliveira , Milad Siami , Eduardo D. Sontag\",\"doi\":\"10.1016/j.automatica.2025.112504\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>This paper analyzes the intersection between results from gradient methods for the model-free linear quadratic regulator (LQR) problem, and linear feedforward neural networks (LFFNNs). More specifically, it looks into the case where one wants to find an LFFNN feedback that minimizes an LQR cost. It starts by deriving a key conservation law of the system, which is then leveraged to generalize existing results on boundedness and global convergence of solutions, and invariance of the set of stabilizing LFFNNs under the training dynamics (gradient flow). For the single hidden layer LFFNN, the paper proves that the solution converges to the optimal feedback control law for all but a set of Lebesgue measure zero of the initializations. These results are followed by an analysis of a simple version of the problem – the “vector case” – proving the theoretical properties of accelerated convergence and a type of input-to-state stability (ISS) result for this simpler example. Finally, the paper presents numerical evidence of faster convergence of the gradient flow of general LFFNNs when compared to non-overparameterized formulations, showing that the acceleration of the solution is observable even when the gradient is not explicitly computed, but estimated from evaluations of the cost function.</div></div>\",\"PeriodicalId\":55413,\"journal\":{\"name\":\"Automatica\",\"volume\":\"182 \",\"pages\":\"Article 112504\"},\"PeriodicalIF\":5.9000,\"publicationDate\":\"2025-08-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Automatica\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0005109825003991\",\"RegionNum\":2,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Automatica","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0005109825003991","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
Convergence analysis of gradient flow for overparameterized LQR formulations
This paper analyzes the intersection between results from gradient methods for the model-free linear quadratic regulator (LQR) problem, and linear feedforward neural networks (LFFNNs). More specifically, it looks into the case where one wants to find an LFFNN feedback that minimizes an LQR cost. It starts by deriving a key conservation law of the system, which is then leveraged to generalize existing results on boundedness and global convergence of solutions, and invariance of the set of stabilizing LFFNNs under the training dynamics (gradient flow). For the single hidden layer LFFNN, the paper proves that the solution converges to the optimal feedback control law for all but a set of Lebesgue measure zero of the initializations. These results are followed by an analysis of a simple version of the problem – the “vector case” – proving the theoretical properties of accelerated convergence and a type of input-to-state stability (ISS) result for this simpler example. Finally, the paper presents numerical evidence of faster convergence of the gradient flow of general LFFNNs when compared to non-overparameterized formulations, showing that the acceleration of the solution is observable even when the gradient is not explicitly computed, but estimated from evaluations of the cost function.
期刊介绍:
Automatica is a leading archival publication in the field of systems and control. The field encompasses today a broad set of areas and topics, and is thriving not only within itself but also in terms of its impact on other fields, such as communications, computers, biology, energy and economics. Since its inception in 1963, Automatica has kept abreast with the evolution of the field over the years, and has emerged as a leading publication driving the trends in the field.
After being founded in 1963, Automatica became a journal of the International Federation of Automatic Control (IFAC) in 1969. It features a characteristic blend of theoretical and applied papers of archival, lasting value, reporting cutting edge research results by authors across the globe. It features articles in distinct categories, including regular, brief and survey papers, technical communiqués, correspondence items, as well as reviews on published books of interest to the readership. It occasionally publishes special issues on emerging new topics or established mature topics of interest to a broad audience.
Automatica solicits original high-quality contributions in all the categories listed above, and in all areas of systems and control interpreted in a broad sense and evolving constantly. They may be submitted directly to a subject editor or to the Editor-in-Chief if not sure about the subject area. Editorial procedures in place assure careful, fair, and prompt handling of all submitted articles. Accepted papers appear in the journal in the shortest time feasible given production time constraints.