(C,A,B)-pairs in infinite dimensions
type: Item
instance of: scholarly article
title: (C,A,B)-pairs in infinite dimensions
zbMATH Open document ID: 0553.93037
DOI: 10.1016/0167-6911(84)90010-0
author: Ruth Curtain
published in: Systems \& Control Letters
publication date: 1984-01-01T00:00:00Z
review text: This paper considers infinite-dimensional systems on a real separable Hilbert space X of the form \(\dot x=Ax+Bu\), \(y=Cx\) and introduces a (C,A)-invariant, a T(C,A)-invariant, an (A,B)-invariant and a T(A,b)- invariant subspace where A is the infinitesimal generator of a strongly continuous semigroup T(t) on X and \(B\in L[R^ m,X]\), \(C\in L[X,R^ k]\). Consider the feedback processor on the Hilbert space W of the form \(\dot w=Nw+My\), \(u=Lw+Ky\), where M, L, K are bounded linear operators and N is the infinitesimal generator of a strongly continuous semigroup on W. Defining \(x^ e=(x,w)\), we obtain the closed-loop operator \[ A^ e=\left[ \begin{matrix} A+BKC\\ M\end{matrix} \begin{matrix} BL\\ N\end{matrix} \right]. \] \(A^ e\) is also an infinitesimal generator of a semigroup \(T^ e(t)\). If (S,V) is a trajectory-invariant (C,A,B)-pair and \(S\subset D(A)\), then there exist an extension space \(W\cong V/S\), bounded operators M, L, K, a linear operator N on W and a closed subspace H of \(X^ e=X\oplus W\) which is \(A^ e\)-invariant. Further, N is an infinitesimal generator, the feedback processor is well defined and H is invariant under the semigroup generated by \(A^ e\). Consider the system on X \(\dot x=Ax+Bu+Eq\), \(y=Cx\), \(z=Dx\), where \(E\in L[R^ r,X]\), \(D\in L[X,R^ l]\), q is the disturbance and z is the output to be decoupled. DDPM is to design a feedback processor such that the output z is decoupled from the disturbance q, i.e. \(D^ e\int^{t}_{0}T^ e(t-s)E^ eq(s)ds=0\), \(t\geq 0\), where \(T^ e(t)\) is the semigroup generated by the closed-loop system operator \(A^ e\). Let \(S^*(L)\) and \(V^*(K)\) denote the infimal T(C,A)-invariant subspace containing a closed subspace L and the supremal T(C,A)-invariant subspace contained in a closed subspace K respectively. Assume that \(S^*(Im E)\) and \(V^*(Ker D)\) exist and satisfy \(S^*(Im E)\subset D(A)\). Then, DDPM is solvable if \(S^*(Im E)\subset V^*(Ker D)\).
Mathematics Subject Classification ID: 93C25
Mathematics Subject Classification ID: 47A15
Mathematics Subject Classification ID: 47D03
Mathematics Subject Classification ID: 93C05
Mathematics Subject Classification ID: 93C35
Mathematics Subject Classification ID: 46C99
zbMATH DE Number: 3882296
zbMATH Keywords: disturbance decoupling
zbMATH Keywords: infinite-dimensional systems
zbMATH Keywords: Hilbert space
zbMATH Keywords: invariant subspace
zbMATH Keywords: feedback processor
MaRDI profile type: Publication
full work available at URL: 0167-6911(84)90010-0
OpenAlex ID: W1964363822
cites work: The Infinite-Dimensional Riccati Equation for Systems Defined by Evolution Operators
cites work: Invariance Concepts in Infinite Dimensions
cites work: Compensator synthesis using (C,A,B)-pairs
cites work: Q3929444
cites work: Disturbance Decoupling by Measurement Feedback with Stability or Pole Placement
cites work: Geometric state-space theory in linear multivariable control: A status report
description: scientific article; zbMATH DE number 3882296