PANDA is proposed, a matrix-free solver for differentiable NMPC that achieves much faster forward and backward computation and lower memory overhead than representative differentiable optimization solvers, while maintaining effective imitation learning performance.
Abstract
Differentiable nonlinear model predictive control (NMPC) provides a principled way to embed optimal control structure into end-to-end learning paradigms, but its practical use is often limited by the computational and memory costs of both forward optimization and backward sensitivity propagation. This brief proposes PANDA, a matrix-free solver for differentiable NMPC. In the forward pass, PANDA combines proximal-gradient iterations with quasi-Newton acceleration and introduces an adaptive stepsize enlargement mechanism to mitigate the conservativeness of monotone stepsize reduction. The resulting stepsize behavior and its effect on local convergence are theoretically analyzed. In the backward pass, PANDA performs implicit differentiation from the residual equation and computes adjoint sensitivities using Krylov-subspace iterative methods together with automatic-differentiation-based Matrix-Vector product operators, thereby avoiding explicit Hessian and Jacobian construction. The method is evaluated on a nonconvex trailer NMPC problem embedded in an imitation learning task. The results show that PANDA achieves much faster forward and backward computation and lower memory overhead than representative differentiable optimization solvers, while maintaining effective imitation learning performance.
This work proposes a nonlinear-residual linearized augmented Lagrangian method (NR-LALM) that replaces this subproblem by a regularized Gauss-Newton-type step while retaining the classical multiplier update based on the nonlinear constraint residual.
Benqi Liu, Kangkang Deng, Zichen Wang et al.· 0 citations
A globally convergent regularized Newton method with positive definite regularization for solving nonsmooth optimization problems that replaces the identity matrix in traditional algorithms with a general positive-definite symmetric matrix to regularize the generalized Hessian.
Numerical experiments show that the proposed online-learning-enhanced nonlinear elimination preconditioner produces more reliable and coherent bad subsets, is robust with respect to both NE and learning parameters, and outperforms the baseline NE preconditioner in terms of the convergence.
Pai Zhang, Linyan Gu, Liulu Luo· arXiv.org· 0 citations
This work proposes a novel single-loop algorithm based on a constrained reformulation in which lower-level stationarity is imposed as a constraint, and constructs a regularized Lagrangian by introducing a quadratic regularizer and restricting the dual variable to a bounded domain.
This paper presents a data-driven stable manifold (DD-SM) method, which integrates Koopman operator representation learning with the geometric stable manifold approach to Hamilton-Jacobi-Bellman (HJB) equations, enabling end-to-end optimal feedback control synthesis from raw trajectory data without prior knowledge of system dynamics. We construct an augmented control system under a unified symmetric subspace decomposition (SSD) and extended dynamic mode decomposition (EDMD) framework for joint approximation of the drift field, control matrix and their spatial derivatives, and derive probabilistic finite-sample error bounds for invariant and non-invariant dictionary spaces to yield a provably accurate approximate characteristic system of HJB equation. Via Lyapunov-Perron operator and ODE perturbation analysis, we prove the data-driven stable manifold achieves monotonically decreasing semi-global error with growing training data. We further establish closed-loop exponential stability and quantify the optimality gap, both tightenable by refining model accuracy. An efficient algorithm pipeline with adaptive data generation and deep neural approximation is developed, outputting control signals within 1 millisecond. Experiments on a modified van der Pol oscillator verify the effectiveness of our method.
Guuyuan Chen, G. Zhu· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.