---
title: Configuration-Constrained Tube MPC
url: https://www.emergentmind.com/topics/configuration-constrained-tube-mpc
type: topic
---

# Configuration-Constrained Tube MPC

Configuration-Constrained Tube Model Predictive Control (CCTMPC) is an advanced robust MPC framework that parameterizes forward-invariant tubes using a polytopic facet-vertex representation subject to configuration constraints, allowing for joint online optimization of tube shape and associated vertex feedback control laws. CCTMPC state and input constraint satisfaction is guaranteed under both additive and multiplicative uncertainty, leveraging a parameterization that balances reduced conservatism with tractable convex programming [2208.12554, 2405.03629, 2505.14440].

## 1. Problem Setting and Mathematical Foundations

CCTMPC addresses uncertain discrete-time systems described by
\[
x_{k+1} = A_k x_k + B_k u_k + w_k,\quad (A_k,B_k) \in \Delta := \mathrm{convh}\{(A_1,B_1),\ldots,(A_m,B_m)\}
\]
with \( x_k \in \mathcal{X} \subset \mathbb{R}^{n_x} \), \( u_k \in \mathcal{U} \subset \mathbb{R}^{n_u} \), \( w_k \in \mathcal{W} \subset \mathbb{R}^{n_x} \), and all sets convex, compact polytopes [2505.14440].

Each tube cross-section is defined as
\[
P(y) := \{ x\in\mathbb{R}^{n_x} \mid F x \le y \}
\]
where \( F \in \mathbb{R}^{f \times n_x} \) is a fixed facet matrix and \( y \in \mathbb{R}^f \) is restricted by the configuration cone \( \mathcal{E} = \{ y \mid E y \le 0 \} \) to guarantee invariant facet-vertex incidence [2208.12554, 2505.14440]. The vertex map \( V = \{V_j\}_{j=1}^v \), \( V_j \in \mathbb{R}^{n_x \times f} \), ensures that
\[
P(y) = \mathrm{convh}\{ V_j y \mid 1 \leq j \leq v \}
\]
for all \( y \in \mathcal{E} \).

Robust one-step reachability is encoded via the convex set
\[
\mathcal{S} := \{ (y, u, y^+) \mid F(A_i V_j y + B_i u_j) + d \le y^+,\, E y \le 0,\, V_j y \in \mathcal{X},\, u_j \in \mathcal{U} \,\,\forall i,j \}
\]
where \( d_k = \max\{F_k w : w \in \mathcal{W}\} \) [2505.14440].

## 2. Full and Structured CCTMPC Formulations

The fully-parameterized CCTMPC tracking QP at time \( x \) is given by
\[
\min_{(y_k, u_k)_{k=0}^N} \sum_{k=0}^{N-1} [y_k-y_m; u_k-u_m]^\top Q [y_k-y_m; u_k-u_m] + [y_N-y_m; u_N-u_m]^\top R [y_N-y_m; u_N-u_m]
\]
subject to
\[
(y_k, u_k, y_{k+1}) \in \mathcal{S},\quad F x \le y_0,\quad (y_N, u_N, \gamma y_N + (1-\gamma) y_m) \in \mathcal{S}
\]
with reference RCI set \((y_m, u_m)\) computed as the unique optimizer of \( \ell(y, u) \) s.t. \( (y, u, y) \in \mathcal{S} \) [2505.14440]. The recursive Lyapunov function
\[
\mathcal{L} = \sum_{k=0}^{N-1} [y_k-y_m; u_k-u_m]^\top Q [y_k-y_m; u_k-u_m] + [y_N-y_m; u_N-u_m]^\top R [y_N-y_m; u_N-u_m]
\]
decreases monotonically under the dissipativity condition \( Q + \gamma^2 R \preceq R \), ensuring robust convergence \( x_k \to P(y_m) \).

A variable-restriction framework introduces homothetic parameterization:
\[
y = \alpha y_m + F z,\qquad u_j = \alpha u_{m,j} + v,\quad \alpha \geq 0,\ z\in\mathbb{R}^{n_x},\ v\in\mathbb{R}^{n_u}
\]
producing a reduced-complexity Homothetic Tube MPC (HTMPC) QP, with significant reduction in variable and constraint counts for high-dimensional or complex tube templates. Intermediate schemes—by partially fixing vertex control laws—interpolate between full CCTMPC and HTMPC, yielding a flexible complexity-conservatism trade-off [2505.14440].

## 3. Template Refinement and Initialization

Template complexity, characterized by facet count \( f \) and vertex count \( v \), determines the expressiveness and computational burden of the tube parameterization. To balance conservatism and computational tractability, an iterative template refinement algorithm is introduced:

