Volume 2014, Issue 1 159198
Research Article
Open Access

Stabilization with Internal Loop for Infinite-Dimensional Discrete Time-Varying Systems

Nai-feng Gan

Corresponding Author

Nai-feng Gan

School of Mathematical Sciences, Dalian University of Technology, Dalian 116027, China dlut.edu.cn

College of Mathematics and Information Science, Anshan Normal University, Anshan 114007, China asnc.edu.cn

Search for more papers by this author
Yu-feng LU

Yu-feng LU

School of Mathematical Sciences, Dalian University of Technology, Dalian 116027, China dlut.edu.cn

Search for more papers by this author
Ting Gong

Ting Gong

School of Mathematical Sciences, Dalian University of Technology, Dalian 116027, China dlut.edu.cn

Search for more papers by this author
First published: 28 April 2014
Citations: 1
Academic Editor: Manuel De la Sen

Abstract

The concepts of stabilization with internal loop are analyzed for well-posed transfer functions. We obtain some sufficient and necessary conditions such that a stabilizing controller with internal loop stabilizes plant L. We also analyze two special subclasses of stabilizing controllers with internal loop, called canonical and dual canonical controllers, and show that all stabilizing controllers can be parameterized by a doubly coprime factorization of the original transfer function.

1. Introduction

Control Theory is a relevant field from the mathematical theoretical point of view as well as in many applications (see [16]). What is important, in particular, is the closed-loop stabilization of dynamic system under appropriate feedback control as a minimum requirement to design a well-posed feedback system. In the last twenty years, the closed-loop system whose stability is achieved by the controller with internal loop has attracted the attention of many authors (see [7, 8]). While extending the theory of dynamic stabilization to regular linear systems (a subclass of the well-posed linear systems), it was shown in [7, Example 2.3] that even the standard observer-based controller is not a well-posed linear system and its transfer function is not well-posed. To overcome this, paper [8] proposed another definition of a stabilizing controller which is more general than that has been defined earlier, the so-called stabilizing controller with internal loop. The concept enabled a simple Youla parameterization and has some advantages which turn out to be very important for infinite-dimensional systems. It makes the theory of dynamic stabilization simpler and more natural [8].

Recently, the study of time-varying systems using modern mathematical methods has come into its own. This is a scientific necessity. After all, many common physical systems are time varying (see [914]). Paper [15] studied the concept of stabilization with internal loop for infinite-dimensional discrete time-varying systems and gave a parameterization of all stabilizing controllers with internal loop if IK22 has a well-posed inverse in the framework of nest algebra. But in many cases, the controller C = K11 + K12(IK22) −1K21 will not be well-posed, but C perhaps stabilizes L.

In this paper, we study the stabilization with internal loop for the linear time-varying system under the framework of nest algebra. We extend our study of controllers with internal loop to more general use and give a parameterization of all stabilizing controllers with internal loop even if IK22 = 0. It is found that the stabilization with internal loop for the linear time-varying system obtained in [15] can be viewed as a special case of that obtained here. As we know, if the plant is not strictly proper, it is difficult to choose the parameter in such way that the resulting controller will be well-posed. Even if we choose to ignore well-posedness, we still have to ensure that the denominator in the Youla parameterization is invertible. This makes it awkward to use this parameterization to solve the practical problems, while the controller with internal loop overcomes this awkwardness. We obtain canonical and dual canonical controllers and show that all stabilizing controllers can be parameterized by a doubly coprime factorization of the original transfer function.

The rest of this paper is organized as follows. Mathematical background material and notation are introduced in Section 2. In Section 3, we give some sufficient and necessary conditions that a stabilizing controller with internal loop stabilizes plant L. In Section 4, we introduce canonical and dual canonical controllers. We show that a plant L is stabilizable with internal loop by a canonical (dual canonical) controller if and only if L has a right coprime (left coprime) factorization. We give a complete parameterization of all (dual) canonical stabilizing controllers with internal loop. Some conclusions are drawn in Section 5.

2. Preliminaries

We denote by + the nonnegative integers and by the complex numbers. Let H be the complex infinite-dimensional Hilbert sequence space:
()
where |·| denotes the standard Euclidean norm on . He will denote the extended space:
()

Definition 1 (see [3].)A family N of closed subspaces of the Hilbert space H is a complete nest if

  • (1)

    {0}, HN.

  • (2)

    For N1, N2, either N1N2 or N2N1.

  • (3)

    If {Nα} is a subfamily in N, then ∩αNα and ∨αNα are also in N.

