An Inner Approximation Algorithm for Dynamic Optimization With Strict Satisfaction of Path Constraints

• 成果类型: Article
• 署名作者: Fu, Jun; Jiang, Lizhong
• 署名单位: Northeastern University - China
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2025.3568559
• 发表日期: 2025
• 页码: 7039-7046
• 关键词: approximation algorithms; Upper bound; optimization; Heuristic algorithms; CONVERGENCE; vectors; POLYNOMIALS; training; Time-domain analysis; linear programming; dynamic optimization; inner approximation; interval analysis; path constraints

摘要

An inner approximation algorithm is proposed for path-constrained dynamic optimization (PCDO) by iteratively solving restrictions of PCDO (RPCDO). First, an upper bound function of the path constraint is designed based on interval analysis theory, which is utilized to construct RPCDO. Second, the algorithm is proposed based on iteratively approximating PCDO by dividing either all the time subintervals if RPCDO is infeasible or the active time subintervals if its solution does not satisfy the karush-kuhn-tucker (KKT) conditions of PCDO. The algorithm locates a KKT point of PCDO with specified tolerances while strictly satisfying the path constraint. Third, the finite convergence of the algorithm is proved theoretically. Finally, the numerical experiments show the effectiveness of the algorithm in terms of the computational time and strict satisfaction of the path constraint.