Equivalent Realization

Definition (Equivalent realization)

We say that two Realizations (A,B,C,D)(A,B,C,D) and (A~,B~,C~,D~)(\tilde{A},\tilde{B},\tilde{C},\tilde{D}) of a given Weighting Pattern are equivalent if uC([t0,],Rm)\forall u\in C([t_{0},\infty],\mathbb{R}^{m}) and tt0\forall t\ge t_{0}, we have t0tCeA(tτ)Bu(τ)dτ+Du(t)=t0tC~eA~(tτ)B~u(τ)dτ+D~u(t)\int\limits _{t_{0}}^{t}Ce^{A(t-\tau)}Bu(\tau) \, d\tau+Du(t)=\int\limits _{t_{0}}^{t}\tilde{C}e^{\tilde{A}(t-\tau)}\tilde{B}u(\tau) \, d\tau +\tilde{D}u(t)

Lemma (Alternative characterization of equivalence)

Two Realizations (A,B,C,D)(A,B,C,D) and (A~,B~,C~,D~)(\tilde{A},\tilde{B},\tilde{C},\tilde{D}) of a given Weighting Pattern are equivalent if and only if t0:CeAtB=C~eA~tB~    kN:CAkB=C~A~kB~\forall t\geq 0:Ce^{At}B=\tilde{C}e^{\tilde{A}t}\tilde{B}\iff \forall k\in\mathbb{N}:CA^{k}B=\tilde{C}\tilde{A}^{k}\tilde{B}and D=D~D=\tilde{D}

Lemma (Realizations are Equivalent if Laplace Transform is Equivalent)

Two Realizations (A,B,C,D)(A,B,C,D) and (A~,B~,C~,D~)(\tilde{A},\tilde{B},\tilde{C},\tilde{D}) are equivalent if and only if (ABCD)(s)=(A~B~C~D~)(s)\begin{pmatrix}\begin{array}{c|c} A&B \\ \hline C &D \end{array}\end{pmatrix}(s)=\begin{pmatrix}\begin{array}{c|c} \tilde{A}&\tilde{B} \\ \hline \tilde{C} &\tilde{D} \end{array}\end{pmatrix}(s)sC\forall s \in\mathbb{C} where the Transfer Functions are defined.

Linked from