Servicios Personalizados
Articulo
Indicadores
- Citado por SciELO
Links relacionados
- Citado por Google
- Similares en SciELO
- Similares en Google
Bookmark
Latin American applied research
versión impresa ISSN 0327-0793
Lat. Am. appl. res. v.34 n.3 Bahía Blanca jul./sept. 2004
Decoupling with stability of linear multivariable systems: An algebraic approach
J. Ruiz-León
CINVESTAV-IPN, Unidad Guadalajara
P.O. Box 31-438, Plaza la Luna,
44550, Guadalajara, Jalisco, México.
E-mail: jruiz@gdl.cinvestav.mx
Abstract — The result that a linear multi-variable system is decouplable with stability if and only if its associated stable interactor is diagonal, is proved in this paper using an algebraic approach. As it will be shown, this condition is actually equivalent to the coincidence between the infinite and unstable global structure (infinite and unstable zeros) and the row infinite and unstable structure of the system. Two procedures are presented to compute a state feedback which decouples the system with stability, the first one based on the solution of a polynomial matrix equation, and the second one based on the static left kernel of a strictly proper rational matrix. Illustrative examples are also presented.
Keywords — Linear Systems. Decoupling. Stability. Infinite Structure. Algebraic Approach.
I. INTRODUCTION
Roughly speaking, decoupling of dynamic systems implies that each input of the system influences one and only one output without affecting the others. From the practical point of view, it is of interest to achieve decoupling because it is often desirable to control the outputs of the system independently.
The decoupling of linear multivariable systems by static state feedback has been extensively studied since the 1960's. In the case of linear systems with the same number of inputs and outputs (square systems), this problem was solved by Falb and Wolovich (1967). A structural solution in terms of the infinite zero structure of the system is presented in (Descusse and Dion, 1982).
The stability issue has necessarily to be considered in the problem formulation, since stability is a priority in the performance of any dynamical system. Decoupling with stability of square linear multivariable systems by static state feedback was solved by Martínez and Malabre (1994) using a geometric approach, and the solution is expressed in terms of the infinite and unstable contents of the system. The decoupling problem with stability of nonsquare systems is considered in (Ruiz-León et al., 1995) using a polynomial equation approach, and a solution to this problem is reported. However, the necessary and sufficient conditions presented in this reference to solve the problem are implicit in the sense that the existence of a solution is stated in terms of the existence of a biproper and bistable rational matrix with certain properties, thus restricting a great deal the applicability of this result. Nevertheless, when these conditions are particularized to the case of square systems, a solution can be obtained in terms of the diagonality of the stable interactor of the system.
In this paper, using an algebraic approach, it is proved that the decoupling problem with stability has a solution if and only if the stable interactor of the system is a diagonal matrix. An important result, shown in our development, is the fact that the action of a state feedback on a stable system which preserves internal stability can be represented as a biproper and bistable matrix postmultiplying the system transfer function matrix. Thus, suitable factorizations of the system transfer function over the ring of proper and stable rational functions will provide the structural information to state the solution to the problem, namely, the global and row infinite and unstable structure. It is also shown how the stable interactor of the system displays this information.
This work complements the solution presented in (Martínez and Malabre, 1994) using a geometric approach. It is also proved here that both solutions are equivalent. Besides being an appealing alternative of solution, our approach has the advantage of providing a method to find a state feedback which solves the problem. Two procedures are presented to compute a state feedback which achieves decoupling with stability, the first one based on the solution of a polynomial matrix equation, and the second one based on the static left kernel of a strictly proper rational matrix.
This paper is organized as follows. The problem statement is presented in Section II. In Section III the infinite and unstable zero structure of a linear system is introduced via suitable factorizations of the system transfer function matrix, while the stable in-teractor is presented in Section IV, as well as a result about feedback realization of precompensators. The main results of this paper and two illustrative examples are presented in Section V. We end with some conclusions.
II. PROBLEM STATEMENT
We will first introduce some notation and basic definitions. Through this work, will denote the field of real numbers, will stand for the complex plane and _ for the open left half complex plane. The set of polynomials in the variable "s" will be denoted by [s] and (s) represents the set of rational functions, i.e. rational fractions of the form f(s) = a(s)/b(s), where a(s) and b(s) are coprime polynomials, and b(s) ≠ 0. The rational function f(s) = a(s)/b(s) is said to be proper if deg b(s) ≥ deg a(s), strictly proper if deg b(s) > deg a(s), and proper and stable if it is proper, and its poles lie in the open left half complex plane _. The set of proper rational functions will be denoted by _{p}(s), and the set of proper and stable rational functions will be denoted by _{ps}(s). The set of matrices of dimensions p × n with elements in , _{p}(s) and _{ps}(s), will be denoted, respectively, by ^{p×n}, and . A unimodular matrix is a nonsingular polynomial matrix whose inverse is also polynomial, a biproper matrix is a nonsingular proper rational matrix whose inverse is also proper, and a biproper and bistable matrix is a nonsingular proper and stable rational matrix whose inverse is also proper and stable.
We consider in this work linear multivariable and controllable systems with the same number of inputs and outputs, described in state space form by the equations
where x ∈ ^{n}, u ∈ ^{p} and y ∈ ^{p} are, respectively, the state, input and output vectors of the system.
The system (A, B, C) is said to be row by row decouplable with stability by static state feedback if there exists a state feedback
(F, G) : u(t) = Fx(t) + Gv(t)
where F ∈ ^{p×n} and G ∈ ^{p×p} are constant matrices with G nonsingular (regular static state feedback), and v(t) is a new input vector, such that the input v_{i}(t) controls the output y_{i}(t), i = 1, ..., p, without affecting the other outputs, and the closed-loop system (A + BF, BG, C) is internally stable, i.e. the eigenvalues of the matrix (A + BF), which correspond to the modes of the closed-loop system, are located in the open left half complex plane _.
From the input-output point of view, the previous formulation is equivalent to the existence of a state feedback (F, G) such that the transfer function T_{F,G}(s) of the closed-loop system (A + BF, BG, C) is of the form
(1) |
where w_{i}(s) ≠ 0, i = 1, ..., p, are strictly proper and stable rational functions, and the closed-loop system (A + BF, BG, C) is internally stable.
We can suppose without loss of generality that the system (A, B, C) is internally stable, i.e. the eigenvalues of matrix A are located in _. If this was not the case, there always exists a preliminary state feedback which will make the system stable, since we are considering that (A,B,C) is controllable. Thus, the transfer function matrix of the system
T(s) = C(sI - A)^{-1}B
can be considered as a strictly proper and stable rational matrix.
For simplicity we will consider that (A, B, C) is also observable. This consideration is in order that all finite zeros of the system appear in the system transfer function T(s), and the conditions for decoupling can be directly tested from T(s). Notice that this can always be supposed, since if the system is not observable, there always exists a preliminary state feedback which will make it observable, again due to the controllability condition of the system.
The system (A, B, C) will be supposed to be right invertible, which is a necessary condition for decoupling. This implies that the system transfer function T(s) is nonsingular.
III. THE STRUCTURE OF THE SYSTEM
The solution to the decoupling problem with stability is related to the infinite and unstable zero structure of the system. This information can be obtained from a canonical form of the transfer function T(s) over the ring of proper and stable rational functions, and it is actually a combination of the finite unstable zeros and the infinite zeros of the system. We will first recall the finite and infinite structure of the system, defined here from the Smith-McMillan and the Smith-McMillan form at infinity of the transfer function T(s), and then present the infinite and unstable structure of the system. For the definition and properties of the Smith-McMillan form, as well as for basic concepts on algebraic theory of linear systems, see for instance (Kailath, 1980).
III.1 Finite structure
The finite structure of the system (finite poles and zeros) can be defined from the Smith-McMillan form of the system transfer function T(s).
Let T(s) be the transfer function of the system (A, B, C). Then, there exist unimodular matrices U_{1}(s) and U_{2}(s) such that
U_{1}(s)T(s)U_{2}(s) = M(s)
where
(2) |
is the Smith-McMillan form of T(s), and {_{i}(s), ψ_{i}(s)}, i = 1, ..., p, are coprime monic polynomials, uniquely determined by T(s), satisfying the divisibility conditions
_{i}(s) | _{i+1}(s), and ψ_{i+1}(s) | ψ_{i}(s), (3)
i = 1, ..., p - 1.
The Smith-McMillan form M(s) reveals the finite structure of the system: the roots of the polynomials _{i}(s) are the (transmission) finite zeros of the system, and the roots of ψ_{i}(s) are the finite poles of the system.
III.2 Infinite structure
The infinite structure of the system can be defined from the Smith-McMillan form at infinity of the system transfer function T(s) as follows (Vardulakis, 1991).
Let T(s) be the transfer function of the system (A, B, C). Then, there exist biproper matrices B_{1}(s) and B_{2}(s), and a unique matrix M_{∞}(s), known as the Smith-McMillan form at infinity of T(s), such that
(4) |
and are positive integers satisfying
(5)
The matrix M_{∞}(s) displays the infinite structure of the system, the integers being the orders of the infinite zeros of the system.
The biproper matrices B_{1}(s) and B_{2}(s) in (4) represent, respectively, elementary row and column operations on T(s) over the ring of proper rational functions _{p}(s). Elementary row operations on T(s) over _{p}(s) are defined as follows:
i) changing the i-th and j-th rows of T(s),
ii) multiplying the i-th row of T(s) by a unit of _{p}(s),
iii) adding to the i-th row of T(s), the j-th row (i ≠ j) multiplied by an element of _{p}(s).
Elementary column operations are defined with the obvious changes.
The row infinite zero orders of the system (A,B,C), denoted as {n_{1}, ..., n_{p}}, are the infinite zero orders of the subsystems (A,B,C_{i}), where C_{i} is the i-th row of matrix C. Then, n_{i}, i = 1,... , p, can be obtained from the Smith-McMillan form at infinity of the i-th row of the system transfer function T(s).
Following (Martínez and Malabre, 1994), the content at infinity of the system is defined as
and the row content at infinity corresponds row infinite zero orders, i.e.
C_{∞}(A,B,C_{i}) = n_{i}, i = 1, ..., p.
III.3 Infinite and unstable structure
A key role in the decoupling problem with stability is played by the infinite and unstable zero structure of the system, introduced below. This information is displayed by the Smith form of the system transfer matrix over the set of proper and stable rational functions _{ps}(s). The set _{ps}(s) is known to be an Euclidean ring (Vidyasagar, 1985), the degree of a proper and stable rational function f(s) ∈ _{ps}(s), hereafter denoted degps f(s), taken as the number of infinite plus unstable zeros of f(s).
Lemma 1 Let T(s) be the transfer function of the system (A, B, C). Then, there exist biproper and bistable matrices V_{1}(s) and V_{2}(s), and a matrix Z(s), unique up to units of _{ps}(s), such that
(6)
and z_{i}(s) are proper and stable rational functions satisfying the divisibility conditions in _{ps}(s),
z_{i}(s) | z_{i+1}(s), i = 1, ..., p - 1. (7)
Proof. It follows from the fact that Z(s) is the Smith form of the proper and stable rational matrix T(s) over the ring _{ps}(s).
Let M(s) be the Smith-McMillan form of T(s) and factorize the polynomials _{i}(s) as
where contains the roots of _{i}(s) outside the open left-half complex plane _. Then, the proper and stable rational functions z_{i}(s) in (6) have the form
(8) |
where π := s + β is a stable term (i.e. β ∈ _), and , being the orders of the infinite zeros of the system.
The presence of some of the elements of M(s) and M_{∞}(s) in Z(s) is not at all unexpected. The matrix Z(s) contains the information of T(s) concerning the unstable and infinite zeros of the system, which can be obviously deduced combining the information about the finite zeros (given by M(s)) and the infinite zeros (given by M_{∞}(s)) of the system.
The biproper and bistable matrices V_{1}(s) and V_{2}(s) in (6) represent, respectively, elementary row and column operations on T(s) over the ring of proper and stable rational functions _{ps}(s).
Since we are considering that the system (A, B, C) is controllable and observable, then the so-called unstable content of the system (Martínez and Malabre, 1994), which is the information related to the unstable zeros of the system, is given by
The row unstable content of the system is the information related to the unstable zeros of the subsystems (A, B, C_{i}).
IV. DECOUPLING WITH STABILITY
Let (F, G) be a regular static state feedback applied on the stable system (A, B, C), such that the closed-loop system (A + BF, BG, C) is internally stable. The closed-loop transfer function is given by
T_{F,G}(s) = C(sI - A - BF)^{-1}BG.
After some manipulations on the last equation, we obtain
T_{F,G}(s) = C(sI - A)^{-1}B[I - F(sI - A)^{-1}B]^{-1}G
= T(s)R(s)
where T(s) = C(sI - A)^{-1}B is the transfer function of the system (A, B, C), and
R(s) := [I - F(sI - A)^{-1}B]^{-1}G.
Since the closed-loop system is supposed to be stable, then R(s) must be clearly a proper and stable rational matrix. Further, from
it can be seen that R^{-1}(s) is also proper and stable, since (A, B, C) is stable. Then, we have the following result.
Lemma 2 The effect of a regular static state feedback (F, G) which preserves internal stability can be represented in transfer function terms as a biproper and bistable matrix postmultiplying the system transfer function T(s).
This fact, in its turn, establishes a natural restriction on the type of feedback we can use while trying to achieve decoupling with stability: For our purposes, the state feedback (F, G) will be said to be an admissible state feedback if its effect on the system (A, B, C) can be represented as a biproper and bistable precompensator R(s) acting on the system transfer function T(s).
This can be considered as the matrix interpretation of the fact that we are neither allowed to introduce unstable poles nor to cancel out unstable zeros in order to keep the internal stability of the closed-loop system.
At this stage, it is important to consider the information of the system which remains invariant under the action of biproper and bistable compensation, and consequently, invariant under the action of an admissible state feedback.
IV. 1 The stable interactor
Since the action of an admissible state feedback on (A, B, C) can be represented as multiplication of T(s) on the right by a biproper and bistable matrix, the information of the system that is invariant under such a feedback is contained in the column Hermite form of T(s) over the ring _{ps}(s) (Dion and Commault, 1988; Ruiz-León et al., 1995).
Lemma 3 Let T(s) be the transfer function of (A, B, C). Then, there exist a biproper and bistable matrix V(s) and a nonsingular lower triangular matrix , unique up to units of the ring _{ps}(s), such that
(9) |
where the rational functions φ_{ij}(s) ∈ _{ps}(s) satisfy, for i > j,
φ_{ij}(s) = 0, or deg_{ps} < φ_{ij}(s) < deg_{ps} φ_{ii}(s), (10)
and they are of the form
(11) | |
(12) |
where α_{ii}(s) is a polynomial with only unstable roots (antistable polynomial), π = s + β is a stable term, α_{ij}(s) ∈ [s] is a polynomial, and k_{ii}, k_{ij} are positive integers. The matrix V(s) represents elementary column operations on T(s) over _{ps}(s). The positive real number /3 results from the column operations in (9) and it is inherited from T(s), otherwise it is arbitrary.
The rational matrix Φ_{s}(s), which is the inverse of , is known as the stable interactor of the system. This matrix is also called generalized interactor because, in some sense, it could be considered as a generalization of the classical system interactor Φ_{s}(s) (Wolovich and Falb, 1976). Notice, as stated in Lemma 3, that the matrix Φ_{s}(s) is not unique but it is unique up to units of the ring _{ps}(s). For a fixed π = s + β, the matrix Φ_{s}(s) is unique, and considering this is why we call it "the" stable interactor of the system. Actually, the algebraic properties of Φ_{s}(s) presented afterwards do not depend on the choice of β, nor the results stated in the next sections based on these properties.
The matrix Φ_{s}(s) is in general a rational matrix having only unstable poles. This can be seen from the fact that the numerator of the determinant of is the product of the antistable polynomials α_{ii}(s), i = 1, ..., p. Observe that if (A, B, C) has no unstable zeros, then Φ_{s}(s) is a polynomial matrix.
While the classical system interactor Φ(s) is a polynomial matrix containing the infinite structure of the system that can not be modified by a state feedback (Wolovich and Falb, 1976), the stable interactor is a state feedback invariant containing the infinite and unstable structural information of the system.
Remark 1 Let n_{i} be the infinite zero order of the i-th row of T(s) and let d_{i} denotes the number of unstable zeros (with multiplicities included) of the same row of T(s). Because of property (10), and since V(s) in (9) is biproper and bistable, it can be seen that if the diagonal entry φ_{ii}(s) is the only element different from zero of the i-th row of , then
n_{i} + d_{i} = deg_{ps} φ_{ii}(s)
otherwise
n_{i} + d_{i} < deg_{ps} φ_{ii}(s)
The last equation follows from the fact that if φ_{ii}(s) is not the only element different from zero of the i-th row of , then there exists an element φ_{ij}(s) in the same row such that
n_{i} + d_{i} = deg_{ps} φ_{ij}(s) < deg_{ps} φ_{ii}(s).
IV.2 Feedback realization of precompensators
A given proper compensator P(s) is said to be feedback realizable on the system (A, B, C) if there exists a state feedback (F, G) such that
P(s) = [I - F(sI - A)^{-1}B]^{-1}G.
The following result, used in the proof of Theorem 1, states the conditions for a proper compensator to be realizable.
Lemma 4 (Hautus and Heymann, 1978) Let the matrices N_{1}(s) and D(s) be a right coprime matrix fraction description (MFD) of the system (A, B, I_{n}), and let P(s) be a nonsingular compensator. Then P(s) is state feedback realizable on (A, B, C) if and only if
- P(s) is biproper, and
- P^{-1}(s)D(s) is a polynomial matrix.
V. MAIN RESULTS
V.1 Solution to decoupling with stability
The next result presents the necessary and sufficient conditions for the decoupling problem with stability to have a solution.
Theorem 1 The controllable and stable square system (A, B, C) is decouplable with stability if and only if its associated stable interactor Φ_{s}(s) is a diagonal matrix.
Proof. Necessity. Suppose that (A, B, C) is decouplable with stability. Then there exists a state feedback (F, G) such that
T_{F,G}(s)= C(sI - A - BF)^{-1}BG
= T(s)[I - F(sI - A)^{-1}B]^{-1}G = W(s).
Since [I - F(sI - A)^{-1}B]^{-1}G is a biproper and bistable matrix, and W(s) = diag{w_{1}(s), ..., w_{p}(s)} is proper and stable, then it follows that Φ_{s}(s) is diagonal.
Sufficiency. To prove this part, we will show that the biproper and bistable matrix V(s) in (9) is feedback realizable. Let N_{1}(s) and D(s) be a right coprime MFD of (A,B,I_{n}) with D(s) column reduced. According to Lemma 4, V(s) will be proved to be feedback realizable if the product V^{-1}(s)D(s) is polynomial.
From (9) we have
T(s)V(s) = CN_{1}(s)D^{-1}(s)V(s) = ,
and from this, we get
Φ_{s}(s)C N_{1}(s) = V^{-1}(s)D(s). (13)
Since the left hand side of the last equation has only unstable poles, and the right hand side has only stable poles, then it follows that V^{-1}(s)D(s) is polynomial.
Given that V^{-1}(s)D(s) is polynomial, and taking D(s) column reduced, then there exists a constant solution X, Y with X nonsingular, to the polynomial matrix equation (Kučera and Zagalak, 1991)
X D(s) +Y N_{1}(s) = V^{-1}(s)D(s). (14)
Thus, a state feedback (F, G) which decouples the system (A, B, C) and preserves internal stability is obtained as F = -X^{-1}Y, G = X^{-1}.
Remark 2 From the fact that the biproper and bistable matrix V(s) in (9) is feedback realizable, then (diagonal or not) can be considered as the transfer function of the closed-loop system (A + BF, BG, C), whose stable interactor is Φ_{s}(s). Thus, the matrix V(s) can be regarded as the input-output representation of a static state feedback whose effect is a pole assignment, some poles of the system being placed at the positions of stable zeros producing cancellation, and the remaining ones being located at the stable position s = -β. In this way, is the resulting transfer function of (A + BF, BG, C). Compare with Φ^{-1}(s), the inverse of the classic interactor, where it can be considered that cancellation of all zeros is produced and the remaining poles are located at s = 0. From this point of view, the difference between Φ^{-1}(s) and is that in the process of obtaining we avoid the cancellation of unstable zeros in order not to produce internal instability.
The following result shows that the conditions presented in (Martínez and Malabre, 1994) are equivalent to the conditions of Theorem 1.
Theorem 2 The stable interactor of the system (A, B, C) is diagonal if and only if the following two conditions hold
(15) |
and
(16) |
where C_{∞}(A, B, C) (C_{∞}(A, B, C_{i})) is the content at infinity (row content at infinity) and C^{+}(A, B, C) (C^{+}(A, B, C_{i})) is the unstable content (row unstable content) of the system.
Proof. Necessity. Let Z(s) be the Smith form of T(s) over _{ps}(s), and let be the inverse of the stable interactor. From (6) and (9) it follows that
deg_{ps}[det Z(s)] = deg_{ps}[det ].
Then, supposing that Φ_{s}(s) is diagonal we have that
(17) |
where are the infinite (row infinite) zero orders of the system, d_{i} is the number of row unstable zeros, and r_{i} := deg where are the anti-stable polynomials in (8).
Since the system is decouplable with stability (Φ_{s}(s) is diagonal), then it is also decouplable without stability, i.e. (Descusse and Dion, 1982)
and from this and (17), we have
which are respectively equivalent to (15) and (16).
Sufficiency. From (15) and (16) it follows that
From Remark 1, we have that
n_{i} + d_{i} ≤ deg_{ps} φ_{ii}(s),
equality holding in the case that φ_{ii}(s) is the only element different from zero in the i-th row of . Let us suppose that is not diagonal, this means that
i.e.
contradicting our assumption.
V.2 Computation of the decoupling state feedback
Considering that the system (A, B, C) is decouplable with stability, two methods are presented in this section to compute a state feedback which decouples the system with stability.
Method 1. If the stable interactor of the system is a diagonal matrix, then the sufficiency part of Theorem 1 provides a procedure to find a state feedback which produces as the transfer function of the closed-loop system for any choice of β. Actually, the poles of this diagonal closed-loop transfer function can be arbitrarily located in _. To obtain the corresponding state feedback, find a constant solution X, Y with X nonsingular to the polynomial matrix equation
X D(s)+ Y N_{1}(s) = W^{-1}(s)C N_{1}(s) (18)
where W(s) is the diagonal closed-loop transfer function with desired poles, obtained from , and C, N_{1}(s) and D(s) are as before. Thus, a state feedback (F, G) which decouples the system (A, B, C) with closed-loop transfer function W(s) and preserves internal stability is obtained as F = -X^{-1}Y, G = X^{-1}.
Method 2. Let W(s) be the diagonal closed-loop transfer function with desired poles, obtained from , and define
Q(s) = T^{-1}(s)W(s) = Q_{0} + , (19)
where Q_{0} is a constant matrix, and is a strictly proper rational matrix.
Then, we search for matrices F and G such that
Q(s) = [I - F(sI - A)^{-1}B]^{-1}G. (20)
From the last equation, it can be seen that matrix G is given by
(21) |
To compute matrix F, let [ L E ] be a basis for the left constant kernel of the matrix
(22) |
where L ∈ ^{p×n}, E ∈ ^{p×p}, and E is nonsingular (such matrices exist if the system is decouplable with stability).
Then, matrix F is given by
F = -E^{-1} L. (23)
Remark 3 While Method 1 relies on the constant solution to a polynomial matrix equation, Method 2 uses a constant kernel of a strictly proper rational matrix. Method 2 has the advantage, in comparison to Method 1, that it is not necessary to obtain a matrix fraction description of the system with D(s) column reduced.
V.3 Examples
The next two examples will illustrate the main results of this paper.
Example 1 Let the system (A, B, C) be given by
whose transfer function matrix is
The stable interactor of this system is not a diagonal matrix, because the (2,1) entry of T(s) can not be cancelled out by an elementary column operation over _{ps}(s), thus the system is not decouplable with stability. The more we can do using elementary column operations over _{ps}(s) is to obtain the Hermite column form of T(s), i.e. to reduce the degree of the (2,1) entry of T(s) so as to be less than the degree of the (2, 2) entry, which is equal to 3. Then, we have
where the last matrix is for β = 1.
In terms of the infinite and unstable zeros of the system, and following the notation from Theorem 2, we have that
Then, it can be seen that the row infinite zeros coincide with the global infinite zeros, but not the unstable zeros, since s = 1 is an unstable global zero but it is not a row zero of T(s). Thus, this system is decouplable, but not decouplable with stability. Indeed, the state feedback
produces the decoupled system (A + BF,BG,C) whose transfer function is
but the closed-loop system is not internally stable.
Example 2 Let the system (A, B, C) be given by
whose transfer function matrix is
The stable interactor for this system is a diagonal matrix
or equivalently, the row and global infinite and unstable zeros of the system coincide, and thus the system is decouplable with stability.
Following any of the two methods reported in the last section, we obtain the state feedback
which produces the decoupled and stable closed-loop system (A + BF, BG, C) whose transfer function is
Actually, this system can be decoupled with stability with closed-loop transfer function
where λ_{1,2,3,4,5} are arbitrary positive real numbers.
VI. CONCLUSIONS
In this paper, we have presented a solution to the decoupling problem with stability of linear square multivariable systems by static state feedback using an algebraic approach. It has been shown that the problem has a solution if and only if the stable interactor is a diagonal matrix. This is a structural condition which is equivalent to the equality between the global infinite and unstable structure and the row infinite and unstable structure of the system. Two methods were presented to compute a state feedback which decouples the system with stability.
The assumptions made in this paper that the controllable system (A, B, C) is internally stable and observable are just in order to define properly the stable interactor of the system and to check the conditions for decoupling from the system transfer function T(s), and there is no loss of generality in these assumptions. The decouplability of non-stable or non-observable systems can be also easily analyzed. Indeed, the structural conditions for decoupling with stability are independent of these properties of the system.
REFERENCES
1. Descusse, J. and J.M. Dion, "On the structure at infinity of linear square decoupled systems", IEEE Trans. Automat. Contr., AC-27, 971-974 (1982). [ Links ]
2. Dion, J.M. and C. Commault, "The minimal delay decoupling problem: Feedback implementation with stability", SIAM J. Contr. Optimiz., 26, 66-82 (1988). [ Links ]
3. Falb, P.L. and W.A. Wolovich, "Decoupling in the design and synthesis of multivariable control systems", IEEE Trans. Automat. Contr., AC-12, 651-659 (1967). [ Links ]
4. Hautus, M.L.J. and M. Heymann, "Linear feedback: An algebraic approach", SIAM J. Contr. Optimiz., 16, 83-105 (1978). [ Links ]
5. Kailath, T., Linear Systems, Prentice Hall, Englewood Cliffs, N.J. (1980). [ Links ]
6. Kučera, V. and P. Zagalak, "Constant solutions of polynomial equations", Int. J. Contr., 53, 495-502 (1991). [ Links ]
7. Martínez, J.C. and M. Malabre, "The row by row decoupling problem with stability: A structural approach", IEEE Trans. Automat. Contr., 39, 2457-2460 (1994). [ Links ]
8. Ruiz-León, J., P. Zagalak, and V. Eldem, "On the problem of decoupling", Proc. 3rd IFAC Conference on System Structure and Control, 611-616, Nantes, France (1995). [ Links ]
9. Vardulakis, A.I.G., Linear Multivariable Control: Algebraic Analysis and Synthesis Methods, John Wiley & Sons, Chichester, England (1991). [ Links ]
10. Vidyasagar, M., Control System Synthesis: A Factorization Approach, The MIT Press, Cambridge, Mass. (1985). [ Links ]
11. Wolovich W.A. and P.L. Falb, "Invariants and canonical forms under dynamic compensation", SIAM J. Contr. Optimiz., 14, 996-1008 (1976). [ Links ]