---
title: Set-Theoretic Model Reference Adaptive Control
url: https://www.emergentmind.com/topics/set-theoretic-model-reference-adaptive-control
type: topic
---

# Set-Theoretic Model Reference Adaptive Control

Searching arXiv for the cited works and closely related papers on set-theoretic MRAC.
arXiv search query: `all:"Set-Theoretic Model Reference Adaptive Control" OR id:2508.21584 OR id:1909.07916 OR id:2109.10611 OR id:2502.21091`
Set-theoretic model reference adaptive control denotes a family of MRAC formulations in which the control objective is posed as membership in explicitly defined sets rather than as asymptotic tracking alone. In the recent literature, these sets take several forms: safe state and input sets for uncertain linear systems with disturbances, prescribed tubes around nonlinear reference trajectories, compact convex parameter-estimate sets imposed by projection algorithms, and data-consistent model sets used to characterize when adaptive gains can converge to solutions of the matching equations [2508.21584][1909.07916][2109.10611][2502.21091]. Across these formulations, the central theme is that adaptation is constrained or shaped by set membership, so that forward invariance, feasibility, boundedness, or convergence can be certified directly in set-theoretic terms.

## 1. Definition, scope, and unifying viewpoint

In MRAC, the plant is required to track a reference model by means of feedback gains that are updated online. The classical matching equations appear repeatedly across the literature. For the continuous-time constrained LTI setting, the plant and reference model are
\[
\dot{x}(t)=Ax(t)+Bu(t)+d(t), \qquad
\dot{x}_r(t)=A_r x_r(t)+B_r r(t),
\]
with tracking error \(e(t)\triangleq x(t)-x_r(t)\), and the standard matching assumption is
\[
A+BK_x=A_r,\qquad BK_r=B_r
\]
for some constant controller parameters \(K_x,K_r\) [2508.21584]. In the discrete-time informativity framework, the unknown plant and the known reference model are
\[
x(t+1)=A_{\rm s}x(t)+B_{\rm s}u(t),\qquad
x_{\rm m}(t+1)=A_{\rm m}x_{\rm m}(t)+B_{\rm m}r(t),
\]
and state-feedback MRAC seeks gains \(K,L\) satisfying
\[
A_{\rm s}+B_{\rm s}K=A_{\rm m},\qquad B_{\rm s}L=B_{\rm m},
\]
so that the error evolves as \(e(t+1)=A_{\rm m}e(t)\) [2502.21091].

What makes these approaches “set-theoretic” is not a single controller structure but the use of sets as the primary objects of analysis. In one line of work, the relevant sets are safe state and input constraint sets and an invariant tracking-error set [2508.21584]. In another, they are a safe state set \(S_s\) and a prescribed performance tube \(\mathcal{T}(t)\) around a nonlinear reference trajectory [1909.07916]. In a third, they are compact convex parameter sets that constrain adaptive estimates through Euclidean projection [2109.10611]. In a fourth, they are the data-consistent system set \(\Sigma_{(U_-(t),X(t))}\), the matching set \(\Sigma^{K,L}\), and the feasible parameter set \(\Theta_D(t)\) induced by measured trajectories [2502.21091].

