-
A Generalized Stopping Criterion for Real-Time MPC with Guaranteed Stability
Authors:
Kristína Fedorová,
Yuning Jiang,
Juraj Oravec,
Colin N. Jones,
Michal Kvasnica
Abstract:
Most of the real-time implementations of the stabilizing optimal control actions suffer from the necessity to provide high computational effort. This paper presents a cutting-edge approach for real-time evaluation of linear-quadratic model predictive control (MPC) that employs a novel generalized stopping criterion, achieving asymptotic stability in the presence of input constraints. The proposed…
▽ More
Most of the real-time implementations of the stabilizing optimal control actions suffer from the necessity to provide high computational effort. This paper presents a cutting-edge approach for real-time evaluation of linear-quadratic model predictive control (MPC) that employs a novel generalized stopping criterion, achieving asymptotic stability in the presence of input constraints. The proposed method evaluates a fixed number of iterations independent of the initial condition, eliminating the necessity for computationally expensive methods. We demonstrate the effectiveness of the introduced technique by its implementation of two widely-used first-order optimization methods: the projected gradient descent method (PGDM) and the alternating directions method of multipliers (ADMM). The numerical simulation confirmed a significantly reduced number of iterations, resulting in suboptimality rates of less than 2\,\%, while the effort reductions exceeded 80\,\%. These results nominate the proposed criterion for an efficient real-time implementation method of MPC controllers.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Exploiting symmetries in active set enumeration for constrained linear-quadratic optimal control
Authors:
Ruth Mitze,
Michal Kvasnica,
Martin Mönnigmann
Abstract:
This paper studies symmetric constrained linear-quadratic optimal control problems and their parametric solutions. The parametric solution of such a problem is a piecewise-affine feedback law that can be equivalently expressed as a set of active sets. We show symmetries of the optimal control problem entail symmetries of the active sets, which can be used to simplify finding the set of active sets…
▽ More
This paper studies symmetric constrained linear-quadratic optimal control problems and their parametric solutions. The parametric solution of such a problem is a piecewise-affine feedback law that can be equivalently expressed as a set of active sets. We show symmetries of the optimal control problem entail symmetries of the active sets, which can be used to simplify finding the set of active sets considerably. Specifically, we improve a recently proposed method for the dynamic-programming-based enumeration of all active sets. The achieved reduction of the computational effort is illustrated with an example.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Parallel Explicit Model Predictive Control
Authors:
Yuning Jiang,
Juraj Oravec,
Boris Houska,
Michal Kvasnica
Abstract:
This paper is about a real-time model predictive control (MPC) algorithm for large-scale, structured linear systems with polytopic state and control constraints. The proposed controller receives the current state measurement as an input and computes a sub-optimal control reaction by evaluating a finite number of piecewise affine functions that correspond to the explicit solution maps of small-scal…
▽ More
This paper is about a real-time model predictive control (MPC) algorithm for large-scale, structured linear systems with polytopic state and control constraints. The proposed controller receives the current state measurement as an input and computes a sub-optimal control reaction by evaluating a finite number of piecewise affine functions that correspond to the explicit solution maps of small-scale parametric quadratic programming (QP) problems. We provide recursive feasibility and asymptotic stability guarantees, which can both be verified offline. The feedback controller is suboptimal on purpose because we are enforcing real-time requirements assuming that it is impossible to solve the given large-scale QP in the given amount of time. In this context, a key contribution of this paper is that we provide a bound on the sub-optimality of the controller. Our numerical simulations illustrate that the proposed explicit real-time scheme easily scales up to systems with hundreds of states and long control horizons, system sizes that are completely out of the scope of existing, non-suboptimal Explicit MPC controllers.
△ Less
Submitted 15 March, 2019;
originally announced March 2019.
