---
title: Robust Quadratic Equivalent in Distributed Control
url: https://www.emergentmind.com/topics/robust-quadratic-equivalent
type: topic
---

# Robust Quadratic Equivalent in Distributed Control

Robust Quadratic Equivalent, in the sense developed for finite-horizon distributed control, denotes the circumstance under which a nonconvex robust distributed output-feedback problem admits an equivalent convex formulation over disturbance-feedback policies. In "Unified Approach to Convex Robust Distributed Control given Arbitrary Information Structures" [1711.05324], this equivalence is governed by quadratic invariance (QI) of a sparsity subspace with respect to the stacked plant map \(\mathbf{CB}\), and QI is shown to be equivalent to a finite family of inequalities over binary matrices. The term therefore refers simultaneously to a structural property of the information pattern, a convexity certificate, and an exact correspondence between the original output-feedback synthesis problem and its robust convex disturbance-feedback reformulation [1711.05324].

## 1. Finite-horizon robust distributed output-feedback setting

The underlying plant is a discrete-time LTI system on a finite horizon \(k=0,\dots,N\),
\[
\begin{aligned}
x_{k+1} &= A x_k + B u_k + D w_k, \\
y_k &= C x_k + H w_k,
\end{aligned}
\]
with state \(x_k\), input \(u_k\), measured output \(y_k\), unknown disturbance \(w_k \in \mathcal W\), and known initial condition \(x_0\). After stacking over the horizon, the dynamics take the form
\[
\mathbf{x} = \mathbf{A}x_0 + \mathbf{B}\mathbf{u} + \mathbf{E}_D\mathbf{w}, \qquad
\mathbf{y} = \mathbf{C}\mathbf{x} + \mathbf{H}\mathbf{w},
\]
with suitable block-lower-triangular matrices [1711.05324].

Robustness is imposed through polytopic safety sets. For all time steps and all disturbances,
\[
\begin{bmatrix}x_k \\ u_k\end{bmatrix} \in \Gamma = \{(x,u): Ux + Vu \le b\}, \qquad
x_N \in \mathcal X_f = \{x: Rx \le z\}.
\]
In stacked form these become
\[
F\mathbf{v} + \max_{\mathbf{w}\in\mathcal{W}^{N+1}} (F\mathbf{Q}\mathbf{P} + G)\mathbf{w} \le c,
\]
for matrices \(F,G,c\) determined by the plant and constraint data. The key structural point is that this constraint is convex in \((\mathbf Q,\mathbf v)\) because it is a max of affine functions [1711.05324].

The distributed controller is an affine output-feedback law,
\[
u_k = \sum_{j=0}^k L_{k,j} y_j + g_k,
\]
subject to an information structure encoded by binary matrices \(S_{k,j}\in\{0,1\}^{m\times p}\). The constraint \(L_{k,j}\in \mathrm{Sparse}(S_{k,j})\) specifies which components of \(u_k\) may depend on which components of \(y_j\). Because the matrices \(S_{k,j}\) are arbitrary, the framework covers time-invariant sensing topologies, fixed communication networks with delays, time-varying communication delays, time-varying sensing or communication schedules, intermittent observations, and forgetting mechanisms [1711.05324].

## 2. Disturbance-feedback parametrization and exact convex reformulation

The original search over \(\mathbf L\) is nonconvex because output-feedback enters the closed loop nonlinearly. The paper therefore uses a disturbance-feedback parametrization with
\[
\mathbf P = \mathbf C \mathbf E_D + \mathbf H,
\qquad
\mathbf u = \mathbf Q \mathbf P \mathbf w + \mathbf v,
\]
where \(\mathbf Q\) is causal and \(\mathbf v\) is a deterministic feedforward term [1711.05324].

A bijection links admissible output-feedback and disturbance-feedback policies:
\[
\mathbf L = \mathbf Q(\mathbf{CBQ} + I)^{-1}, \qquad
\mathbf Q = \mathbf L(I - \mathbf{CBL})^{-1},
\]
with the closed-loop map
\[
h(\mathbf X,\mathbf Y) = -\mathbf X(I-\mathbf Y \mathbf X)^{-1}.
\]
Under this change of variables, the cost \(J\) is convex in \(\mathbf v\) and does not depend directly on \(\mathbf Q\), while the robust polytopic constraints remain convex in \((\mathbf Q,\mathbf v)\). The only source of potential nonconvexity becomes the structural condition
\[
\mathbf Q \in -h(\mathcal S,\mathbf{CB}),
\]
where \(\mathcal S = \mathrm{Sparse}(\mathbf S)\) is the sparsity subspace induced by the information structure [1711.05324].