- A convex QP determines the largest-in-the-chosen-norm RCI set \( P(y_M^*) \) containing specified points.
- An iterative cutting-plane procedure repeatedly tightens facial descriptions to incrementally expand the feasible invariant polytope, with monotonic improvement of tube size (Hausdorff measure) at each iteration (Proposition 4) [2505.14440].
- Template initialization solves a smooth NLP over invertible transformations, vertex controls, and slack variables to ensure robust reachability for the initial template and the desired constraint sets.

These processes systematically decrease tube conservatism and are essential for scaling CCTMPC to practical, high-dimensional systems.

## 4. Theoretical Guarantees and Recursive Feasibility

CCTMPC guarantees, under convexity and proper terminal set design, robust recursive feasibility, robust constraint satisfaction, and Lyapunov-based asymptotic convergence. All constraints—facet-invariance, vertex mapping, robust propagation—are maintained via convex optimization [2208.12554, 2405.03629, 2505.14440].

For periodic or reference-tracking problems, the introduction of artificial variables for candidate periodic tubes (or RCI sets) in the optimization problem enables guaranteed recursive feasibility under arbitrary cost or reference changes, with convergence to the optimal periodic tube or invariant set under constancy (via Lyapunov function descent) [2512.04239].

## 5. Computational Aspects and Trade-Offs

Computational complexity in CCTMPC grows with the number of facets \( f \), vertices \( v \), and uncertainty vertices \( m \). Fully-parameterized CCTMPC incurs \( O(v n_u) \) control variables, while HTMPC reduces this to \( n_u + 1 \), with corresponding constraint reductions [2505.14440]. For complex or high-dimensional systems, homothetic or partially-parameterized schemes yield 5–15× speed-ups at the expense of moderate conservatism.

Simulation results on a triple integrator (n_x=3) and a 10-state quadrotor showcase that:
- For small \( v \), fully-parameterized CCTMPC achieves tighter feasible domains (lower Hausdorff distances to the maximal RCI set).
- For large \( v \), HTMPC achieves markedly reduced solve times (e.g., 1.30 ms avg for HTMPC vs. 15.06 ms for CCTMPC in the triple integrator; 22.9 ms for HTMPC vs. 334 ms for CCTMPC in the quadrotor with \( v=1024 \)) [2505.14440].
- For periodic economic operation, QP approximations using Lipschitz-gradient stability preserve guarantees at orders-of-magnitude lower computation time (1.31 s vs. 26.7 s) [2512.04239].

Guidelines: For n_x=10–20 state systems, maintain \( v \leq 200 \) unless acceptable online runtimes are in the ~100 ms range; initialize with a simplex template and refine towards \( f \sim 2 n_x \); choose homothetic parameterization for \( v > 100 \) [2505.14440].

## 6. Comparative Analysis and Extensions

CCTMPC is systematically less conservative than rigid, homothetic, and elastic tube MPC variants, and can realize non-affine robust policies that classical disturbance-affine or fully parameterized tube MPC cannot [2208.12554, 2505.14440]. In 2D, CCTMPC subsumes ETMPC; in higher-dimensions it strictly outperforms classical schemes under certain conditions.

Extensions include hierarchical CCTMPC, where tube scaling factors or zonotopic generators are made variables of upper-level (scheduling) controllers in large-scale or multi-agent systems, and periodic tracking CCTMPC for economically optimal periodic solutions [2202.11228, 2512.04239]. Open research avenues include precise characterization of configuration cones for general polytopes, integration with output feedback, nonlinear system extensions, and systematic template-selection algorithms.

## 7. Practical Implementation and Application Domains

Key application domains include autonomous vehicle tracking under uncertainty, high-dimensional aerospace systems such as quadrotors, and economically-driven periodic operation of industrial processes [2405.03629, 2512.04239, 2505.14440]. The approach integrates efficiently with modern convex QP solvers; precomputation, warm-starting, and template selection routines are recommended for real-time or high-rate sampling scenarios.

A typical workflow entails:
- Template and configuration cone selection and refinement,
- Online convex QP for tube and control optimization,
- Piecewise affine or barycentrically blended vertex control law realization,
- Recursive updating of artificial/reference-invariant tubes for reference tracking or periodicity,
- Monitoring of Lyapunov function descent for performance and stability.

This method provides a unified framework for robust, tractable control under uncertainty with clear trade-offs between controller complexity, conservatism, and runtime [2505.14440, 2512.04239, 2208.12554, 2405.03629].

Source: https://www.emergentmind.com/topics/configuration-constrained-tube-mpc