--- title: System-Level Tube MPC (SLTMPC) url: https://www.emergentmind.com/topics/system-level-tube-mpc-sltmpc-a2b88c51-219c-45c9-a023-769b72fe5968 type: topic --- # System-Level Tube MPC (SLTMPC) System-Level Tube Model Predictive Control (SLTMPC) is a robust control methodology that synthesizes and optimizes both nominal trajectories and dynamic tubes in model predictive control (MPC) using system-level parameterizations. Distinct from conventional tube-MPC, SLTMPC allows concurrent, often online, optimization of the nominal plan and the tube laws themselves, significantly reducing conservativeness and enlarging the feasible region for constrained linear and uncertain systems. The approach leverages affine or block-lower-triangular system responses, disturbance reachable sets, and recent computational enhancements—such as asynchronous decomposition—to achieve scalability and practical real-time implementation in a broad class of applications [2111.03564, 2103.02460, 2406.12573, 2211.13725, 1911.06842]. ## 1. System-Level Parameterization and Core Formulation SLTMPC employs the system level parameterization (SLP), representing the closed-loop map from stacked initial state and sequence of disturbances $\tilde{\boldsymbol\delta}$ to the predicted state-input trajectory. This parameterization replaces classical static feedback gains $K$ or disturbance feedback polices with block-lower-triangular matrices $(\bm{\Phi}_x, \bm{\Phi}_u)$. The defining affine constraint is: \[ \left[I - \mathcal{Z}\mathcal{A} \;|\; -\mathcal{Z}\mathcal{B}\right] \begin{bmatrix} \bm{\Phi}_x \\ \bm{\Phi}_u \end{bmatrix} = I. \] Here, $\mathcal{Z}$ is the block-down-shift (or shift) operator over horizon $N$; $\mathcal{A}, \mathcal{B}$ are block-diagonal lifted system matrices [2111.03564, 2103.02460]. The block partitions \[ \bm{\Phi}_x = [1\ |\ \bm{\phi}_z \ \bm{\Phi}_e],\;\; \bm{\Phi}_u = [\bm{\phi}_v\ \bm{\Phi}_k] \] separate the nominal trajectory terms and the error-to-disturbance maps. The SLTMPC program treats $(\bm{\Phi}_x, \bm{\Phi}_u)$ as decision variables, optimizing both nominal trajectory and feedback response simultaneously in a convex program subject to system dynamics, state/input tightening, finite impulse response (FIR) or Toeplitz structure, and terminal invariance constraints [2111.03564, 2211.13725]. ## 2. Disturbance Reachable Sets and Tube Construction A central construct is the system-level disturbance reachable set (SL-DRS), defined for each horizon step $i$ as \[ \mathcal{F}_{e,i}(\bm{\Phi}_e) = \bigoplus_{j=0}^{i-1} \Phi_e^j\,\mathcal{W},\qquad \mathcal{F}_{k,i}(\bm{\Phi}_k) = \bigoplus_{j=0}^{i-1} \Phi_k^j\,\mathcal{W} \] where $\mathcal{W}$ is the admissible disturbance set. Imposing a FIR constraint ensures the entire future error trajectory is contained in a finite, convex family of tube cross-sections, which are then used for robust constraint tightening via Pontryagin difference: $\mathcal{X} \ominus \mathcal{F}_{e,i}$ for state and $\mathcal{U} \ominus \mathcal{F}_{k,i}$ for input constraints. These sets can be synthesized online or precomputed offline for use in standard tube-MPC [2111.03564]. When model uncertainty is present (e.g., polytopic parametric uncertainty), SLTMPC extends tube construction using homothetic or affine disturbance over-approximations in the auxiliary coordinate. The affine representation, combined with the system-level synthesis theorem, ensures inclusion of all uncertainty realizations via linear constraints on the tube and tightening variables [2406.12573]. ## 3. SLTMPC Optimization Problem Structure At each timestep, SLTMPC solves a finite-horizon convex program. The key decision variables are (i) the nominal trajectory sequence $(\bm{\phi}_z^i,\bm{\phi}_v^i)$, (ii) the system response (tube feedback) matrices $(\Phi_e^i, \Phi_k^i)$, and, where applicable, tube inflations or over-approximation variables for parametric uncertainty. A typical SLTMPC program [2111.03564, 2211.13725, 2406.12573] is: \[ \begin{aligned} \min_{\bm{\Phi}_x, \bm{\Phi}_u} \;\; & l_f(\phi_z^N) + \sum_{i=0}^{N-1} l(\phi_z^i + \Phi_e^i x_0, \phi_v^i + \Phi_k^i x_0) \\ \text{s.t. } \;\; & \left[I - \mathcal{Z}\mathcal{A}\ |\; -\mathcal{Z}\mathcal{B}\right] \begin{bmatrix} \bm{\Phi}_x \\ \bm{\Phi}_u \end{bmatrix} = I \\ & \Phi_e^N = 0, \quad \Phi_k^N = 0 \\ & \phi_z^i + \Phi_e^i x_0 \in \mathcal{X} \ominus \mathcal{F}_{e,i}(\bm{\Phi}_e) \\ & \phi_v^i + \Phi_k^i x_0 \in \mathcal{U} \ominus \mathcal{F}_{k,i}(\bm{\Phi}_k) \\ & \phi_z^N \in \mathcal{X}_f \subseteq \mathcal{X} \ominus \mathcal{F}_{e,N},\;\; \kappa_f(\mathcal{X}_f)\subseteq \mathcal{U} \ominus \mathcal{F}_{k,N} \\ & x_0 = x(t) \end{aligned} \] This guarantees that, for all admissible disturbances and model uncertainties, trajectories remain within tightened constraints and the closed-loop is input-to-state stable [2111.03564, 2211.13725, 2406.12573]. ## 4. Asynchronous Computation and Practical Implementations Real-time deployment of SLTMPC is enabled by asynchronous computation schemes that decouple tube synthesis and nominal trajectory planning. The computation is split into two parallel processes: - The secondary (low-frequency) process optimizes (or updates) tube feedback matrices—potentially expensive, e.g., 19 ms per solve for horizon $N=8$, or 700 ms for uncertain systems. - The primary (high-frequency) process uses stored tube data, introducing convex combination weights over multiple tube candidates, and solves a much smaller QP for the nominal plan each sample (e.g., 1.5–16 ms per step) [2211.13725, 2406.12573]. Tube memory slots ensure recursive feasibility even if some tube solutions become temporarily outdated. Robust invariance and constraint satisfaction are proven via candidate policy shifting and invariant set construction, even under asynchronous tube updates [2211.13725, 2406.12573]. ## 5. Extensions for Uncertain and Distributed Systems SLTMPC generalizes directly to uncertain and distributed architectures: - **Parametric uncertainty:** Affine tube over-approximation with block-wise inclusion of all vertices of the uncertainty polytope. The error-tube feedback law is synthesized to guarantee all plant uncertainty realizations are contained [2406.12573]. - **Time-varying and LTV systems:** System-level parameterization allows efficient robust constraint tightening for time-varying models with norm-bounded disturbance and operator uncertainty [1911.06842]. - **Distributed/multi-agent systems:** Nested tubes and chain-of-tubes architectures, in which inner and outer SLTMPC controllers operate at different layers (per subsystem and over the network) to reduce conservativeness relative to single-tube methods, achieve performance near centralized MPC while preserving scalability and recursive feasibility [1603.02044]. ## 6. Theoretical Properties and Computational Tradeoffs Theoretical guarantees proved across the SLTMPC literature include: - **Recursive feasibility:** Ensured by tailored invariant terminal sets, explicit Minkowski sum tightenings, and by employing shift-and-perturb arguments using the FIR property or stored tube memory [2111.03564, 2211.13725, 2406.12573]. - **Constraint satisfaction:** Follows from Pontryagin difference-based constraint tightening using SL-DRS or affine tube inclusions. - **Input-to-State Stability (ISS):** Shown by constructing an ISS Lyapunov function from the optimal value function; for uncertain systems, the closed-loop map is ISS w.r.t. over-approximating additive disturbance [2111.03564, 2406.12573]. - **Convexity and scalability:** The central optimization remains a quadratic or conic QP with variable count linear in horizon $N$. Compared to disturbance-feedback MPC ($\mathcal{O}(N^2 n m)$ variables), SLTMPC achieves near-minimal $\mathcal{O}(N(n+m))$ scaling yet avoids the conservativeness of fixed-gain tube-MPC [2103.02460]. A summary comparison of computational complexity: | Method | Controller Variables | Main Constraint Structure | |-----------------------------|---------------------|---------------------------| | Disturbance-feedback MPC | $\mathcal{O}(N^2)$ | Large QP/LP | | SLTMPC | $\mathcal{O}(N)$ | Affine SLP, QP/conic QP | | Tube-MPC, fixed $K$ | $\mathcal{O}(N)$ | Precomputed gains/Tubes | ## 7. Numerical Results and Observed Performance Extensive numerical studies confirm the following: - SLTMPC reduces average closed-loop cost significantly relative to fixed-gain tube-MPC (e.g., mean cost reduction from $\approx$30 to $\approx$26 in a double-integrator scenario), with only a modest increase in computation (e.g., 33 ms per solve vs. 53 ms for full disturbance feedback) [2103.02460]. - SLTMPC enlarges the region of attraction, closely approaches disturbance-feedback MPC in feasible set size and cost metrics, and maintains constraint satisfaction over thousands of random trials [2103.02460, 2111.03564]. - Asynchronous variants yield closed-loop performance and feasible region between full SLTMPC and classical tube-MPC, while per-sample computational cost matches that of tube-MPC [2211.13725, 2406.12573]. - In distributed settings (chain-of-tubes), decentralized SLTMPC approaches centralized MPC performance (within $\approx$1% total cost), while single-tube decentralized approaches are much more conservative [1603.02044]. - In cases with significant parametric uncertainty, the receding-horizon, recursive-feasible SLTMPC formulation achieves lower average cost and superior constraint handling compared to previous methods reliant on invariant sets for the full plant [2406.12573]. ## References - [2111.03564] Sieber et al., "System Level Disturbance Reachable Sets and their Application to Tube-based MPC", 2021. - [2103.02460] Dean et al., "A System Level Approach to Tube-based Model Predictive Control", 2021. - [2211.13725] Pfister & Sieber, "Asynchronous Computation of Tube-based Model Predictive Control", 2022. - [2406.12573] Sieber & Pfister, "Computationally Efficient System Level Tube-MPC for Uncertain Systems", 2024. - [1911.06842] Chen & Tu, "Robust Closed-loop Model Predictive Control via System Level Synthesis", 2019. - [1603.02044] Hernandez & Trodden, "Distributed Model Predictive Control Using a Chain of Tubes", 2016. Source: https://www.emergentmind.com/topics/system-level-tube-mpc-sltmpc-a2b88c51-219c-45c9-a023-769b72fe5968