Professional Documents
Culture Documents
JULY I995
1323
[i2:] .
REFERENCES
C~Z = , DqALV,5p
S . P. Boyd and C. H. Barratt, Linear Controller Design: Limits of Pelfonnance. Englewood Cliffs, NJ:Prentice-Hall, 1991. C. A. Desoer and M. Vidyasagar, Feedback Systems: Input-Outpur Properiies. New York Academic, 1975. C. A. Desoer and M. G. Kabuli, Linear stable unity-feedback system:
-3(s - 3)
----(Is+l
[A :I)
N. CONCLUSION We considered the stability of LTI,MIMO systems under stable NLTV diagonal post-multiplicative perturbations of the plant (sensor failures) and pre-multiplicative perturbations of the plant (actuator failures). Assuming that any one of the sensors or actuators may fail one at a time, without prior knowledge of the NLTV failure and its location, we obtained necessary and sufficient conditions for stabilization of the LTI plant using LTI controllers. We developed controller design methods for two classes of plants and explicitly derived a family of controllers achieving closed-loop stability under an unknown stable NLTV failure of at most one loop. The closed-loop stability condition for all possible unrestricted stable NLTV perturbations of one sensor or actuator is that all diagonal entries of certain transfer functions of the nominal LTI system are exactly zero. Note that such a strict condition is due to the general unconstrained nature of the NLTV perturbations. If this condition could not be met and the diagonal entries were not zero (but their gains were bounded by sufficiently small E), then as in standard robustness results based on the small-gain theorem, closedloop stability is still guaranteed for a restricted class of perturbations (whose gains are bounded by l / ~ ) . The design goal stated above can easily be expressed as a convex design specification [ 11. Despite the obvious advantages of convex problem formulations, optimization based design approaches cannot bring an explicit answer in cases where there does not exist such a controller (in general, not for a particular finite parametrization only) or make explicit use of the plant properties in successive redesigns (each new plant will be treated as a new design problem). Hence, whenever applicable, analytical solutions should be used to weed out infeasible constraints and initialize feasible ones. The results in this note are intended for shch complementary utilization. The analysis results provide valuable necessary conditions on plants that admit such controllers. For two classes of plants, the explicit design approach developed here guarantees a desired nominal controller. The particular design approach complements the convex optimization based control design approach since it explicitly generates a family of feasible stable parameters for the controller. The freedom can then be used to satisfy other design specifications.
Necessary and sufficient conditions for stability under nonlinear plant perturbations, IEEE Trans. Auromr. Contr., vol. 34, no. 2, pp. 187-191, 1989. __, Factorization approach to nonlinear feedback systems, Fh.D. dissertation, Electronics Res. Lab., Memo. No. UCBERL M89/64, Univ. California, Berkeley, 1989. M. Fujita and E. Shimemura, Integrity against arbitrary feedback-loop failure in linear multivariable control systems, Auromatica, vol. 24, p. 765, 1988. A. N. Giindeg and C. A. Desoer, Algebraic Theory of Linear Feedbnck Sysrems Wirh Full and Decentralized Compensators, Lecture Notes in Control and Information Sciences, vol. 142, Springer-Verlag, 1990. A. N. GiindeS, Stability of feedback systems with sensor or actuator failures: Analysis, Inr. J. Contr., vol. 56, no. 4, pp. 135-153, 1992. , Parametrization of decoupling controllers in the unity-feedback system, IEEE Trans. Automat. Control, vol. 31, no. 10, pp. 1572-1576, 1992. C. A. Lin and T. F. Hsieh, Decoupling controller design for linear multivariable plants, IEEE Trans. Automat. Contr., vol. 36, pp. 485-489, 1991. M. Vidyasagar, Conrrol System Synthesis: A Factorization Approach. Cambridge, MA: M.I.T. Ress, 1985.
__
I. INTRODUCTION The problem of designing observers for descriptor systems has received considerable attention in the last two decades [ 11-[7]. Many approaches exist to design observerg for descriptor systems. In [l],a method based on the singular value decomposition and the concept of matrix generalized inverse to design a reduced-order observer has been proposed. In [2], the generalized Sylvester equation was used to develop a procedure for designing reduced-order observers. In [3], a method based on the generalized inverse, which extend the method developed in [SI,was presented. Full- and reduced-order observers for discrete-time descriptor systems have been presented in [5] and [7]. All these works have been done under the assumptions of regularity and generalized observability. Theae conditions are very restrictive and, as can be seen in [6], the design of the observer can be done under less restrictive conditions. In [6], the conditions of regularity and modal observability have been assumed. In [lo], a new method Manuscript received August 26, 1993; revised July 6, 1994. The authors are with the CRAN-EAIkAL-CNRS UA 821 - Universitd de Nancy I, 54400 Cosnes et Romain, France. IEEE Log Number 9412366.
1324
is developed for the reduced-order observer design for descriptor systems where the regularity assumption (A*,E* are square and det (XE' - A*) # 0) is not required and a condition less restrictive than the impulse observability is used. In this note we present simple new methods to design full- and reduced-order observers for continuous-time descriptor systems. For the full-order observer the approach is based on a method developed recently in [9], and extends it to descriptor systems, while the reduced-order observer design method is based on a new resolution method of the generalized Sylvester equation. These approaches do not require any coordinate transformation. As in [lo], the regularity assumption is not required; however, a condition which generalizes the impulse observability is assumed as in [12]. It is well known that a solution to nonregular descriptor systems does not exist or may not be unique for given initial conditions and time piecewise continuously differentiable input [lo]. According to [ 111, one can note that even if the descriptor vector of a nonregular system cannot be uniquely determined, it is possible to obtain a unique input-output description. As can be seen in [lo], the observers design for nonregular descriptor systems can be realized, since measurements provide additional information to the descriptor vector equation. One can note that the descriptor vector can be uniquely determined from the descriptor vector equation and the measurement vector if and only if the matrix pencil [""',l"*] is of full column rank.
Then, using the above transformations, we can easily prove that (5.1)
or equivalently
= n
since E is a full row rank matrix. = n , there exists a nonsingular matrix Now since rank such that
[E]
[z j]
aE bC = I , cE+dC=O.
+ +
(7.1) (7.2)
G, and A- are unknown matrices of appropriate where N . L1, Lz, dimensions, which must be determined such that 2 will asymptotically converge to T . From (4), (6), and (7) the estimate error
e=x-z
=(a
+Kc)Ez -
(8)
II.
E'X = A * x + B*u
y*
(1.1) (1.2)
=c+x
where r E R". U E R k , and y * E Rp are the state vector, the input vector, and the output vector, respectively. E* E R" n , A* E R" ", B' E R" ', and C 8 E RP are known constant matrices. We assume that rank E* = T < n, and without loss of generality rank C* = p. In the sequel we assume that
i = Me
provided the matrices G, K , L1. L z , and N satisfy
G = (a
and
(a
+ Kc)B
(11)
(2)
Then, since rank E* = T , there exists a nonsingular matrix P such that
PE' =
[f]
PA'
and
=.[.1]
then 3 will asymptotically converge to z if and only if N is a stability matrix. The problem of designing a full-order observer of the singular system (1) is reduced to find matrices K , L1, Lz,and a stability matrix N such that (11) is satisfied. Using (6), (1 1) can be written as (a or
+ K c ) A - N ( I n - bC - K d C ) - LiC - LzC = 0
= (U
PB* =
[i]
(3)
Take
+ K c ) A - LzC + [ N ( b+ K d ) - Ll]C.
L1 = N ( b
(12)
with E E R'." and rank E = I T . Following [?I. system (1) is a restricted system equivalent (r.s.e) to
+ Kd)
(13)
Ei = A x + Bu y =Cx
where
then
N = ail
['."I
(14)
T.
which must be a stability matrix. Now Y is a stability matrix if and only if the pair ( a A , is detectable. In this case, matrices K and LZ can be determined from the standard observer design problem. From the definition of matrices E, A , and C it is easy to prove the following lemma.
rg])
1325
rankpEL:A']
=rank[ S E - A
1,
(15)
6 =nu, + Ly + H u i=Mw+Fy
(19.1) (19.2)
Now we can give the sufficient conditions for the existence of the observer (7) for system (1). Theorem 2.1: Sufficient conditions for the existence of the observer (7) are
a) rank
:[
E* = n + r a n k E * ,
where U' E R n P q . The problem of the observer design is reduced to find matrices II, L , H, M . and F such that the estimate j : converges acymptoti c d y to s. The solution of this problem is given in the following theorem. Theorem 3.1: Let T be an ( n - q ) x r matrix such that
T A - IITE = LC
where det Then for
Proof: From (2)-(5) condition a) is equivalent to rank [ g ] = n, which yields (6), (8), and (12).
Now, note that rank
r : ]
f0.
"'1
=rank =rank
[SE- '4]
0
=rank[
[:; I:;- [ $ ] 5]
0
H =TB
and
(21)
SE-A
I, 0 0 SE- A
(17)
SE-A
rank[
=rank[+
--: i][ 2 ]
b
SE-A
we have ? ( t )- ~ ( t=) bfe"'[w(O) - T E z ( O ) ] . The convergence of the reduced-order observer is obtained when I I is a stability matrix. This theorem is easy to prove, hence its proof is omitted. We will next give a new method to find the matrix T. Define the following nonsingular matrix:
SI, - n A
=rank[
1,
I:[
piq I q ] [ c ]
TE
Vs
E C, Re(s) 2 0
where K is an ( T I - q).q arbitrary matrix and R is an ( n - q ) . n matrix of full row rank. Then, we have (18)
(ad. is detectable. Remark I: Matrices a, b , c, and d such that (6) is verified can be found by using the singular value decomposition (S.V.D.) of the matrix [F]. In fact, since rank [E] = R there exist two orthogonal ' such that matrices U and 1
or
['e])
(T h-)
since rank
[E]
=R
[:] P:.]
=
IT,
where
C =diag(al? U Z ,
and
a,)
>0
+CTC)-l,
and 2 is an
( i = 1, n )
then
T = RAET
and from (20) we obtain
+Z
['.-
-CAET
11 = T A M
L =TAF.
The problem is reduced to find the matrix T such that II is a stability matrix.
1326
We can now propose the following design procedure: 1) Choose an (n - q ) x n matrix R such that is nonsingular, this can be always done, since C is of full row rank. 2) The matrix A4 can be obtained from (22) and (23)
[g]
where
r =R A E ~ A M
and
M =
[a]-' ["F'].
3) If the pair (I?, 12) is detectable, we can find 2 such that the observer is asymptotically stable, then we can deduce T from
If the pair (I?, a) is detectable, one can design a reduced-order observer from the standard methods, in the form (19). In the sequel, we will give the sufficient conditions for the existence of the reduced-order observer. Theorem 3.2: For system (l), the reduced-order observer (19) exists if conditions a) and b) in Theorem 2.1 are satisfied. Pro08 Condition a) can be obtained from (23), (2), and (5). Now define the following matrices
IV. EXAMPLE The following example illustrates the above design methods. Example: Consider the singular system (1) described by
E'
r
172
=lxj
1 0 0 0
RAET(~E - AIF
-CAET(~E
-(rr - E A E ~ ) ( ~A E) F
-CAE~(~ -E A)F
= [ M F ] E R"'"
-Ay
1
A*
=[-a H 4 y]
0 0 1 0
and and where U 2 is nonsingular matrix and rank S = n Ker[F] and rank Cil = T 9 . Then we have
B'
=
[i]
A* E * ] - r d E ' =4.
+ q , since P,. =
In this case
C' = [0 1 0 01.'
and
SE-A
rank
E' 0 0
c*
s~,,-q - R
-CA
AE~AM AM
If we choose the transformation matrix P = 1 4 , we obtain the r.s.e singular system (4)described by
E=[;
I
which gives
: x x]
1 0 0 01
0 0 1 1 1 11
Remarks: 1) If rank [$:I = n the above results can be applied directly to system (1) without any transformation. 2) The reduced order p of the observer is given by: j i = n rank C.
C = [ "
- 1 0 0 1 1 1 0 1 0 0
'1
1321
and
y=[-Ftf],
thenwehaverank
I:[
and
=1.
The above result can then be applied to the transformed system. a) Full-order observer: Matrices a, b. c, and d are
IL=
[ si
0
-112
1 / = [
-1
%]
0
we can choose 2 = [0 -3
0 0 31, then
/_[
and
-1
; ;]
1 -1
and
F = [-1 !
L=[-l
1 -4
i]
1 -131
c = [0 1 1
H =O.
d = [O 0
-11.
Now, let the observer eigenvalues be specified by -4. -3, -2, and -1, then we can find
i i = -4w - 13y + U
V. CONCLUSION We have presented systematic design methods of full- and reducedorder observers for linear descriptor systems. The reduced-order observer design method is based on the new resolution method of the constrained generalized Sylvester equation. It was shown that the existence conditions of the observer generalize those adopted in [12] for the observer design of square descriptors systems problem. An extension to a less restrictive conditions is under study. ACKhOWLEDGMENT and
m
G =O.
Thus the full-order observer is
The authors would like to thank the anonymous reviewers for their helpful and constructive comments.
REFERENCES
[l] M. El-Tohanu, V. Lovass-Nagy, and R. Mukundan, On the design of observers for generalized state space systems using singular value decomposition, Int. J. Contr., vol. 38, pp. 673-683, 1983. [Z] M. Verhaegen and P. Vandooren, A reduced observer for descriptor systems, Syst. Contr. Lett., vol. 8, no. 5, pp. 29-37, 1986. [3] B. Shafai and R. L. Caroll, Design of minimal order observers for singular systems, Int. J. Contr., vol. 45, no. 3, pp. 1075-1081, 1987. [4] M. M. Fahmy and J. OReilly, Observer for descriptor systems, Int. J. Contr,, vol. 49, pp. 2013-2028. 1989. [5] L. Dai, Observer for discrete singular systems, IEEE Trans. Automat. Contr.. vol. 33, pp. 187-191, 1988. [6] P. N. Paraskevopoulos and F. N. Kounboulis, Observers for singular systems, IEEE Trans. Automat. Contr., vol. 37, pp. 1211-1215, 1992. [7] L.Dai, Singular Control Systems. Berlin: Springer, 1989. [8] G. Das and T. K. Goshal, Reduced-order observer construction by generalized matrix, Int. J. Contr., vol. 33, pp. 371-378, 1981. [9] M. Darouach, M. Zasadzinski, and S. J. Xu, Full-order observers for i t h unknown inputs, IEEE Trans. Automat. Contr., vol. linear systems w 39, pp. 606609, 1994. [lo] P. C. Muller and M. Hou, On the observer design for descriptor systems, IEEE Trans. Automat. Contr., vol. 38, pp. 1666-16671, 1993. [ l l ] M. Hou and P. C. Muller A singular matrix pencil theoty for linear descriptor systems, in Symp. on Implicit and Nonlinear Systems, Ft. W o r t h ,TX, Dec. 14-15, 1992. [12] D. N. Shields, Observers for descriptor systems, Inr. J. Contr., vol. 55, pp. 249-256, 1992.
M =
[-;I
1
21