This is the precise locus of the robust quadratic equivalent. If the structural image \(-h(\mathcal S,\mathbf{CB})\) coincides with a linear subspace, then the original robust distributed output-feedback problem and the disturbance-feedback problem are equivalent in the strong sense used in the paper: feasible policies correspond bijectively, optimal values coincide, and optimal controllers translate through the \(\mathbf L \leftrightarrow \mathbf Q\) mapping [1711.05324].

## 3. Quadratic invariance as the convexity criterion

Let \(\mathcal S = \mathrm{Sparse}(\mathbf S)\). Quadratic invariance with respect to \(\mathbf{CB}\) is defined by
\[
\mathcal S \text{ is QI w.r.t. } \mathbf{CB}
\iff
\mathbf L\,\mathbf{CB}\,\mathbf L' \in \mathcal S,
\quad \forall \mathbf L,\mathbf L' \in \mathcal S.
\]
The interpretation given in the paper is structural closure under one quadratic interaction through the plant map: feedback interconnections allowed by the information pattern must not generate couplings outside that pattern [1711.05324].

Two finite-horizon lemmas establish the decisive equivalence. First,
\[
h(\mathcal S,\mathbf{CB}) \text{ is convex}
\iff
h(\mathcal S,\mathbf{CB}) = \mathcal S.
\]
Second,
\[
h(\mathcal S,\mathbf{CB}) = \mathcal S
\iff
\mathcal S \text{ is QI w.r.t. } \mathbf{CB}.
\]
Together they yield the proposition that the disturbance-feedback formulation is a convex program equivalent to the original output-feedback problem if and only if \(\mathcal S\) is QI with respect to \(\mathbf{CB}\) [1711.05324].

A common misunderstanding is to view QI as a performance condition. In this formulation it is instead a structural convexity condition: it does not by itself optimize the controller, but it determines whether optimal synthesis under the prescribed information structure is tractable. Another common misunderstanding is that adding hard robust constraints should destroy convexity. The paper shows the opposite for polytopic state and input constraints: once QI holds, those constraints enter naturally and do not affect convexity [1711.05324].

## 4. Finite binary test and the elimination of implicit signaling

The paper’s main technical contribution is a finite combinatorial test for QI. For any real matrix \(Y\), \(\mathrm{Struct}(Y)\) records its zero-nonzero pattern. Define
\[
\Delta_g = \mathrm{Struct}(CA^gB), \qquad g=0,1,\ldots,
\]
and use structural binary matrix multiplication and entrywise order. Then the finite-horizon Rotkowitz-Lall characterization becomes
\[
\mathcal S \text{ QI w.r.t. } \mathbf{CB}
\iff
\mathbf S\,\mathbf \Delta\,\mathbf S \le \mathbf S.
\]
The paper decomposes this into local block inequalities:
\[
S_{k,h}\,\Delta_g\,S_{h-g-1,j} \le S_{k,j},
\]
for all
\[
k \in \{1,\dots,N-1\},\quad
j \in \{0,\dots,k-1\},\quad
h \in \{j+1,\dots,k\},\quad
g \in \{0,\dots,h-j-1\}.
\]
Each inequality is entrywise between \(m\times p\) binary matrices [1711.05324].

Its interpretation is a signaling-chain test. The product
\[
S_{k,h}\,\Delta_g\,S_{h-g-1,j}
\]
checks whether information available through \(y_j\) can propagate through a controller at time \(h-g-1\), then through the plant dynamics \(A^gB\), then through another controller using \(y_h\) at time \(k\). If such implicit signaling exists, convexity requires that the corresponding information about \(y_j\) already be explicitly available at time \(k\), namely through \(S_{k,j}\). The inequalities therefore enforce a “signaling-free” information structure in the QI sense [1711.05324].

