---
title: Receding Horizon Control Fundamentals
url: https://www.emergentmind.com/topics/receding-horizon-control
type: topic
---

# Receding Horizon Control Fundamentals

Receding Horizon Control (RHC)—also known as Model Predictive Control (MPC)—is an advanced control paradigm wherein, at each sampling instant, a finite-horizon optimal control problem is solved using the current state as the initial condition, the computed control is applied for a short interval, and the process is repeated with the system’s updated state. Originating in the context of process control, RHC has become the dominant strategy for controlling complex dynamic systems—both deterministic and stochastic, linear and nonlinear, centralized and distributed—under constraints and real-time feedback. The essential feature of RHC is its dynamic, iterative optimization and deployment of control actions over a sliding window or prediction horizon, accommodating disturbance, uncertainty, constraints, and non-stationarity.

## 1. Core Principles and Formal Structure

The generic RHC loop operates as follows: At time $k$, given state $x_k$, a finite-horizon optimal control problem is formulated over horizon $N$ (or a continuous time $T$), minimizing a cost functional (often quadratic in state and input) subject to system dynamics and constraints (state, input, etc.). Only the first control input $u^*_k$ from the computed sequence $\{u^*_k, u^*_{k+1}, ...\}$ is applied; at the next step, the process re-solves with updated measurements.

Formally, for a discrete-time LTI system 
\[
x_{k+1} = A x_k + B u_k
\]
with constraints $x_k \in \mathcal X$, $u_k \in \mathcal U$, the RHC problem at each $k$ is (see [1811.02426], [1811.02421]):
\[
\min_{u_{k:k+N-1}} \sum_{i=k}^{k+N-1} \ell(x_i, u_i) + \phi(x_{k+N})
\]
subject to dynamics, initial state $x_k$, and constraints, where $\ell(\cdot)$ is the stage cost, $\phi(\cdot)$ the terminal cost. The use of a moving/“receding” finite prediction horizon replaces often intractable infinite-horizon problems by tractable subproblems, relying on suitable choices of terminal penalties/constraints to ensure optimality, stability, and feasibility.

## 2. Terminal Cost, Invariance, and Stability

The terminal cost $\phi(x_{k+N})$ and terminal constraint sets are critical for ensuring the closed-loop system’s stability and near-optimality. If the finite-horizon problem employs the exact value function as terminal penalty, RHC recovers the infinite-horizon optimal controller ([1811.02426]). Practically, one uses quadratic or higher-order Taylor approximations to the value function:
\[
V_k(y) = \sum_{j=2}^k \frac{1}{j!} D^jV(0)[y,\ldots,y]
\]
and the error in control/cost converges exponentially in the terminal horizon length $T$:
\[
\|u_{\text{RHC}} - u^*\|_{L^2(0,\infty)} \leq M e^{-\lambda(T-\tau)-\lambda k T} \|y_0\|^k
\]
where $\lambda$ is the decay rate ([1811.02426], [1811.02421]). For non-linear or constrained systems, $\lambda$-contractive (positively invariant) sets and contractivity constraints are employed to guarantee uniform ultimate boundedness or exponential stability ([2510.06153], [1203.3136]).

## 3. Data-Driven and Robust Receding Horizon Control

RHC naturally extends to systems with model uncertainty via data-driven or set-membership techniques. In the robust data-driven framework ([2510.06153]), no fixed $(A,B)$ is assumed; instead, the controller maintains a polytope $\mathcal C(\mathcal D)$ of all $(A,B)$ pairs consistent with the data and bounded disturbances, updating $\mathcal C$ as data accumulate:
\[
\mathcal C(\mathcal D) = \left\{(A,B): \|V(A x_k + B u_k - x_{k+1})\|_\infty \leq 1, ~\forall k \right\}
\]
At each step, the RHC solves
\[
\min_{\lambda, u}~ \lambda
\]
subject to robust contractivity for all $(A,B)\in\mathcal C(\mathcal D)$ and disturbances $v$:
\[
\psi_{\mathcal X}(A x_k+B u+v) \leq \lambda\,\psi_{\mathcal X}(x_k)
\]
This linear programming approach tractably enforces universal contractivity with formal guarantees, outperforming batch data-driven methods in both contraction and convergence speed ([2510.06153]).