Every subspace N of H is identifiable with the orthogonal projection Pn

()
Properties (1) to (3) can be reformulated as follows.
  • (1) 0, IN.

  • (2) For P1, P2N, either P1P2 or P2P1.

  • (3) If {Pα} is a nest in N which converges weakly (equivalently, strongly) to P, then PN.

Definition 2 (see [3].)If N is a nest and P is its associated family of orthogonal projections,

()
is called a nest algebra, where £(H) is the algebra of all bounded linear operators on H.

A linear transformation T on He is causal if PnT = PnTPn for n ≥ 0.

Lemma 3 (see [3].)The following are equivalent:

  • (1)

    T on He is stable.

  • (2)

    T is causal and TH is a bound operator.

  • (3)

    T is the extension to He of an operator in AlgR.

This lemma allow us to identify the algebra S of stable operators on He with the nest algebra AlgR. The restriction of TS to H is in AlgR and the extension of S ∈ AlgR to He is in S. AlgR and S are identical.

For L, K£, the operator matrix defined on HeHe is called the feedback system with plant L and compensator K.

In Figure 1, L represents a given plant (system) and a compensator or controller; e1, e2 denote the externally applied inputs; uL, uK denote the inputs to the plant and compensator, respectively; and yL, yK denote the outputs of the compensator and plant, respectively.

Details are in the caption following the image
The standard feedback system.
The closed-loop system equation are
()
The system is well-posed if the internal input u can be expressed as a causal function of the external input e. This is equivalent to requiring that be invertible. The inverse is easily computed formally and is given by the matrix as follows:
()

The closed-loop system {L, K} is stable if has a bound causal inverse defined on HH. The stability of the closed-loop system is equivalent to requiring that the four elements of the 2 × 2 matrix H(L, K) be in S. L£ is stabilizable if there exists K£ such that {L, K} is stable.

3. Stabilization with Internal Loop

In this section, a new type of controller is introduced, the so-called stabilizing controller with internal loop; see [1618].

The intuitive interpretation of Figure 2 is as follows: L represents the plant and K is the transfer function of the controller from to , when all the connections are open. The connection from ξ0 to ξi is the so-called internal loop.

Details are in the caption following the image
The plant L connected to a controller K with internal loop.
Partitioning K into where Kij£, i, j = 1,2, …,
()
is the transfer function of the closed-loop system from to .
Suppose IK22 is invertible in £; a parameterization of all stabilizing controllers with internal loop is given in [15]. If IK22 has a well-posed inverse, the internal loop can be closed first and the transfer function from yk to uk is
()
But in many cases, the expression (8) is not defined at all (this can happen if IK22 is nowhere invertible).

Example 4. Suppose L = I,

()
It is easy to see that the transfer function (8) of the controller is undefined since IK22 = 0. It is not difficult to check that K stabilizes L with internal loop (this verification can be simplified considerably by using Lemma 10).

In the following, we give some sufficient and necessary conditions such that a stabilizing controller with internal loop stabilizes plant L avoiding the condition that IK22 is invertible.

Theorem 5. Suppose that K11 is an admissible feedback transfer function for L. Then F(K, L) has a well-posed inverse if and only if IM is invertible in £, where M = K22 + K21L(IK11L) −1K12.

Proof. Consider the following

()
where , , , S22 = IK22, .

Since is invertible in M2(£), thus is invertible in M3(£) if and only if

()
is invertible in £.

Further, the condition that F(K, L) has a well-posed inverse is equivalent to that K is an admissible feedback transfer function with internal loop for L [7], so we have the following result.

Theorem 6. Suppose that K11 is a stabilizing controller for L; then is a stabilizing controller with internal loop for L if and only if

  • (i)

    (IM) −1S, where M = K22 + K21L(IK11L) −1K12,

  • (ii)

    there exist E1, E2S such that LE1S, E2LS, E1(IM)E2LS, E1(IM)E2S, LE1(IM)E2S, LE1(IM)E2LS,

  • (iii)

    K12 = (IK11L)E1(IM),

  • (iv)

    K21 = (IM)E2(ILK11).

Proof. K11 stabilizes L if and only if .

If there exist E1, E2S that satisfy (i)–(iv), all components in H(L, K) = F(K, L) −1 are

()
Thus, H(L, K) ∈ M3(S), {L, K} is stable.

Conversely, H(L, K) = F(K, L) −1, and all components are

