Convergence Analysis of Overparametrized LQR Formulations
<|reference_start|>Convergence Analysis of Overparametrized LQR Formulations: Motivated by the growing use of Artificial Intelligence (AI) tools in control design, this paper takes the first steps towards bridging the gap between results from Direct Gradient methods for the Linear Quadratic Regulator (LQR), and neural networks. More specifically, it looks into the case where one wants to find a Linear Feed-Forward Neural Network (LFFNN) feedback that minimizes a LQR cost. This paper starts by computing the gradient formulas for the parameters of each layer, which are used to derive a key conservation law of the system. This conservation law is then leveraged to prove boundedness and global convergence of solutions to critical points, and invariance of the set of stabilizing networks under the training dynamics. This is followed by an analysis of the case where the LFFNN has a single hidden layer. For this case, the paper proves that the training converges not only to critical points but to the optimal feedback control law for all but a set of measure-zero of the initializations. These theoretical results are followed by an extensive analysis of a simple version of the problem (the ``vector case''), proving the theoretical properties of accelerated convergence and robustness for this simpler example. Finally, the paper presents numerical evidence of faster convergence of the training of general LFFNNs when compared to traditional direct gradient methods, 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.<|reference_end|>
@article{de oliveira2024convergence,
    title={Convergence Analysis of Overparametrized LQR Formulations},
    author={Arthur Castello B. de Oliveira, Milad Siami and Eduardo D. Sontag},
    journal={arXiv preprint arXiv:2408.15456},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.15456},
    primaryClass={eess.SY cs.SY math.DS}
}