---
title: System Level Synthesis (SLS)
url: https://www.emergentmind.com/topics/system-level-synthesis-sls-d920e5d7-c1f8-4b7a-94bb-c7410920d492
type: topic
---

# System Level Synthesis (SLS)

System Level Synthesis (SLS) is a framework for controller synthesis that parametrizes the closed-loop system responses to disturbances rather than the controller itself. This approach enables direct convex optimization over achievable system behaviors under a wide range of convex constraints, including locality, sparsity, actuator and state limits, and robustness to modeling uncertainty. SLS supports both centralized and distributed architectures and is applicable to a variety of settings, including linear, nonlinear, and data-driven scenarios, as well as output-feedback and continuous-time systems.

## 1. Mathematical Foundations and Core Parameterizations

At the heart of SLS is the reparametrization of the controller design problem. For a discrete-time linear system
\[
x_{k+1} = A x_k + B u_k + w_k,
\]
the closed-loop responses from disturbance to state and input are given by transfer matrices
\[
\Phi_x(z) = (z I - A - B K)^{-1},\quad \Phi_u(z) = K (z I - A - B K)^{-1},
\]
which satisfy the affine achievability constraint
\[
[zI-A\ -B] \begin{bmatrix} \Phi_x(z) \\ \Phi_u(z) \end{bmatrix} = I,
\]
with stability (strict properness, i.e., $\Phi_x,\,\Phi_u \in (1/z)\mathcal{RH}_\infty$). All internally stabilizing controllers are captured by feasible $(\Phi_x,\Phi_u)$, and a controller can be realized via $K = \Phi_u\Phi_x^{-1}$ [1904.01634, 1610.04815].

For finite-horizon or time-varying cases, the same principle holds: the system responses $(\Phi_x,\Phi_u)$ are block-lower-triangular operators which map disturbance sequences to state and input trajectories under a corresponding affine dynamical consistency constraint [1909.10074].

The SLS paradigm extends to output-feedback, where the closed-loop behavior is parameterized by a set of four transfer matrices $(R, M, N, L)$, satisfying two affine constraints that generalize the Youla parameterization and recover all stabilizing controllers [1610.04815, 2111.00098].

## 2. Convex Synthesis and System Level Constraints

Constrained and optimal control problems are naturally formulated as convex programs over the system response variables. General system level synthesis problems have the form:
\[
\begin{aligned}
&\min_{\Phi_x,\,\Phi_u} \; J(\Phi_x, \Phi_u) \\
&\text{subject to} \ \ [zI-A\ -B]\begin{bmatrix}\Phi_x \\ \Phi_u\end{bmatrix} = I, \quad
(\Phi_x,\Phi_u)\in \mathcal{C},
\end{aligned}
\]
where $\mathcal{C}$ encodes convex system level constraints (SLCs): spatial/temporal locality, finite impulse response, actuator/sensor sparsity, polytopic state and input limits, positivity, performance constraints (H₂, H∞), and robustness to disturbances or model uncertainty. Convexity and Achievability are guaranteed by construction [1903.07174, 1904.01634, 1610.04815].

The SLS structure admits row- and column-wise separable constraints, naturally enabling distributed and localized control by directly encoding information flow and locality in the optimization variables [1909.10074, 2005.13807].

Key theoretical results show that the system-level subspaces with arbitrary convex constraints are strictly larger than those allowed by quadratic invariance, enabling synthesis of a broader class of constrained controllers [1610.04815].

## 3. Distributed and Scalable Controller Synthesis

Due to the coupling structure of the affine SLS constraints and the imposed locality/SLCs, both the formulation and solution of SLS problems can be distributed:
- Locality constraints restrict $\Phi_x[k]$ and $\Phi_u[k]$ to have nonzero blocks only within node neighborhoods or prescribed communication sets, ensuring that each subsystem’s behavior depends only on local disturbances and neighbors' information [1909.10074, 2010.01292].
- Exploiting separability, primal-dual methods and ADMM-based decomposition yield parallelizable solutions with per-agent complexity depending only on local neighborhood size and FIR horizon, independent of the global system dimension [1903.07174, 1909.10074, 2005.13807].
- For SLS with box-type (polytopic) constraints, dual variables in the robust optimization dualization inherit the same sparsity, allowing efficient distributed primal-dual updates [1903.07174].
- Dynamic programming approaches, both for state-feedback [2004.12567] and output-feedback [2111.00098], further accelerate solution of SLS programs, yielding order-of-magnitude speedups over generic convex solvers and scaling to high dimensions and long horizons.