| Formulation | Core set object | Principal guarantee |
|---|---|---|
| Constrained continuous-time MRAC | \(\mathcal{X}, \mathcal{U}, \Omega_e'\) | Forward invariance, input admissibility, UUB tracking |
| Nonlinear safety-critical MRAC | \(S_s, \mathcal{T}(t)\) | \(x(t)\in S_s\) and \(\|e(t)\|\le \epsilon(t)\) |
| Projection-based discrete-time MRAC | Compact convex \(\mathcal{S}\) | Bounded estimates and linear-like closed-loop behavior |
| Informativity-based MRAC | \(\Sigma_{(U_-,X)}, \Theta_D(t)\) | Gain convergence iff informative time is finite |

This breadth matters because the phrase “set-theoretic MRAC” can otherwise be misunderstood as referring only to safe-set invariance. The cited literature uses the term more broadly: sets may encode safety envelopes, admissible parameter regions, or information contained in data [2508.21584][2109.10611][2502.21091].

## 2. State and input constrained formulations for uncertain LTI plants

A particularly explicit set-theoretic formulation is developed for uncertain LTI plants with unmatched bounded disturbances and user-defined state and input constraints [2508.21584]. The state and input sets are
\[
\mathcal{X}\triangleq \{x\in\mathbb{R}^n \mid \|x\|<\bar{\mathcal{X}}\},\qquad
\mathcal{U}\triangleq \{u\in\mathbb{R}^m \mid \|u\|\le \bar{\mathcal{U}}\},
\]
and the safety objectives are stated as forward invariance of \(\mathcal{X}\), input admissibility in \(\mathcal{U}\), and robustness to unmatched disturbances satisfying \(\|d(t)\|\le \bar d\). The controller is optimization-free and combines a certainty-equivalence MRAC auxiliary law,
\[
v(t)=\hat K_x(t)x(t)+\hat K_r(t)r(t),
\]
with a norm-based saturation map \(u(t)=\operatorname{sat}_{\bar{\mathcal U}}(v(t))\), and with a barrier Lyapunov function that acts directly on the tracking error.

The key set-theoretic construction is an auxiliary reference model \(x_a(t)\), obtained by saturating the reference trajectory inside a smaller ball of radius \(\bar{\mathcal X}_a<\bar{\mathcal X}\). This induces the error bound
\[
\|e(t)\|<\xi,\qquad \xi\triangleq \bar{\mathcal X}-\bar{\mathcal X}_a>0.
\]
An ellipsoidal safe error set is then defined as
\[
\Omega_e'=\{e\in\mathbb{R}^n\mid e^\top P e<\xi'^2\},\qquad
\xi'=\xi\sqrt{\lambda_{\min}\{P\}},
\]
and the barrier Lyapunov function
\[
V_1(e)=\frac12\log\!\left(\frac{\xi'^2}{\xi'^2-e^\top P e}\right)
\]
diverges at the boundary, which is the mechanism used to render the set forward invariant [2508.21584].

