Disturbance decoupling of linear systems defined over a commutative Banach algebra (Q2732003)

Let \(W\) be a complex commutative Banach algebra with an identity element and denote by \(X\) the maximal ideal space of \(W\). The author considers the linear control system \((A,B,C)\) defined over \(W\): NEWLINE\[NEWLINE\dot x(t)= Ax(t)+ Bu(t),\quad y(t)= Cx(t),\tag{1}NEWLINE\]NEWLINE with the feedback state control NEWLINE\[NEWLINEu(t)= x(t)+ Hr(t),\tag{2}NEWLINE\]NEWLINE where \(A\in M_{n\times n}(W)\), \(B\in M_{n\times r}(W)\), \(C\) and \(H\in M_{m\times m}(W)\) is nonsingular, here \(M_{m\times n}(W)\) denotes the complex vector space of all \(m\times n\) matrices defined on \(W\). The author establishes the following results:NEWLINENEWLINENEWLINEI. A necessary and sufficient condition so that the linear system \((A,B,C)\) can be decoupled by the control (2) is that a matrix \([E_1,\dots, E_m]^T\) is non-singular.NEWLINENEWLINENEWLINEII. The system \((A,B,C)\) being decoupled by the control (2) is equivalent to the fact that, for all \(\varphi\in X\) the linear systems \((\widehat A(\varphi),\widehat B(\varphi),\widehat C(\varphi))\), where \(\widehat f\) denotes the Gelfand transformation of \(f\), can all be decoupled by feedback state controls with \(d_i(\varphi)= l_i(\text{const.})\), \(i= 1,2,\dots, m\).NEWLINENEWLINENEWLINEAll notations and lemmas used in the paper can be found in the book by \textit{B. R. McDonald} [Linear algebra over commutative rings, New York, Marcel Dekker Inc. (1984; Zbl 0556.13003)] and an earlier paper of the present author [Linear Algebra Appl. 203-204, 139-154 (1994; Zbl 0811.93035)].