Low-Complexity First-Order Constraint Linearization Methods for Efficient Nonlinear MPC

被引:0
|
作者
Torrisi, Giampaolo [1 ]
Grammatico, Sergio [2 ]
Frick, Damian [1 ]
Robbiani, Tommaso [1 ]
Smith, Roy S. [1 ]
Morari, Manfred [3 ]
机构
[1] Swiss Fed Inst Technol, Automat Control Lab, Zurich, Switzerland
[2] Delft Univ Technol, Delft Ctr Syst & Control, Delft, Netherlands
[3] Univ Penn, Dept Elect & Syst Engn, Philadelphia, PA 19104 USA
关键词
MODEL-PREDICTIVE CONTROL; OPTIMIZATION; ALGORITHM;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, we analyze first-order methods to find a KKT point of the nonlinear optimization problems arising in Model Predictive Control (MPC). The methods are based on a projected gradient and constraint linearization approach, that is, every iteration is a gradient step, projected onto a linearization of the constraints around the current iterate. We introduce an approach that uses a simple lp merit function, which has the computational advantage of not requiring any estimate of the dual variables and keeping the penalty parameter bounded. We then prove global convergence of the proposed method to a KKT point of the nonlinear problem. The first-order methods can be readily implemented in practice via the novel tool FalcOpt. The performance is then illustrated on numerical examples and compared with conventional methods.
引用
收藏
页数:6
相关论文
共 50 条
  • [41] Iteration complexity analysis of dual first-order methods for conic convex programming
    Necoara, I.
    Patrascu, A.
    OPTIMIZATION METHODS & SOFTWARE, 2016, 31 (03): : 645 - 678
  • [42] Complexity of first-order inexact Lagrangian and penalty methods for conic convex programming
    Necoara, I.
    Patrascu, A.
    Glineur, F.
    OPTIMIZATION METHODS & SOFTWARE, 2019, 34 (02): : 305 - 335
  • [43] From error bounds to the complexity of first-order descent methods for convex functions
    Jérôme Bolte
    Trong Phong Nguyen
    Juan Peypouquet
    Bruce W. Suter
    Mathematical Programming, 2017, 165 : 471 - 507
  • [44] The Moreau envelope based efficient first-order methods for sparse recovery
    Yu, Yongchao
    Peng, Jigen
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2017, 322 : 109 - 128
  • [45] Physical Computational Complexity and First-order Logic
    Whyman, Richard
    FUNDAMENTA INFORMATICAE, 2021, 181 (2-3) : 129 - 161
  • [46] The Complexity of Decomposing Modal and First-Order Theories
    Goeller, Stefan
    Jung, Jean Christoph
    Lohrey, Markus
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 325 - 334
  • [47] The complexity of definability by open first-order formulas
    Areces, Carlos
    Campercholi, Miguel
    Penazzi, Daniel
    Ventura, Pablo
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (06) : 1093 - 1105
  • [48] Low-Complexity Polynomial Approximation of Explicit MPC via Linear Programming
    Kvasnica, Michal
    Loefberg, Johan
    Herceg, Martin
    Cirka, L'ubos
    Fikar, Miroslav
    2010 AMERICAN CONTROL CONFERENCE, 2010, : 4713 - 4718
  • [49] ON THE FIRST-ORDER COMPLEXITY OF INDUCED SUBGRAPH ISOMORPHISM
    Verbitsky, Oleg
    Zhukovskii, Maksim
    LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (01) : 25:1 - 25:24
  • [50] The Complexity of Decomposing Modal and First-Order Theories
    Goeller, Stefan
    Jung, Jean-Christoph
    Lohrey, Markus
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (01)