Abstract:Handling possible infeasibility and providing an execution time certificate are two pressing requirements of real-time Model Predictive Control (MPC). To meet these two requirements simultaneously, this paper proposes an $\ell_1$-penalty soft-constrained MPC formulation that is globally feasible and solvable with an execution time certificate using our proposed algorithm. This paper proves for the first time that $\ell_1$-penalty soft-constrained MPC problems can be equivalently transformed into a box-constrained quadratic programming (Box-QP) and then our previous execution-time-certified algorithm \cite{wu2023direct} (only limited to Box-QP) can be applied. However, our previous Box-QP algorithm \cite{wu2023direct}, which provides a theoretical execution-time certificate, is conservative in its iteration analysis, thus sacrificing computation efficiency. To this end, this paper proposes a novel $LDL^\top$ decomposition for the first time, to accelerate the computation of Newton step at each iteration. The speedup of our $LDL^\top$ decomposition comes from two-fold: \textit{i)} exploitation of the fact that the number of inequality constraints is generally larger than the number of variables in condensed MPC formulations, \textit{ii)} vectorized and parallel implementation based on based on its vector-wise operations, instead of element-wise operations of previous decomposition methods. Numerical experiments demonstrate great speedups of the proposed $LDL^\top$ decomposition (even up to 1000-fold, compared to the standard Choleksky method), which thus helps our solver achieve comparable computation performance to the state-of-the-art solvers such as IPOPT and OSQP. Code is available at \url{<a class="link-external link-https" href="https://github.com/liangwu2019/L1-penalty-QP" rel="external noopener nofollow">this https URL</a>}.

Exploiting GPU/SIMD Architectures for Solving Linear-Quadratic MPC Problems

Fast Linear Parameter Varying Model Predictive Control of Buck DC-DC Converters Based on FPGA.

Condensed-space methods for nonlinear programming on GPUs

Embedded MPC Controller Based on Interior‐Point Method with Convergence Depth Control

GPU-Accelerated PD-IPM for Real-Time Model Predictive Control in Integrated Missile Guidance and Control Systems

A Parallel-in-Time Newton's Method for Nonlinear Model Predictive Control

Parallel and Proximal Constrained Linear-Quadratic Methods for Real-Time Nonlinear MPC

Dual dynamic programming for multi-scale mixed-integer MPC

Accelerating Iterative Linear Solvers Using Multiple Graphical Processing Units

Accelerating Condensed Interior-Point Methods on SIMD/GPU Architectures

NIPM-MPC: An Efficient Null-Space Method Based Interior-Point Method for Model Predictive Control

Towards safe and tractable Gaussian process-based MPC: Efficient sampling within a sequential quadratic programming framework

$\mathcal{N}$IPM-MPC: An Efficient Null-Space Method Based Interior-Point Method for Model Predictive Control

Embedded Model Predictive Control Using Robust Penalty Method

GPU-accelerated dynamic nonlinear optimization with ExaModels and MadNLP

PRESAS: Block‐structured preconditioning of iterative solvers within a primal active‐set method for fast model predictive control

A Parallel Vector-form $LDL^\top$ Decomposition for Accelerating Execution-time-certified $\ell_1$-penalty Soft-constrained MPC

Condensed interior-point methods: porting reduced-space approaches on GPU hardware

Tailored Presolve Techniques in Branch-and-Bound Method for Fast Mixed-Integer Optimal Control Applications

Iterative Methods in GPU-Resident Linear Solvers for Nonlinear Constrained Optimization

Simultaneous Solving of Batched Linear Programs on a GPU