The stabilization problem for discrete time-varying linear systems☆
Introduction
The stabilization problem for linear systems has been studied within various frameworks. For a discussion of the origins of the problem, we refer to [1]. It is shown in [1], [2] that every internally stabilizable causal linear time-varying system admits doubly coprime factorizations and there is a Youla–Kuc˘era-like parametrization of all stabilizing controllers which is conceptually similar to the classical result for LTI systems. However, internal stabilizability is generally not equivalent to the existence of doubly coprime factorizations (see [3], [4], [5], [6], [7], [8]). In this context it is natural to ask whether among these controllers there exist stable systems. One deep result in this area up to this point is that of Treil [9]. For single-input/single-output LTI distributed systems on the unit circle, every stabilizable linear system (the underlying field is the complex numbers) is strongly stabilizable, that is, stabilizable by a stable controller. It was recently shown by Quadrat [3] that this result can be extended to every MIMO plant defined by a transfer matrix with entries from an algebra of stable range one. Thus the issue is resolved for MIMO LTI systems.
Within the framework of nest algebras (i.e., see the book [10]), the purpose of the paper is to consider the problem of stabilizing a family of plants (resp., robust stabilizability) by means of a stable controller. We give some results to these problems for certain classes of systems. The simultaneous and robust stabilization problems are well studied in the literature [10] but we generally do not ask the controller to be stable. The good reference where the simultaneous stabilization problem with a stable controller was briefly studied is Quadrat [3], using the concept of -fold ring.
This paper is organized as follows. In Section 2, we give some definitions, notations and auxiliary propositions. In Section 3, we obtain parametrizations of the stable controllers for a linear time-varying system which admits a coprime factorization. Sections 4 Application to simultaneous stabilization, 5 Robust stability are devoted to applications of the obtained results to the simultaneous stabilization and robust stability problems. The paper ends with acknowledgement and cited references.
Section snippets
Preliminaries
We recall some basic concepts (see [10]) that will be useful in this paper. First, we introduce the definitions about complete nest and nest algebra.
Let be a separable complex Hilbert space. denotes the set of all bounded linear operators on . For , the range of is . is an orthogonal projection if is idempotent and self-adjoint.
Definition 2.1 A family of closed subspaces of the Hilbert space is a complete nest if . For , either or . If is
Strong stabilization
Practicing engineers are reluctant to use unstable compensators for the purpose of stabilization. This gives us a motivation for considering whether or not there exists a stable compensator for a given plant that admits a left or right coprime factorization. Also, the knowledge of when a plant is or is not stabilizable with a stable controller is useful for another problem, namely, the simultaneous stabilization problem, which studies the stabilizability of several plants by means of the same
Application to simultaneous stabilization
We now turn to the problem of simultaneous stabilization. Given , when does there exist for which , are stable? We first see the case of two systems.
Theorem 4.1 Suppose that and admit left coprime factorizations and respectively, with and that satisfy the Bezout equation . If and are strongly stabilizable, then there exists a controller which simultaneously stabilizes and if and only if there exists
Robust stability
Consider the usual feedback system with plant and controller , both in . Suppose is not fixed but belongs to some set . The robust stability problem is to find, if one exists, a controller that achieves internal stability for every . Similarly to Theorem 8.1.1 of [10], we obtain the theorem about robust stability with a stable controller. Theorem 5.1 Suppose that admits a left coprime factorization , , where and . Let be a stable controller of admitting a right
Acknowledgement
The suggestions given by the referee for the improvement of the original paper are gratefully acknowledged.
References (11)
On a generalization of the Youla-Kuc˘era parametrization. Part I: The fractional ideal approach to SISO systems
Systems & Control Lett.
(2003)The stable rank of the algebra equals 1
J. Funct. Anal.
(1992)On strong stabilization for linear time-varying systems
Systems & Control Letters.
(2005)Control System Synthesis: A Factorization Approach
(1985)- et al.
Stabilizability and existence of system representations for discrete-time time-varying systems
SIAM J. Control. Optim.
(1993)
Cited by (0)
- ☆
This research is supported by NSFC, Item Number: 10671028.