## 4. Robustness, Uncertainty, and Safety Guarantees

SLS provides transparent robustness certificates via the affine sensitivity of closed-loop responses to model perturbation:
- Robust SLS designs guarantee bounded state and input trajectories under worst-case additive disturbances and structured model uncertainty using small-gain analysis [1904.01634, 1911.06842, 2111.05509].
- For linear-fractional (LFT) model uncertainty, convex relaxations incorporating the SLS parametrization yield less conservative and more computationally tractable robust MPC than classical tube MPC [1911.06842].
- Chance-constrained and scenario-based SLS approaches address uncertainty due to multiplicative noise, with sample complexity guarantees and tractable convex formulations [2204.02883].
- Distributionally robust SLS extends to output-feedback affine policies, utilizing Wasserstein-ambiguity sets and robust optimization to guarantee closed-loop constraint satisfaction against worst-case distributions and model mismatch [2508.05466].
- SAFETY: SLS-based controllers have been empirically validated to produce 100% empirical safety (constraint satisfaction) across high-dimensional systems when robust reachability constraints are enforced [2604.07644, 2602.12047].

## 5. Extensions to Nonlinear, Data-Driven, and Continuous-Time Systems

SLS generalizes to several advanced domains:
- Nonlinear systems: Achievability and stabilization are characterized via operator equations over causal nonlinear maps; parameterization admits gradient-based learning over stable operator classes such as Recurrent Equilibrium Networks, ensuring robust stability by construction [2203.11812, 2212.03923].
- Data-driven SLS: For unknown plants, synthesis can be performed directly from informative trajectory data using behavioral theory and Hankel matrix constraints (Willems’ lemma), both in model-based and fully data-driven formulations, with explicit sub-optimality and sample complexity bounds [2011.10674, 2504.01677].
- Affine control policies: Time-varying and constant-offset (affine) control structures can be exactly captured in SLS by augmenting system response maps; data-driven affine SLS achieves identical closed-loop trajectories as traditional MPC, with model-based equivalence and convexity preserved [2504.01677].
- Continuous-time SLS: Extension to continuous-time LTI plants uses Laplace-domain transfer matrices and partial fraction expansions, allowing convex $\mathcal{H}_2$ or $\mathcal{H}_\infty$ synthesis with structural constraints, again supporting scalable distributed design [2410.08135].

## 6. Saturation, Actuator Limits, and Internal Model Control

SLS incorporates input saturation and actuator constraints through robust optimization and compensation structures:
- State/input constraints are imposed via robustification with primal-dual algorithms and the dual variables inherit primal sparsity, affording decomposition [1903.07174].
- Input saturation can be analyzed in the Internal Model Control (IMC) framework via small-gain conditions on the controller system response. If the IMC loop gain is less than one, global closed-loop stability is preserved [1903.07174].
- A saturation compensation scheme augments the SLS controller to account for cut-off disturbances due to saturation, leading to provably faster recovery and uniformly better state/input decay compared to naive truncation-based SLS [1903.07174].

## 7. Applications and Impact Across Disciplines

SLS has demonstrated effectiveness across a wide array of domains:
- Power systems: Layered SLS-based MPC achieves within 3% of centralized MPC performance at 20$\times$ lower online computation and scales efficiently with problem size, even under tight locality and actuator constraints [2010.01292].
- Biological circuits: SLS has been used to explain the structure and prevalence of internal feedback pathways in neural systems from first principles of distributed optimal control. The SLS "mesocircuit" paradigm unifies massive internal feedback, delay embedding, and local reflexes in brain-inspired architectures [2109.11757].
- Large-scale robotics and cyber-physical systems: GPU-accelerated SLS pipelines for nonlinear, robust NMPC achieve millisecond-scale, safe receding-horizon control for humanoids and quadrupeds with $\mathcal{O}(10^5)$ variables, with empirical zero constraint violations [2604.07644].
- Learning-based and safety-critical control: SLS combined with conformal prediction enables robust, out-of-distribution MPC with theoretical finite-sample safety guarantees under distributional model shift [2602.12047].

---

Source: https://www.emergentmind.com/topics/system-level-synthesis-sls-d920e5d7-c1f8-4b7a-94bb-c7410920d492