Arbitrarily Small Execution-Time Certificate: What Was Missed in Analog Optimization

• 成果类型: Article
• 署名作者: Wu, Liang; Adegbege, Ambrose; Song, Yongduan; Braatz, Richard D.
• 署名单位: Massachusetts Institute of Technology (MIT); College of New Jersey; Chongqing University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2025.3639400
• 发表日期: 2026
• 关键词: algorithm

摘要

Numerical optimization (solving optimization problems using digital computers) currently dominates but has three drawbacks: high energy consumption, poor scalability, and lack of an execution time certificate. To address these challenges, this article explores the recent resurgence of analog computers, proposing a novel paradigm of arbitrarily small execution-time-certified analog optimization (solving optimization problems via analog computers). To achieve ultra-low energy consumption, this paradigm transforms optimization problems into ordinary differential equations (ODEs) and leverages the ability of analog computers to naturally solve ODEs (no need for time discretization) in physically real time. However, this transformation can fail if the optimization problem, such as the general convex Nonlinear programmings (NLPs) considered in this article, has no feasible solution. To avoid transformation failure and enable infeasibility detection, we introduce the homogeneous monotone complementarity problem formulation for convex NLPs. To achieve scalability and an execution time certificate, this article introduces the Newton-based fixed-time-stable scheme for the transformed ODE, whose settling time T-p can be prescribed by choosing the ODE's time coefficient as k = pi/ 2TP . This equation certifies that the settling time (execution time) is independent of the dimension of the optimization problems and can be arbitrarily small if the analog computer allows.