()
where M = K22 + K21L(IK11L) −1K12. If H(L, K) ∈ M3(S), then (IM) −1S. Let (IK11L) −1K12(IM) −1 = E1S, (IM) −1K21(ILK11) −1 = E2S; then K12 = (IK11L)E1(IM), K21 = (IM)E2(ILK11). From (3,1) ∈ S and (2,3) ∈ S, we have E2LS and LE1S. Consider (1,1) ∈ S, (1,2) ∈ S, (2,1) ∈ S, (2,2) ∈ S, and {L, K11} are stable; thus all other conditions in (ii) hold.

Remark 7. {L, K11} stable is only sufficient condition for {L, K} stable, but not a necessary condition.

Theorem 8. If  K11 is an admissible controller for P, then {L, K} is stable if and only if

  • (i)

    Δ−1 = [IK22K21L(IK11L) −1K12] −1S,

  • (ii)

    A = (IK11L) −1K12Δ−1K21(ILK11) −1 + K11(ILK11) −1 = (IK11L) −1(K12Δ−1K21 + K11K11LK11)(ILK11) −1S,

  • (iii)

    ALS, LAS, LAL + LS, K21(ILK11) −1LS, L(IK11L) −1K12S, K21(ILK11) −1S, (IK11L) −1K12S.

In fact, the conditions of Theorem 8 are weaker than those of Theorem 6. From the proof of Theorem 6, it is easy to obtain the result of Theorem 8.

We extend the plant , and L and C are parallel connection. as a feedback operator of G, so we have the following result.

Theorem 9. K is a stabilizing controller with internal loop for L if and only if IFG is invertible in M3(S).

Proof. F is a stabilizing controller for G if and only if

()

If (IFG) −1M3(S), then F(IGF) −1 = (IFG) −1FM3(S). Since (IGF) −1 = I + G(IFG) −1F, thus we only need to prove G(IFG) −1M3(S). Consider F2 = I; thus G(IFG) −1 = F2G(IFG) −1 = F[FG(IFG) −1] = F[(IFG) −1 − (IFG)(IFG) −1] = F(IFG) −1F. If (IFG) −1M3(S), then G(IFG) −1M3(S).

Conversely, it is obvious.

4. Canonical and Dual Canonical Controllers

Another motivation for introducing controllers with internal loop is to obtain Youla parameterization. If the plant is not strictly proper, it is difficult to choose the parameter in such way that the resulting controller will be well-posed. Even if we choose to ignore well-posedness, we still have to ensure that the denominator in the Youla parameterization is invertible. By contrast, we can obtain a parameterization for all stabilizing canonical or dual canonical controllers.

The transfer functions of the controllers obtained there were of the form
()
We call the controllers of form (15) canonical controllers. Analogously, controllers of the form
()
will be called dual canonical controllers.

In following, we analyze the properties of (dual) canonical controllers in some detail. First, we recall Lemma 10 from [15].

Lemma 10 (see [15].)The canonical controller stabilizes L£ with internal loop if and only if

()
is invertible in S and LΔ−1S.

If L£ has a right-coprime factorization L = NM−1, then K stabilizes L with internal loop if and only if

()
is invertible in S.

We now turn to the problem of simultaneous stabilization. Given L0S and L1£, the following Corollaries 11 and 12 give the conditions that L1L0 can be stabilized by some canonical controller.

Corollary 11. If L0S and L1£ can be simultaneously stabilized by canonical controller , then L1L0 can be strongly stabilized by some canonical controller.

Proof. If is a strong right representation of L1, then is a strong right representation of L1L0, since

()
for L0S.

Suppose stabilizes L1L0; then by Lemma 10,

()
is invertible in S. By Lemma 10, Δ and D are invertible in S:
()
Define
()
Thus D is invertible in S, and stabilizes L1L0.

Corollary 12. Suppose L0S, L1£, and is a strong right representation of L1. If L1 can be stabilized by canonical controller , then L1L0 can be stabilized by some canonical controller.

Proof. Since L0S, then is a strong right representation of L1L0. By Lemma 10, stabilizes L1 if and only if D = M1K22M1K21N1 is invertible in S. Suppose stabilizes L1L0; then by Lemma 10,

()
is invertible in S. Define R21 = K21S, R22 = K22 + K21L0S; thus D is invertible in S, and stabilizes L1L0.

The conditions of Corollary 12 are weaker than those of Corollary 11. In following, we will discuss the stabilization of {L, K} with coprime factorizations.

Theorem 13. The canonical controller stabilizes L if and only if Δ = IK22K21L£ is invertible in S and LΔ−1S.