The adaptive law uses projection on compact convex parameter sets,
\[
\Omega_1=\{\hat K_x:\|\hat K_x\|^2\le \bar K_x^2\},\qquad
\Omega_2=\{\hat K_r:\|\hat K_r\|^2\le \bar K_r^2\},
\]
with update laws
\[
\dot{\hat K}_x=\operatorname{proj}_{\Omega_1}\!\left(-\frac{\Gamma_x B^\top P e\,x^\top}{\xi'^2-e^\top P e}\right),\qquad
\dot{\hat K}_r=\operatorname{proj}_{\Omega_2}\!\left(-\frac{\Gamma_r B^\top P e\,r^\top}{\xi'^2-e^\top P e}\right).
\]
Projection is used as the robustness mechanism against saturation and unmatched disturbances; the construction explicitly states that no \(\sigma\)- or \(e\)-modification is needed [2508.21584].

The main theorem couples constraint satisfaction and feasibility. Under the matching conditions, parameter bounds, an initial error \(e(0)\in\Omega_e=\{e:\|e\|<\xi\}\), and the sufficient feasibility condition
\[
\bar{\mathcal U}>
\bar{\mathcal X}(\bar K_x-\eta)+\eta\bar{\mathcal X}_a+\bar K_r\bar r+\frac{\bar d}{\|B\|},
\]
the closed loop guarantees state safety, input admissibility, bounded closed-loop signals, and uniformly ultimately bounded tracking error [2508.21584]. The same paper rewrites the condition as
\[
\bar{\mathcal U}>\alpha\,\bar{\mathcal X}+\beta,
\]
where \(\alpha=\bar K_x-\eta\) and \(\beta=\bar K_r\bar r+\bar d/\|B\|+\eta\bar{\mathcal X}_a\), thereby turning feasibility into an affine relation between the allowable state and input bounds. This provides an a priori feasibility check before implementation.

This formulation is notable for the specific conjunction of ingredients it achieves. One paper states that, to the best of its authors’ knowledge, it is the first result that considers both state and input constraints for control of uncertain systems with disturbances and provides sufficient feasibility conditions to check for the existence of an admissible control policy [2508.21584].

## 3. Nonlinear reference models, prescribed performance, and safety tubes

A second major formulation addresses uncertain nonlinear systems by introducing a nonlinear reference model that represents ideal and safe behavior [1909.07916]. The plant is
\[
\dot x(t)=F(x(t))+Gu(t)+D\,\delta(t,x(t)),
\]
while the reference system is
\[
\dot x_r(t)=F_r(x_r(t),c(t)).
\]
Here the safe set is denoted \(S_s\subset\mathbb{R}^n\), and the reference trajectory is designed to evolve in \(S_r\subset S_s\). Safety is enforced by requiring the plant state to remain within a prescribed distance of the reference trajectory.

The induced set-theoretic object is the time-varying performance tube
\[
\mathcal T(t)=\{x\in\mathbb{R}^n\mid \|x(t)-x_r(t)\|\le \epsilon(t)\},
\qquad
\epsilon(t)=\mathrm{dist}(x_r(t),\mathbb{R}^n\setminus S_s)>0.
\]
If \(\|e(t)\|\le \epsilon(t)\) for all \(t\), then \(x(t)\in S_s\), so forward invariance of \(\mathcal T(t)\) is equivalent to safety. When only a reference set \(S_r\) is known, the construction reduces to a constant tube width \(\bar\epsilon=\mathrm{dist}(S_r,\mathbb{R}^n\setminus S_s)\) [1909.07916].

The barrier mechanism is expressed through the mapping
\[
h(t,e)\triangleq k_1\epsilon^2(t)-V(e),
\]
where \(V(e)\) is the Lyapunov function associated with the nominal exponentially stable error dynamics. Maintaining \(h(t,e)>0\) guarantees \(V(e)<k_1\epsilon^2(t)\), hence \(\|e(t)\|\le \epsilon(t)\). The adaptive control law is
\[
u(t)=-\hat W^\top(t)\sigma(\cdot),
\]
and the projection-based update law is
\[
\dot{\hat W}(t)=\gamma\,\mathrm{Proj}_m\!\left(\hat W(t),\,\frac{h(t,e)+V(e)}{h^2(t,e)}\,\sigma(\cdot)\,\nabla V^\top(e)\,D\right).
\]
The factor \((h+V)/h^2\) is the distinctive feature: as \(h\to 0^+\), the effective adaptation rate increases, while deeper inside the tube it decreases. The paper presents this as the mechanism that removes ad-hoc tuning of the adaptation rate \(\gamma\) for safety enforcement [1909.07916].

The corresponding Lyapunov-like function is
\[
\Psi(e,\tilde W)=\frac{V(e)}{h(t,e)}+\frac{1}{2\gamma}
\operatorname{tr}\!\left[(\tilde W\Lambda^{1/2})^\top(\tilde W\Lambda^{1/2})\right].
\]
Under the stated assumptions, including the matching structure \(G=D\Lambda\) and a nominal controller that yields exponential error stability, the closed-loop trajectories are bounded and \(e(t)\in\mathcal D_t=\{e:\|e\|<\epsilon(t)\}\) for all \(t\ge 0\); equivalently, \(x(t)\in S_s\) for all \(t\ge 0\) [1909.07916].

This formulation clarifies an important point about set-theoretic MRAC. The “set” need not be fixed. In this nonlinear setting, it is a moving safety tube around a nonlinear reference trajectory, and the adaptive law is explicitly barrier-shaped to preserve forward invariance of that tube. In the linear special case, the construction reduces to earlier set-theoretic MRAC results of Arabi et al. 2017 and 2018, where generalized restricted potential functions are recovered [1909.07916].

## 4. Projection onto compact convex parameter sets and linear-like behavior

Another use of the set-theoretic idea appears in discrete-time SISO MRAC for LTI systems with input delay, where the defining set is a known compact convex region containing the predictor parameters [2109.10611]. The plant is modeled as
\[
\sum_{i=0}^{n} a_i y(t-i)=\sum_{i=0}^{m} b_i u(t-d-i)+w(t),
\]
with a stable reference model defined by polynomials \(\mathbf L(z^{-1})\) and \(\mathbf H(z^{-1})\). After predictor-form manipulation, the weighted output obeys
\[
\overline y(t+d)=\phi(t)^\top \theta^*+\overline w(t),
\]
with regressor \(\phi(t)\) and predictor parameter vector \(\theta^*\) [2109.10611].

The set-theoretic restriction is the choice of a compact convex set \(\mathcal S\subset\mathbb R^{n+m+d}\) containing the image of the admissible plant parameter set. A hyperrectangle is given as a practical example. The crucial condition is that the \((n+1)\)-th coordinate, corresponding to \(\beta_0\), is never zero on \(\mathcal S\); this guarantees that the certainty-equivalence control law is well defined. The parameter update consists of a tentative projection step and an Euclidean projection onto \(\mathcal S\):
\[
\check\theta(t+1)=\hat\theta(t)+\rho(t)\frac{\phi(t-d+1)}{\|\phi(t-d+1)\|^2}e(t+1),
\qquad
\hat\theta(t+1)=\mathrm{Proj}_{\mathcal S}\{\check\theta(t+1)\}.
\]
The vigilance gate
\[
\rho(t)=
\begin{cases}
1,& |e(t+1)|<(2\|\mathcal S\|+\delta)\|\phi(t-d+1)\|,\\
0,& \text{otherwise},
\end{cases}
\]
turns off estimation when noise dominates [2109.10611].

The control law enforces the predictor-form reference equality
\[
\overline y^*(t+d)=\phi(t)^\top \hat\theta(t),
\]
which yields the explicit MRAC input
\[
u(t)=\frac{1}{\hat\beta_0(t)}
\left[
-\sum_{i=0}^{n-1}\hat\alpha_i(t)y(t-i)
-\sum_{i=1}^{m+d-1}\hat\beta_i(t)u(t-i)
+\sum_{i=0}^{n'-d} h_i r(t-i)
\right].
\]
In this setting, “set-theoretic MRAC” refers to the fact that the estimator is confined to \(\mathcal S\), not to the imposition of state constraints [2109.10611].

The main result is a linear-like closed-loop bound. For any \(\delta\in(0,\infty]\) and any \(\lambda\in(\underline\lambda,1)\), there exists \(c>0\) such that
\[
\|\phi(t)\|
\le
c\,\lambda^{t-t_0}\|x_0\|
+
\sum_{j=t_0}^{t} c\,\lambda^{t-j}\big(|r(j)|+|w(j)|\big),
\qquad t\ge t_0.
\]
If \(w\equiv 0\), then
\[
\sum_{k=t_0+d}^{\infty}\varepsilon(k)^2
\le
c\big(\|x_0\|^2+\|r\|_\infty^2\big).
\]
The consequences stated in the paper are exponential stability of transients, bounded \(L_p\) gains for every \(p\in[1,\infty]\), and convolution bounds on exogenous inputs [2109.10611].

This result addresses a common misconception that projection in MRAC merely prevents parameter blow-up. In this framework, projection onto a compact convex set, together with the vigilance gate, is what permits the derivation of a “good model” with uniformly exponentially stable nominal dynamics and a perturbation analysis based on Kreisselmeier’s lemma. The resulting guarantees are therefore substantially sharper than the bounded-noise bounded-state statements commonly associated with classical MRAC [2109.10611].

## 5. Data informativity and the weakest online-checkable convergence conditions

A further development reframes MRAC through data informativity [2502.21091]. Instead of asking for persistent excitation or initial excitation, the framework characterizes exactly when the observed data are sufficient for convergence of the adaptive gains to a solution of the matching equations. The plant-consistent set is
\[
\Sigma_{(U_-(t),X(t))}
=
\{(A,B)\mid X_+(t)=AX_-(t)+BU_-(t)\},
\]
and the matching set for fixed gains \((K,L)\) is
\[
\Sigma^{K,L}
=
\{(A,B)\mid A+BK=A_{\rm m},\ BL=B_{\rm m}\}.
\]
Data are informative for model reference control if \(\Sigma_{(U_-(t),X(t))}\subseteq \Sigma^{K,L}\) for some \((K,L)\) [2502.21091].

The necessary and sufficient condition for this informativity is the image inclusion
\[
\operatorname{im}
\begin{bmatrix}
I & 0\\
A_{\rm m} & B_{\rm m}
\end{bmatrix}
\subseteq
\operatorname{im}
\begin{bmatrix}
X_-(t) & X_+(t)
\end{bmatrix}.
\]
Equivalently, there exist matrices \(V_1,V_2\) such that
\[
X_-(t)V_1=I,\quad X_-(t)V_2=0,\quad X_+(t)V_1=A_{\rm m},\quad X_+(t)V_2=B_{\rm m}.
\]
The paper emphasizes that this condition is strictly weaker than informativity for system identification, which would require
\[
\operatorname{rank}\!\begin{bmatrix}X_-(t) & U_-(t)\end{bmatrix}=n+m.
\]
Moreover, informativity for system identification is necessary for informativity for model reference control only in the special case \(p=m\) and \(B_{\rm m}\) has full column rank [2502.21091].

The adaptive algorithm introduces the first informative time
\[
T^*=
\min\Big\{
t\in\mathbb N\ \Big|\ 
\operatorname{im}
\begin{bmatrix}
I & 0\\
A_{\rm m} & B_{\rm m}
\end{bmatrix}
\subseteq
\operatorname{im}
\begin{bmatrix}
X_-(t) & X_+(t)
\end{bmatrix}
\Big\},
\]
and a feasible parameter set
\[
\Theta_D(t)=
\left\{
\Theta\ \middle|\ 
\Phi_X(t)\Theta=
\begin{bmatrix}
I & 0\\
A_{\rm m} & B_{\rm m}
\end{bmatrix}
\right\}.
\]
The parameter matrix \(\Theta(t)\) is updated by normalized gradient steps toward this feasible set, and the gains are constructed as
\[
\begin{bmatrix}\hat K(t) & \hat L(t)\end{bmatrix}=\Phi_{U_-}(t)\Theta(t).
\]
When informativity has not yet been achieved, the method injects a rank-raising input \(u_{\rm r}(t)\) so that the data span grows [2502.21091].

The main convergence statement is exact: the gains satisfy
\[
\lim_{t\to\infty}(A_{\rm s}+B_{\rm s}\hat K(t))=A_{\rm m},\qquad
\lim_{t\to\infty}B_{\rm s}\hat L(t)=B_{\rm m}
\]
if and only if \(T^*<\infty\) [2502.21091]. Under the same assumptions, the state and input remain bounded and the tracking error converges to zero. This is presented as a necessary-and-sufficient characterization of gain convergence based solely on online data.

This perspective sharpens the role of excitation in MRAC. Persistent excitation, initial excitation, and finite excitation are sufficient routes to convergence because they imply richer data properties, but they are not the weakest possible requirements. The informativity condition asks only whether the collected state-transition data span the matching map associated with the reference model. Many directions may remain unexcited, provided that this inclusion holds [2502.21091].

## 6. Relations to adjacent methods, demonstrations, and limitations

The recent set-theoretic MRAC literature is closely related to, but distinct from, other safe and adaptive control paradigms. In the constrained LTI formulation, the controller is explicitly contrasted with model predictive control and control barrier function methods, which enforce constraints via online optimization and may require conservative tightening and recursive feasibility analysis under uncertainty; the proposed alternative is optimization-free and adaptive [2508.21584]. In the nonlinear safety-critical formulation, invariance is achieved through Lyapunov-barrier shaping embedded in the adaptive law rather than through a CBF-CLF QP [1909.07916]. A reasonable synthesis is that set-theoretic MRAC trades online optimization for offline verifiable set constructions and online parameter adaptation.

Representative demonstrations follow the structure of the corresponding theories. For constrained continuous-time LTI control, a four-state two-input example with disturbance injected at \(t=20\,\mathrm s\) shows that the BLF-saturated MRAC keeps \(\|x(t)\|<\bar{\mathcal X}\) and \(\|u(t)\|\le \bar{\mathcal U}\), whereas a robust MRAC baseline with projection and no BLF violates the state constraint and demands higher input magnitudes [2508.21584]. For nonlinear safety-critical control, a forced Van der Pol reference model is used with a safe ellipsoidal set \(S_s=\{x:x^\top P x<3.2\}\); the nominal controller alone violates safety, while the adaptive law maintains \(h(t,e)>0\) and keeps the trajectories in \(S_s\) for \(\gamma\in[0.05,5]\) [1909.07916]. For the discrete-time linear-like formulation, a time-varying plant with bounded coefficients and square-wave reference exhibits accurate tracking in noise-free intervals, temporary degradation under disturbance, and behavior consistent with the stated convolution bounds [2109.10611].

The limitations are formulation-dependent. The constrained LTI design is local to the BLF-defined error region \(\Omega_e'\), assumes full-state feedback and known \(B\), requires matching conditions, and may be conservative because the feasibility condition is sufficient rather than necessary [2508.21584]. The nonlinear safety-critical formulation requires the parametric uncertainty structure \(\delta=W_p^\top\sigma_p(x)\), the matching form \(G=D\Lambda\), a nominal controller yielding exponential error stability, and a computable tube radius \(\epsilon(t)\); input constraints are not explicitly handled [1909.07916]. The discrete-time linear-like theory is restricted to SISO LTI plants with known delay and order bounds, minimum phase zeros, and known sign of the high-frequency gain [2109.10611]. The informativity-based convergence framework is developed for noise-free input-state data and does not extend its formal MRAC convergence guarantees to bounded-noise models [2502.21091].

Several extensions are identified within the literature itself. Proposed directions include time-varying state and input constraints, nonlinear plants via appropriate regressors and BLFs, output-feedback MRAC using adaptive observers, and integration with set-membership identification to update parameter bounds online and reduce conservatism [2508.21584]. The informativity framework suggests another research axis: replacing overly strong excitation assumptions with online-checkable feasibility conditions derived from model-consistency sets [2502.21091]. Taken together, these works suggest that set-theoretic MRAC is not a narrow variant of adaptive control but a general design philosophy in which safety, feasibility, robustness, or convergence are encoded as properties of explicitly constructed sets and verified through Lyapunov, projection, or data-inclusion arguments.

Source: https://www.emergentmind.com/topics/set-theoretic-model-reference-adaptive-control