## 4. Distributed, Event-Driven, and Large-Scale RHC

RHC methodologies scale to multi-agent, networked, or distributed systems via decomposition and local coordination. Deep-structured RHC for teams ([2110.10554]) uses gauge transformations to decouple global and local coordination:
\[
u_t^i = \theta_t^* x_t^i + \frac{\alpha_i}{\gamma_i}(\bar\theta_t^* - \theta_t^*)\bar x_t^\alpha + \ldots
\]
In the presence of constraints, tractable local and global quadratic programs (QPs) are solved at each step, with proven feasibility, scalability independent of team size, and $O(H^3 d^3)$ computational complexity.

In networked settings, such as stochastic robotic networks for information broadcast ([2212.09808]) or persistent monitoring ([2009.11958], [2102.12963], [2003.11713]), event-driven RHC triggers optimization at significant events (arrivals, threshold crossings), often leading to closed-form, locally solvable subproblems, with minimal communication. The performance is quantified rigorously (e.g., exponential convergence rates, mean time to broadcast bounds, time-average uncertainties), with learning-based enhancements to further reduce computation ([2009.11958]).

## 5. RHC under Constraints, Uncertainty, and in Stochastic Regimes

A major strength of RHC lies in its ability to handle constraints—whether interval-wise energy constraints ([1203.3136]), probabilistic state constraints ([1406.7629], [1001.3015], [1211.4038]), or temporal logic (LTL) specifications ([1303.3533], [1203.2860], [2007.12123]). Probabilistic state constraints are enforced by converting chance constraints to deterministic forms via inverse cdfs, leading to tractable convex programs at each step ([1406.7629]). For nonlinear or stochastic systems, RHC decomposes the task into a path-planning layer (using the drift) and a local stochastic optimal controller (solved via linear PDEs or Feynman–Kac representations), providing convergence with high probability under suitable regularity ([1211.4038]).

For systems with only input/output access or model-free settings, receding horizon learning schemes combine proximity-constrained estimation with receding horizon optimization, achieving global asymptotic convergence without explicit model knowledge ([2010.05891], [2003.09813]).

## 6. Applications and Generalizations

RHC is applied across a vast spectrum:  
- Swarm robotics and deep-structured teams ([2110.10554])  
- Distributed estimation and monitoring ([2009.11958], [2102.12963], [2003.11713])  
- Stochastic network control ([2212.09808])  
- Automata-theoretic and temporal logic-constrained planning ([1303.3533], [1203.2860], [2007.12123])  
- Energy-constrained systems ([1203.3136])  
- Autonomous driving in dense traffic with proactive interaction using spatiotemporal safety barriers and multiple-shooting NLP solvers ([2308.05929])  
- Infinite-horizon aggregative games via periodic strategy mapping and set-valued receding-horizon dynamical systems, with Lyapunov-based convergence results ([2207.00305])

These applications share the recurring structure of per-step constrained optimization, event- or time-driven replanning, and data-driven or distributed task decomposition—rendering RHC a unifying methodology for tractable, high-performance control.

## 7. Theoretical Guarantees and Computational Aspects

Rigorous theoretical foundations for RHC include:
- Exponential convergence rates to true infinite-horizon optimal control as horizon increases ([1811.02426], [1811.02421])
- Uniform ultimate boundedness and stability with bounded disturbances and contractivity enforcement ([2510.06153], [1203.3136])
- Explicit Lyapunov and ISS arguments for suboptimal, distributed, or event-driven variants ([2003.09813], [1001.3015], [2009.11958])
- Recursive feasibility and correctness for rich temporal logic tasks via automata-based terminal and energy constraints ([1303.3533], [1203.2860], [2007.12123])
- Complexity that is polynomial in horizon/state dimension and, under suitable decompositions, independent of network or agent population sizes ([2110.10554], [2308.05929])
- Real-time feasibility in automotive and robotic settings by exploiting structure (multiple-shooting, warm start, convex reformulations) ([2308.05929])

The ongoing research front continues to expand RHC's scalability, robustness to model uncertainty, learning-awareness, and tight theoretical-performance guarantees—making it a foundational paradigm for modern feedback control design.

Source: https://www.emergentmind.com/topics/receding-horizon-control