Proof. Let K11 = 0, K12 = I, K21, K22S; from Theorem 8, we have that Δ = IK22K21L£ is invertible in S and LΔ−1S.

Remark 14. When K11 = 0, , thus K11 = 0 is an admissible controller for L; we do not need to emphasize this in Theorem 13.

Remark 15. By Remark 14, L£, but , K11 = 0 is not a stabilizing controller for L, but is a stabilizing controller with internal loop for L.

Theorem 16. If L has right coprime factorization NM−1, then L can be stabilized by canonical controller if and only if MK22MK21N is invertible in S.

Proof. By Theorem 13, {L, K} is stable if and only if Δ−1, LΔ−1S. Consider L = NM−1; then Δ−1 = M(MK22MK21N) −1, LΔ−1 = N(MK22MK21N) −1. If MK22MK21NS, then Δ−1, LΔ−1S. Conversely, if Δ−1, LΔ−1S and , then .

Theorem 17. If L has right coprime factorization NM−1 if and only if L can be stabilized by some canonical controller.

Proof. If NM−1 is right coprime factorization of L, there exist Y, XS such that . Take K21 = −XS, K22 = IYS; then MK22MK21N = YM + XN = I is invertible in S. By Theorem 13, stabilizes L.

Conversely, If stabilizes L, by Theorem 13, Δ−1S, LΔ−1S. Take M = Δ−1, N = LΔ−1, Y = IK22S, X = −K21S; then YM + XN = (IK22)Δ−1K21LΔ−1 = I; thus, NM−1 is right coprime factorization of L.

We expect a strong relationship between stabilization with internal loop and the usual concept of stabilization by the parameterization of all stabilizing (dual) canonical controllers.

Theorem 18. Suppose that L has a doubly coprime factorization; then all canonical controllers that stabilize L with internal loop are parameterized by

()
where QS, ESS−1.

Proof. Take , , where ESS−1, QS; then ; by Theorem 17, K stabilizes L.

Conversely, if K stabilizes L, by Theorem 16, D = MK22MK21N is invertible in S. Consider I = D−1(IK22)MD−1K21N; thus is a left inverse of . By Theorem 17, there exist QS such that , , rewrite these as , .

The following Theorem contains the dual statements of Theorems 13, 16, 17 and 18.

Theorem 19. (a) The dual canonical controller stabilizes L if and only if is invertible in S and .

(b) If L has left coprime factorization , then L can be stabilized by canonical controller if and only if is invertible in S.

(c) If L has left coprime factorization if and only if L can be stabilized by some dual canonical controller.

(d) Suppose that L has a doubly coprime factorization, then all dual canonical controllers that stabilize L with internal loop are parameterized by

()
where QS, ESS−1.

The Proof of (c). Suppose , there exist such that . Let , , then , L can be stabilized by .

Conversely, if L can be stabilized by , by (1), , . Let , , , , then , , thus is a left coprime factorization of L.

Theorem 20. If the canonical controller stabilizes L, then L can be stabilized by the dual canonical controller .

Proof. If L can be stabilized by the canonical controller , by Theorems 13 and 17, Δ−1 = (IK22K21L) −1S, LΔ−1S, and L has a right coprime factorization. From [17], we known that L has a left coprime factorization and there exist such that . Let , . In the following, we need to prove (1) and (2) stabilizes L.

   =      =      =   .

Since    =     +    +  , so .

  −   is invertible in S,    =   . By Theorem 19(a), stabilizes L.

Notice that if a canonical K stabilizes L with internal loop, then K21 and IK22 are left coprime, since (IK22Δ−1) − K21LΔ−1 = I. Theorem 20 has a dual statement for right-coprime factorizations K.

There is a similar result for the dual canonical controller.

Theorem 21. If the dual canonical controller stabilizes L, then L can be stabilized by the dual canonical controller .

The proof of Theorem 21 is similar to that of Theorem 20, and we omit it.

5. Conclusion

In this paper, we investigate the dynamic stabilization of a large class of transfer functions in the framework of nest algebra. To obtain a natural generalization of dynamic stabilization, we introduce a new concept of stabilization by a controller with internal loop. The concept enables a simple Youla parameterization and has some advantages which turn out to be very important for infinite-dimensional systems. It makes the theory of dynamic stabilization simpler and more natural.

We also analyze canonical and dual canonical controllers, which are controllers with internal loop of a special (simple) structure. We have found that these are closely related to (doubly) coprime factorization, and we have given a complete parameterization of all stabilizing controllers with internal loop which are (dual) canonical.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.