Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference Shanghai, P.R. China, December 16-18, 2009
ThCIn3.11
Observer design for inherently nonlinear systems with lower triangular structure Salim Ibrir Abstract— A new observation procedure is proposed for a wide class of single output observable nonlinear systems written in lower triangular form. First, we give the n-th order time-varying differentiator that robustly estimates, in asymptotic manner, the higher derivatives of any model-free continuously differentiable signal. This n-th order differentiator is a generalization of the time-varying differentiator proposed by the author in [1], [2] and [3]. By using an appropriate change of variables, it is shown that the boundedness of the signal to be differentiated is not necessary for the convergence of the differentiator. Based on the fact that systems written in triangular form are algebraically observable then, the system states can be reproduced through a static diffeomorphism that involves the system input, the system output, and their respective higher derivatives. It is shown that the global convergence of the n-th order differentiator implies the asymptotic convergence of the system states without imposing any restrictive condition on the form of nonlinearities. Index Terms— Nonlinear observer design; Adaptive estimation; Time-varying systems; Signal differentiation.
u
y
SYSTEM
Time Varying Differentiator
OBSERVER
x ˆ
I. I NTRODUCTION TATE estimation of highly nonlinear systems is a longstanding and challenging problem that has been addressed with different looks. The complexity of state reconstruction from the input and the output measurements depends on the system nonlinearities, the nature of the input that may render the system unobservable, and the form of the system output which plays a key role in the stability of the observation error. Until now, there is no unique straightforward method to design an observer for a given nonlinear system. However, under certain conditions, numerous solutions do exist for special forms of systems. By exploiting the structure of the system being observed, the boundedness of the system states or the Lipschitz property of the system nonlinearities, many strategies have been employed to build an observer. Error-linearization-based algorithms [4], [5], [6], [7], Lyapunov design procedures [8], and sliding-mode observer design [9], [10] are among the systematic procedures that have shown satisfactory performances. The reader can also find other challenging procedures as numerical methods [11], neural-network observation techniques [12], algebraic nonlinear observer design [1], and circle-criterion observation methods [13], [14]. When the system fails to be put in certain form of observability, high-gain observer design reveals as a powerful method that is often used to reconstruct the system states under the assumption that the vector nonlinearity is globally or locally Lipschitz, see [15], [16], [17],
S
Salim Ibrir is with University of Trinidad and Tobago, Pt. Lisas Campus, P.O. Box. 957, Esperanza Road, Brechin Castle, Couva, Trinidad, W.I., email:
[email protected]
978-1-4244-3872-3/09/$25.00 ©2009 IEEE
y, y, ˙ · · · , y (n−1)
u, u, ˙ · · · , u(n−2)
Fig. 1.
The scheme of the nonlinear observer
[18], [19]. However, the Lipschitz constraint is not always verified and prevents generally the global convergence of the high-gain observer. Moreover, the existence of the observer gain is conditioned by the value of the Lipschitz constant which is generally required to be small enough, see [19] for more details. Even though the circle-criterion observer design is conceptually free form the information of the Lipschitz constant [20], [14], this interesting design remains limited to systems with positive-gradient nonlinearities. In this note, a new observation method is given for state estimation of a general class of nonlinear systems satisfying the complete uniform observability condition. The main features of the proposed design are summarized in the following points. • Robustly estimate the higher derivatives of any differentiable measured signal without incorporating its model or imposing the boundedness of the signal or its respective higher derivatives; • The proposed n-th order differentiator is a generalization of constant-gain differentiators written in controllable canonical form discussed in [2]; • The design procedure is free from any restrictive condition as the Lipschitz or the H¨older conditions generally imposed in high-gain observer design; • The nonlinearities are not subject to any restrictive condition whenever the uniform observability condition is satisfied;
6131
ThCIn3.11 The dynamics of the adaptive algebraic observer is not a copy of the original model with output correction term; • The convergence of the observation error is global and exponential. To conceive the dynamics of the whole observer, we start by writing the system states as static algebraic expressions of the input, the output, and their respective higher derivatives. Subsequently, all the variables of the static diffeomorphism, that relate the system unmeasured states to the higher derivatives of the input and the output, are asymptotically estimated. Illustrative example showing the main features of the novel design is discussed. Throughout this paper, we note by IR the set of real numbers. The notation A > 0 (resp. A < 0) means that the matrix A is positive definite (resp. negative definite). In is the identity matrix of appropriate dimension and A0 denotes the matrix transpose of A. We note by , any equality by definition. x˙ stands for the timederivative of the vector x with respect to time and Cnk stands for the binomial coefficient. •
II. S YSTEM DESCRIPTION AND OBSERVABILITY ANALYSIS
Consider the class of dynamical systems written in the lower-triangular form: x˙ 1 = x2 + f1 (x1 , u), .. . x˙ i = xi+1 + fi (x1 , x2 , · · · , xi , u), .. . x˙ n = fn (x1 , · · · , xn , u), y = x1 ,
every two different initial conditions x0 and x ¯0 there exist an interval [0, T ], T ∈ IR>0 and an admissible control u(t) defined on [0, T ] such that the associated outputs y(x0 , u(t)), y(¯ x0 , u(t)) are not identically equal on [0, T ]. We say, in this case, that the control input u(t) distinguishes the pair ¯0 ) on [0, T ]. (x0 , x Definition 2: Consider system (2). The control input u(t) ∈ U ⊂ IRm is said universal on [0, T ], if it distin¯0 ) on [0, T ]. guishes every different initial states (x0 , x Definition 3: System (2) is said uniformly observable if every admissible control u(t) defined on [0, T ], is a universal one. Definition 4: System (2) is said to be algebraically observable if there exist two positive integers µ and ν such that ³ ´ x(t) = φ y, y, ˙ y¨, · · · , y (µ) , u, u, ˙ u ¨, · · · , u(ν) (t), (3)
where φ(·) : IR(µ+1)p × IR(ν+1)m 7→ IRn is a differentiable vector valued nonlinearity that depends on the inputs, the outputs, and their respective higher derivatives. According to the above definitions, system (1) is uniformly observable for any input. This property can be also checked via the algebraic observability of the system since the state vector is reconstructed by recurrence as follows: x1 = y = ϕ1 (y),
(1)
˙ u), x2 = y˙ − f1 (y, u) = ϕ2 (y, y, .. . xi = ϕ˙ i−1 (y, y, ˙ · · · , y (i−2) , u, u, ˙ · · · , u(i−3) ) ¡ ˙ u), · · · , ϕi−1 (y, y, ˙ · · · , y (i−2) , − fi−1 y, ϕ2 (y, y,
where u ∈ IRm is the system input and y ∈ IR is the system output. In order to complete the description of the considered system, let us begin by considering the following assumptions. Assumption 1: Each nonlinearity fi (x1 , x2 , · · · , xi , u), 1 ≤ i ≤ n is a well-defined nonlinearity with respect to their variables x1 , x2 , · · · , xi , u. Assumption 2: For a given bounded input u ∈ IRm , the system states do not leave any compact set. In other words, the system trajectories are well-defined for all t ≥ 0 such that for any instant t ≥ 0, we can find a large compact set Ωt where the system states live in. Before starting the analysis of the system observability along with the observer design, let us introduce the following definitions. Definition 1: Consider the nonlinear system ½ x˙ = f (x, u), (2) y = h(x), where x = x(t) ∈ M ⊂ IRn represents the system state vector, f (·, ·) is smooth vector with f (0, 0) = 0 and u(t) ∈ U ⊂ IRm is the control input. The output nonlinearity y = y(t) = h(x(t)) ∈ IRp is supposed to be smooth with h(0) = 0. We say that system (2) is observable if for
¢ u, u, ˙ · · · , u(i−3) ), u ,
.. .
˙ · · · , y (i−1) , u, u, ˙ · · · , u(i−2) ), = ϕi (y, y,
˙ · · · , y (n−2) , u, u, ˙ · · · , u(n−3) ) xn = ϕ˙ n−1 (y, y, ¡ − fn−1 y, ϕ2 (y, y, ˙ u), · · · , ϕn−1 (y, y, ˙ · · · , y (n−2) ,
¢ u, u, ˙ · · · , u(n−3) ), u , ¡ ¢ ˙ · · · , u(n−2) . ˙ · · · , y (n−1) , u, u, = ϕn y, y, (4)
Since all the nonlinearities fi (x1 , · · · , xi ), 1 ≤ i ≤ n are continuously differentiable then, the resulting functions ϕi (s), 1 ≤ i ≤ n are well-defined with respect to their variables; hence, the states can be reconstructed from the information of the inputs and output without any singularity. III. O BSERVER ANALYSIS A. n-th order time-varying differentiator In this section, we present an adaptive-like differentiator whose successive states converge asymptotically to the successive higher derivatives of the input signal y. We show that the convergence of the differentiator is always assured even when y is not bounded. Before presenting this result let us introduce the following Lemma.
6132
ThCIn3.11 Lemma 1: Let P (γ) and R(γ) be two parameterdependent matrices verifying the following coupled Lyapunov-like equations: − γP (γ) − P (γ)A0 − AP (γ) + BB 0 = 0,
γR(γ) + (A − BB 0 P −1 (γ))0 R(γ)
+ R(γ)(A − BB 0 P −1 (γ)) + C 0 C = 0, (5)
where A, B 0 0 A , ... 0 0
and C are defined as 1 0 ··· 0 0 1 ··· 0 .. .. . . , B , . 0 . . 0 0 ··· 1 0 0 ··· 0
0 0 0 .. . 1
, C ,
1 0 0 .. . 0
Using the following properties γG(γ)A = AG(γ), γA0 G(γ) = G(γ)A0 , B 0 G(γ) = B 0 , G(γ)B = B, we have ¸ · ¸ · 1 1 G(γ)P1 G(γ) A0 − γ G(γ)P1 G(γ) − γ γ · ¸ 1 − A G(γ)P1 G(γ) + BB 0 = 0. γ (12) By comparison of the last matrix equation with first matrix 1 in (5), we conclude that P (γ) = G(γ)P1 G(γ). γ Similarly, the matrix R1 is the solution of the following equation:
0
.
R1 + (A0 − P1−1 BB 0 )R1 + R1 (A − BB 0 P1−1 ) + C 0 C = 0. (13)
(6)
Pre- and post multiplying Eq. (13) by S(γ), we obtain S(γ)R1 S(γ) + S(γ)(A0 − P1−1 BB 0 )R1 S(γ)
Then, for γ > 0, we have • P (γ) and R(γ) are positive definite and are given by: P (γ) =
1 1 G(γ)P1 G(γ), R(γ) = S(γ)R1 S(γ) (7) γ γ
where the matrices P1 , R1 , G(γ), S(γ) are defined as P1 µ , P (γ)|γ=1 , R1 ¶, R(γ)|γ=1 , 1 1 1 G(γ) , diag n−1 , n−2 , · · · , , 1 , and S(γ) = γ γ γ µ ¶ 1 1 diag 1, , · · · , n−1 . γ γ d d P (γ) and R(γ) are negative defi• The matrices dγ dγ nite. d −1 d −1 • The matrices P (γ) and R (γ) are positive dγ dγ definite. Proof: The matrix P (γ) is symmetric and positive γ definite for all γ > 0 because the matrix Υ(γ) = − I −A is 2 Hurwitz and verifies the following Lyapunov matrix equation Υ(γ) P (γ) + P (γ) Υ0 (γ) = −BB 0 .
(8)
Ξ0 (γ)R(γ) + R(γ)Ξ(γ) = −C 0 C
(9)
γ Since all the eigenvalues of the matrix Ξ(γ) = I + A − 2 γ BB 0 P −1 (γ) are equal to − , and the matrix Ξ(γ) verifies 2 the Lapunov equation
then, the matrix R(γ) is symmetric and positive-definite for all γ > 0. The matrix P1 verifies the following Lypunov-like equation: −P1 − P1 A0 − AP1 + BB 0 = 0.
(10)
Pre- and post multiplying the last matrix equation by G(γ), we obtain − G(γ)P1 G(γ) − G(γ)P1 A0 G(γ) − G(γ)AP1 + G(γ)BB 0 G(γ) = 0. (11)
+ S(γ)R1 (A − BB 0 P1−1 )S(γ) + S(γ)C 0 CS(γ) = 0. (14)
Using the following properties: S(γ)C 0 = C 0 , S(γ)A0 = 1 0 1 A S(γ), AS(γ) = S(γ)A, Eq. (14) takes the form: γ γ ¸ µ · ¶ 1 0 1 −1 0 γ S(γ)R1 S(γ) + A S(γ) − S(γ)P1 BB R1 S(γ) γ γ ¶ µ 1 + S(γ)R1 S(γ)A − BB 0 P1−1 S(γ) + C 0 C = 0. γ (15) 1 B, B 0 G−1 (γ) = B 0 and γ n−1 G−1 (γ) = γ n−1 S(γ) then, we can write that ¶ µ 1 BB 0 P1−1 S(γ) = S(γ)BB 0 γG−1 (γ)P1−1 G−1 (γ) γ 1 S(γ)BB 0 P −1 (γ). γ (16) Using the fact that S(γ)B =
Based on the last relation, Eq. (15) becomes ¸ µ ¶0 · ¸ · 1 1 0 −1 S(γ)R1 S(γ) γ S(γ)R1 S(γ) + A − BB P (γ) γ γ · ¸µ ¶ 1 + S(γ)R1 S(γ) A − BB 0 P −1 (γ) + C 0 C = 0. γ (17) By comparison of the last equation with the second equation in (5), we conclude immediately that R(γ) = 1 S(γ)R1 S(γ). This ends the proof of item i) of the Lemma. γ ii) By doing the differentiation of P (γ) in the following manner · ¸ · ¸ 1 d 1 P (γ) = G(γ) P1 G(γ) dγ γ γ · ¸ · ¸ 1 d 1 +γ G(γ) P1 G(γ) (18) dγ γ γ · ¸ ¸ · d 1 1 G(γ) + γ G(γ) P1 γ dγ γ
6133
ThCIn3.11 and taking into account that · ¸ d 1 1 G(γ) = − 2 Γg G(γ), Γg = diag(n, n − 1, · · · , 1). dγ γ γ (19) By substitution of (19) into (18), we have · ¸"µ ¶ ¶ # µ 1 1 1 d P (γ) = − G(γ) Γg − I P1 + Γg − I P1 dγ γ 2 2 ¸ · 1 G(γ) . × γ (20) µ ¶ ¶ µ 1 1 Since the matrix Γg − I P1 + Γg − I P1 > 0, then 2 2 d P (γ) < 0, ∀γ > 0. dγ · ¸ · ¸ 1 1 Actually, R(γ) = γ S(γ) R1 S(γ) , and γ γ · ¸ µ ¶ 1 d 1 S(γ) = − 2 Γs S(γ) where Γs , 1, 2, · · · , n . dγ γ γ Then, one can easily show that · ¸" µ ¶ ¶ # µ d 1 1 1 R(γ) = − S(γ) Γ s − I R1 + Γ s − I R1 dγ γ 2 2 · ¸ 1 × S(γ) , γ (21) µ ¶ 1 which is negative definite due to the fact that Γs − I R1 + 2 ¶ µ 1 Γs − I R1 > 0. 2 iii) Since ∀γ > 0, the derivative matrices are given d d −1 d −1 P (γ) = −P −1 (γ) P (γ)P −1 (γ), R (γ) = by dγ dγ dγ d −R−1 (γ) R(γ)R−1 (γ) and based on the result of the dγ last item ii), we conclude that the inverse of the derivative matrices are positive definite. This ends the proof of Lemma 1. The design of the time-varying differentiator is summarized in the following statement. Theorem 1: Let y be a continuous function having n continuous well-defined derivatives noted: y, ˙ y¨, · · · , y (n) . Let yˆ = arctan(y) and let φ1 (s1 ), φ2 (s1 , s2 ), · · · , φn (s1 , s2 , · · · , sn ) be n scalar functionals defined as ¡ ¢ ¡ ¢ ¡ ¢ y = φ1 yˆ , y˙ = φ2 y, yˆ˙ , y¨ = φ3 y, yˆ˙ , yˆ¨ , · · · , (22) ¡ ¢ y (n) = φn y, yˆ˙ , y¨ˆ, · · · , yˆ(n) .
then, lim y (i) − φi (y, ξ2 , · · · , ξi ) = 0, 2 ≤ i ≤ n.
(24) Proof: To prove this result it is sufficient to prove that t→∞
dk t→∞ dtk lim
ξ˙n = −Cn1 γ n (ξ1 − arctan(y)) − γ˙ =
½
α, 0,
Cnn−i γ n−i ξi+1 ,
i=1
if, |ξ1 − arctan(y)| 6= 0, α > 1, γ(0) > 0, if, |ξ1 − arctan(y)| = 0, (23)
¶ arctan(y) = ξk+1 , 0 ≤ k ≤ n.
(25)
To obtain the functionals (φi )2≤i≤n that link the derivatives of yˆ to the derivatives of y, one can easily generate by differentiation of yˆ and substitution the following first functions: yˆ = arctan(y), y˙ = (1 + y 2 )yˆ˙ = φ2 (y, yˆ˙ ),
(26)
ˆ = φ3 (y, yˆ˙ , y¨ ˆ). y¨ = 2y(1 + y )yˆ˙ 2 + (1 + y 2 )y¨ 2
The model-free signal yˆ can be seen as the output of the following system: z˙ = A z + B yˆ(n) ,
(27)
yˆ = C z,
where z ∈ IRn . In matrix form, the time-varying differentiator can be written µ ¶ ξ˙ = A ξ − BB 0 P −1 (γ) ξ − C 0 arctan(y) , 0 = −γP (γ) − P (γ)A0 − AP (γ) + BB 0 , ½ α, if, |ξ1 − arctan(y)| 6= 0, α > 1, γ(0) > 0, γ˙ = 0, if, |ξ1 − arctan(y)| = 0, (28)
By writing the dynamics of the differentiator as ξ˙ = A ξ − BB 0 P −1 (γ)(ξ − z) + BB 0 P −1 (γ)(C 0 yˆ − z). (29) Let e1 , e2 , · · · , en be the canonical base column vectors of dimension n. Then, the difference C 0 yˆ − z can be rewritten as C 0 yˆ − z = −
n−1 X
ei+1 yˆ(i) .
(30)
i=1
Define x ˜ = ξ − z, then based on (27), (29), (30), we have
Let ξ1 , ξ2 , · · · , ξn be the states of the following time-varying system: ξ˙1 = ξ2 , · · · , ξ˙i = ξi+1 , · · · , n−1 X
µ
x ˜˙ = (A − BB 0 P −1 (γ))˜ x − BB 0 P −1 (γ)
n−1 X
ei+1 yˆ(i)
i=1
(31)
− en yˆ(n) .
Let us associate the Lyapunov function V (˜ x) = x ˜0 R(γ)˜ x where R(γ) is defined as in Eqs. (5). Then,
6134
· ¸ d 0 0 0 0 ˙ ˙ ˙ R(γ) x ˜ V (˜ x) = x ˜ R(γ)˜ x+x ˜ R(γ)x ˜ +x ˜ γ˙ dγ
(32)
ThCIn3.11 ¸ d R(γ) x ˜ 1, we can always find two constants c1 and c2 such that ° n−1 12 ° ° X R1 ° c1 0 −1 (i) ° ° √ BB P1 S(γ) ei+1 yˆ ° ≤ 3 , ° γ γ2 (38) ° ° i=1 ° ° 1 °R 2 S(γ) en yˆ(n) ° ≤ c2 . ° γn ° 1 This implies that
V˙ (˜ x) ≤ −γV (˜ x) +
Using (5), we have V˙ (˜ x) ≤ x ˜0 (−γR(γ) − BB 0 )˜ x − 2x ˜0 R(γ)BB 0 P −1 (γ)
n−1 X i=1
ei+1 yˆ(i) − 2˜ x0 R(γ)en yˆ(n) . (34)
Since the Cholesky decomposition of the matrix R(γ) = 1 S(γ) 1 ˜ R ˜ 0 (γ) where R(γ) ˜ R(γ) = √ R12 where R12 is the square γ root of the matrix R1 . Then, using the result of Lemma 1, the derivative of the Lyapunov function is bounded as follows
n−1 X
x ˜0 S(γ)R1 S(γ)BB 0 G−1 (γ)P1−1 G−1 (γ)ei+1 yˆ(i)
i=1
2 0 ˜ S(γ)R1 S(γ) en yˆ(n) − x γ ° ° ° 0 S(γ) 1 ° 2° ° ˜ √ R1 ° ≤ −γV (˜ x) + 2°x γ ° n−1 ° X 1 S(γ) ° ° −1 −1 0 −1 (i) ° 2 ° ×° R1 √ BB G (γ)P1 G (γ) ei+1 yˆ ° γ i=1 ° °° ° 1 °° 1 ° ° 2 0 S(γ) 2 °° 2 (n) ° x ˜ R S(γ) e y ˆ +√ ° R √ n 1 °° 1 ° ° γ γ
W (˜ x) ≤ W (0) e
α 2
(35)
1 B, G−1 (γ) = γ n−1 S(γ) γ n−1
° n−1 ° ° X 1 S(γ) ° −1 −1 (i) ° 0 −1 2 ° R1 √ BB G (γ)P1 G (γ) ei+1 yˆ ° ° γ i=1 ° n−1 X
° =° °
i=1
1 ° ° R12 √ BB 0 P1−1 S(γ) ei+1 yˆ(i) ° ° γ
2c2 1
γ n+ 2
¶ p
V (˜ x)
(39)
Since for ξ1 − yˆ 6= 0, and t ≥ 0 we have γ(t) > α t then, for ξ1 − yˆ 6= 0, the derivative of the Lyapunov function can be bounded as follows µ ¶ 2 c1 2c2 p V˙ (˜ x) ≤ −α t V (˜ x) + + V (˜ x) (40) 3 1 t2 tn+ 2 p Let W (˜ x) = V (˜ x). This gives ¶ µ c2 c1 α ˙ (˜ . (41) x) + + W x) ≤ − t W (˜ 1 3 2 t2 tn+ 2
2 −α 4t
p x)× V˙ (˜ x) ≤ −γV (˜ x) + 2 V (˜ ° n−1 ° ° ° X 1 S(γ) −1 −1 0 −1 (i) ° 2 ° R1 √ BB G (γ)P1 G (γ) ei+1 yˆ ° ×° (36) γ i=1 ° ° ° ° 1 2 p +√ V (˜ x)° R12 S(γ) en yˆ(n) ° ° ° γ
and B 0 G−1 (γ) = B 0 then
3
γ2
+
Consequently,
This gives
Using the relations: S(γ)B =
2 c1
This implies that ¸ Z t· α 2 α 2 α ˙ (˜ W x(t)) e 4 t + W (˜ x(t)) e 4 t dt ≤ 2 0 ¶ Z tµ α 2 c1 c2 e 4 t dt. + 3 n+ 12 2 t t 0 (42)
V˙ (˜ x) ≤ −γV (˜ x) −2
µ
Since lim e− 4 t
2 −α 4t
+e
Z tµ 0
Z tµ
c1 3 2
+
c2 1 n+ t 2
¶
c1 t
3 2
+
c2 1 tn+ 2
¶
α 2
e 4 t dt. (43)
α 2
e 4 t dt = 0 then, we
t 0 conclude that whatever ξ1 − yˆ 6= 0, W (˜ x) becomes after a transient short period strictly decreasing until the condition ξ1 − yˆ = 0 is verified. From the dynamics of the differentiator (1), the condition ξ1 − yˆ = 0 implies that ξi = yˆ(i−1) , 2 ≤ i ≤ n. This ends the proof of the Theorem. t→∞
B. The observer Based on the previous results, we summarize the design of the nonlinear observer in the following statement. Theorem ¡ ¢ 2: Consider ¡ system ¢ (1) under Assumptions 1-2. Let ϕi (·) 1≤i≤n and φi (·) 1≤i≤n−1 be smooth functionals such that all the system states are given by: xi = ϕi (y, y, ˙ · · · , y (i−1) , u, u, ˙ · · · , u(i−2) ), 2 ≤ i ≤ n, (44)
(37)
and ½
6135
yˆ = arctan(y), ˆ, · · · , yˆ(i−1) ), 1 ≤ i ≤ n. y (i−1) = φi (y, yˆ˙ , y¨
(45)
ThCIn3.11 Define the nonlinear observer as µ ¶ 0 −1 0 ˙ ξ = A ξ − BB P (γ) ξ − C arctan(y) , 0 = −γP (γ) − P (γ)A0 − AP (γ) + BB 0 , ½ α, if, |ξ1 − arctan(y)| 6= 0, α > 1, γ(0) > 0, γ˙ = 0, if, |ξ1 − arctan(y)| = 0, x = y, ˆ 1 x ˆi = ϕi (y, φ2 (y, ξ2 ), φ3 (y, ξ2 , ξ3 ), · · · , ˙ · · · , u(i−2) ) · · · , φi (y, ξ2 , ξ3 , · · · , ξi ), u, u, (46) where A, B and C are defined as in (6). Then, ˆi ) = 0; 1 ≤ i ≤ n. (47) lim (xi − x t→∞ Proof: Based on the results of Lemma 1 and Theorem 1, the state vector ξ converges asymptotically to the successive higher derivatives of the bounded input yˆ = arctan(y), i.e., lim ξi − yˆ(i−1) = 0, 1 ≤ i ≤ n. Since the observer t→∞ states (ˆ xi )2≤i≤n given in (46) are algebraic expressions that involve the ξ-states then, the convergence of the time-varying differentiator implies the convergence of the estimated states to the true ones. For the particular case where n = 2, the observer is reduced to the LTV differentiator discussed in [1]. The proposed differentiation scheme is robust against measurement error since the output injection is bounded and present just in the last equation of the differentiator dynamics. IV. E XAMPLE Consider the nonlinear system x˙ 1 = x2 , x˙ 2 = x3 , x˙ 3 = −x33 − x31 x2 + u, y = x1 .
(48)
From the dynamical equations (48), we have x1 = y = ϕ1 (y), x2 = y˙ = ϕ2 (y), ˙ x3 = y¨ = ϕ3 (¨ y ). Using the following relations y = φ1 (y), y˙ = (1 + y 2 )yˆ˙ = φ2 (y, yˆ˙ ), y¨ = 2y(1 + y 2 )yˆ˙ 2 + (1 + y 2 )y¨ˆ = φ3 (y, yˆ˙ , y¨ˆ). Then, x1 = y = φ1 (y), x2 = φ2 (y, yˆ˙ ), x3 = φ3 (y, yˆ˙ , y¨ˆ). Based on the last relation, the adaptive algebraic observer is readily constructed as ξ˙1 = ξ2 , ξ˙2 = ξ3 , ¢ ¡ ξ˙3 = −γ 3 ξ1 − arctan(y) − 3γ 2 ξ2 − 3γξ3 , ( α if, | arctan(y) − ξ1 | 6= 0, γ(0) ≥ 1, α ≥ 1, γ˙ = 0 otherwise. ˆ2 = φ2 (y, ξ2 ), x ˆ3 = φ3 (y, ξ2 , ξ3 ). x ˆ1 = y, x (49) V. C ONCLUSION In this paper, a new nonlinear observer is proposed for uniformly observable systems given in lower triangular form. It is showed that the existence of the observer is not realted to conservative conditions as the restriction of the form of the nonlinearities, the boundedness of the system states or the Lipschitz condition that is generally imposed in high-gain observer design. A new robust differentiation scheme is given to reproduce both the higher derivatives of the system outputs and the unmeasured states that are related algebraically to the
system input and the output derivatives. The proposed nth order differentiation scheme generalizes the result given in [1] without concatenation of several differentiators which allows the reduction of the observer states by n. R EFERENCES [1] S. Ibrir, “On-line exact differentiation and notion of asymptotic algebraic observers,” IEEE Transactions on Automatic Control, vol. 48, no. 11, pp. 2055–2060, 2003. [2] ——, “Linear time-derivative trackers,” Automatica, vol. 40, no. 3, pp. 397–405, 2004. [3] ——, “New differentiators for control and observation applications,” in Proceedings of the American Control Conference, Arlington, VI, USA, 2001, pp. 2522–2527. [4] A. Glumineau, C. H. Moog, and F. Plestan, “New algebro-geometric conditions for the linearization by input-output injection,” IEEE Transactions on Automatic Control, vol. 41, no. 4, pp. 598–603, April 1996. [5] D. Bestle and M. Zeitz, “Canonical form observer design for nonlinear time variable systems,” International Journal of Control, vol. 38, no. 2, pp. 419–431, 1983. [6] A. J. Krener and W. Respondek, “Nonlinear observers with linearizable error dynamics,” SIAM J. Control and Optimization, vol. 23, no. 2, pp. 197–216, 1985. [7] A. J. Krener and A. Isidori, “Linearization by output injection and nonlinear observers,” Systems & Control Letters, vol. 3, no. 1, pp. 47–52, 1983. [8] N. Kazantzis and C. Kravaris, “Nonlinear observer design using Lyapunov’s auxiliary theorem,” Systems and Control Letters, vol. 34, no. 5, pp. 241–247, 1998. [9] J. J. E. Slotine, J. K. Hedrick, and E. A. Misawa, “On sliding observers for nonlinear systems,” Journal of Dynamic Systems, Measurement, and Control, vol. 109, pp. 245–252, 1987. [10] E. Yaz and A. Azemi, “Sliding mode observers for nonlinear models with unbounded noise and measurement uncertainties,” Dynamics and Control, vol. 3, no. 3, pp. 217–235, 1993. [11] S. Ibrir and S. Diop, “A numerical procedure for filtering and efficient high-order signal differentiation,” International Journal of Applied Mathematics and Computer Science, vol. 12, no. 2, pp. 201–208, 2004. [12] Y. H. Kim, F. L. Lewis, and C. T. Abdallah, “A dynamic recurrent neural-network-based adaptive observer for a class of nonlinear systems,” Automatica, vol. 33, no. 8, pp. 1539–1543, 1997. [13] M. Arcak and P. Kokotovi´c, “Nonlinear observers: a circle criterion design and robustness analysis,” Automatica, vol. 37, no. 12, pp. 1923– 1930, 2001. [14] X. Fan and M. Arcak, “Observer design for systems with multivariable monotone nonlinearities,” Systems & Control Letters, vol. 50, pp. 319–330, 2003. [15] H. K. Khalil, “High-gain observers in nonlinear feedback control,” in: H. Nijmeijer, T. I. Fossen (Eds.), New directions in nonlinear observer design, Springer, Berlin, pp. 249–268, 1999. [16] J. P. Gauthier, H. Hammouri, and S. Othman, “A simple observer for nonlinear systems: Application to bioreactors,” IEEE Transactions on Automatic Control, vol. 37, no. 6, pp. 875–880, June 1992. [17] A. Tornamb`e, “High-gain observers for nonlinear systems,” Internat. J. of Systems Science, vol. 23, pp. 1475–1489, 1992. [18] F. E. Thau, “Observing the state of nonlinear dynamic systems,” International Journal of Control, vol. 17 , pp. 471–479, 1973. [19] C. Aboky, G. Sallet, and L.-C. Vivalda, “Observers for Lipschitz nonlinear systems,” International Journal of Control, vol. 75, no. 3, pp. 204–212, 2002. [20] M. Arcak and P. Kokotovi´c, “Observer-based control of systems with slop-restricted nonlinearities,” IEEE Transactions on Automatic Control, vol. 46, no. 7, pp. 1146–1150, July 2001.
6136