arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2409.08066cs.LGmath.OC
收藏

约束优化的迭代求解器的自监督学习

Self-Supervised Learning of Iterative Solvers for Constrained Optimization

Chair of Process Automation Systems, TU Dortmund University(过程自动化系统教授会,杜伊斯堡-艾森大学)

Lukas Lüken, Sergio Lucia

AI总结:

提出一种基于学习的迭代求解器,通过神经网络预测初始解并用学习型迭代器精炼,利用KKT条件设计损失函数实现自监督训练,在非凸问题上比IPOPT快一个数量级且精度更高。

摘要:

参数优化问题的实时求解对于在严格实时约束下要求高精度的应用(如模型预测控制)至关重要。为此,本文提出了一种基于学习的约束优化迭代求解器,包括一个神经网络预测器,用于生成初始原始-对偶解估计,随后是一个学习型迭代求解器,用于精炼这些估计以达到高精度。我们引入了一种基于Karush-Kuhn-Tucker(KKT)最优性条件的新型损失函数,实现了完全自监督训练,无需预先求解的优化器解决方案。理论保证确保训练损失函数仅在KKT点处达到最小值。一种凸化过程使得该方法能够应用于非凸问题,同时保留这些保证。在两个非凸案例研究上的实验表明,与最先进的求解器(如IPOPT)相比,速度提升高达一个数量级,同时比竞争的学习方法实现了数量级更高的精度。

英文摘要:

The real-time solution of parametric optimization problems is critical for applications that demand high accuracy under tight real-time constraints, such as model predictive control. To this end, this work presents a learning-based iterative solver for constrained optimization, comprising a neural network predictor that generates initial primal-dual solution estimates, followed by a learned iterative solver that refines these estimates to reach high accuracy. We introduce a novel loss function based on Karush-Kuhn-Tucker (KKT) optimality conditions, enabling fully self-supervised training without pre-solved optimizer solutions. Theoretical guarantees ensure that the training loss function attains minima exclusively at KKT points. A convexification procedure enables application to nonconvex problems while preserving these guarantees. Experiments on two nonconvex case studies demonstrate speedups of up to one order of magnitude compared to state-of-the-art solvers such as IPOPT, while achieving orders of magnitude higher accuracy than competing learning-based approaches.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