Bryan Van Scoy, John W. Simpson-Porco, Laurent Lessard. Automated Lyapunov Analysis of Primal-Dual Optimization Algorithms: An Interpolation Approach. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 1306-1311, IEEE, 2023. [doi]
Abstract is missing.