In this form, the robust quadratic equivalent condition becomes purely combinatorial: the robust distributed output-feedback problem is convexly solvable through disturbance-feedback if and only if this finite family of binary inequalities holds. The nonconvexity question is reduced from controller synthesis to verification of a finite test over binary matrices [1711.05324].

## 5. Special cases, arbitrary information structures, and computational scope

The binary criterion unifies several earlier QI characterizations. If the sensing topology is time-invariant, \(S_{k,j}=S\) for all \(k,j\), the test reduces to
\[
S\,\Delta_g\,S \le S,\qquad \forall g.
\]
Using Cayley-Hamilton, it suffices to check \(g=0,\dots,n-1\). For fixed sensing plus communication topology, with direct measurement matrix \(S\) and communication matrix \(Z\), the general condition reduces to
\[
S\,\Delta_g\,Z^r\,S \le Z^{g+r+1}S,
\]
for the range of \(g\) and \(r\) stated in the paper. This makes transparent how communication can offset plant-induced coupling and recover convexity [1711.05324].

The same theorem also covers cases not handled by monotone information-growth assumptions. Because the matrices \(S_{k,j}\) are arbitrary, time-varying communication networks, intermittent observations, time-varying delays, and forgetting mechanisms are all admissible. The paper gives an example in which controllers both receive time-varying measurements and forget previously known outputs, yet the binary QI test still holds [1711.05324].

Computationally, the binary test scales polynomially with the horizon \(N\), and each inequality is a structural check that can be performed with bitwise operations. In structured cases, the number of inequalities collapses substantially. By contrast, the original output-feedback problem in \(\mathbf L\) is nonconvex and generally intractable, and testing convexity directly at that level is essentially impossible. Once QI holds, the synthesis problem reduces to a convex disturbance-feedback program with linear sparsity constraints and robust polytopic constraints that can, for polytopic \(\mathcal W\), be dualized row-wise into linear or SOCP constraints [1711.05324].

## 6. Related meanings in adjacent robust optimization and control literatures

Several other papers use closely related formulations in which a robust problem with quadratic structure is replaced by an exact conic, matrix-inequality, or deterministic counterpart.

| Setting | Equivalent object | Status |
|---|---|---|
| Two-stage ARO with ellipsoidal uncertainty and quadratic decision rules | SDP, or SOCP for separable QDRs | exact conic reformulation [2002.05223] |
| Distributionally robust finite-horizon LQG | standard LQG for a least-favorable Gaussian model | exact in value and optimal strategies [2305.17037] |
| Robust adaptive beamforming with general-rank signal model | quadratic matrix inequality problem, then LMI relaxation | exact QMI; relaxed SDP [1905.10519] |
| Robust SOS-convex polynomial programs | SDP relaxation; SOCP in restricted quadratic cases | exact under stated uncertainty sets [1307.5386] |
| Matrix-valued uncertain quadratic and conic-quadratic constraints | support-function-based SDP/SOCP reformulations | exact for concave-in-parameter cases; inner/outer for hard quadratics [1909.01762] |
| Guaranteed-cost robust MPC with quadratically bounded uncertainty | single QCQP | deterministic robust counterpart [1606.03437] |

Taken together, these usages suggest a broader pattern rather than a single universal definition. In distributed control, the phrase denotes exact convex equivalence controlled by QI and certified by a finite binary test [1711.05324]. In adjustable robust optimization, it denotes exact SDP or SOCP reformulations under quadratic decision rules [2002.05223]. In distributionally robust LQG, it denotes equivalence to a nominal LQG problem for a least-favorable Gaussian noise model [2305.17037]. In robust beamforming, it denotes an exact QMI representation of the original worst-case problem before LMI relaxation [1905.10519]. Across these settings, the common feature is the conversion of a robust problem with quadratic structure into an equivalent or tightly controlled tractable formulation.

In that sense, the control-theoretic result of [1711.05324] is a particularly sharp instance of the idea: the robust quadratic equivalent is not merely a relaxation or approximation, but an exact convex reformulation of a constrained, distributed, robust output-feedback synthesis problem, and the existence of that reformulation is characterized completely by quadratic invariance and its finite binary-matrix test.

Source: https://www.emergentmind.com/topics/robust-quadratic-equivalent