We discuss the observer-based robust controller design problem for a class of nonlinear fractional-order uncertain systems with admissible time-variant uncertainty in the case of the fractional-order satisfying 0<α<1. Based on direct Lyapunov approach, a sufficient condition for the robust asymptotic stability of the observer-based nonlinear fractional-order uncertain systems is presented. Employing Finsler’s Lemma, the systematic robust stabilization design algorithm is then proposed in terms of linear matrix inequalities (LMIs). The efficiency and advantage of the proposed algorithm are finally illustrated by two numerical simulations.
National Natural Science Foundation of China61300120Natural Science Foundation of Hebei ProvinceA2015208051Hebei University of Science and Technology2015PT211. Introduction
With the help of fractional-order derivatives, many engineering plants and processes can be described more adequately and accurately; fractional-order systems (FOS) have attracted more and more attentions from the application point of view [1, 2], such as heat conduction electronic and abnormal diffusion. The main reason for successful applications of fractional calculus is that these new fractional-order models are more accurate than integer-order models; that is, there are more degrees of freedom in the fractional-order models. In recent years, considerable attention has been paid to fractional control systems whose processes and/or controllers are fractional-order. Since fractional-order derivatives are nonlocal and have weakly singular kernels, the stability analysis of fractional-order differential equations is more complex than that of integer-order differential equations. In this sense, the stability of FOS has been extensively studied, for example, the continuous time FOS [3–5] and discrete time FOS [6]. In terms of linear matrix inequalities (LMIs), the stability condition has been given for a continuous FOS with fractional-order 0<α<1 in [7] and 1≤α<2 in [8]. Moreover, the Mittag-Leffler stability of nonlinear FOS was derived in [9, 10]. In order to obtain the stability of nonlinear fractional-order time-varying systems, some authors [11, 12] have proposed the extension of Lyapunov stability theorem with fractional-order to prove the stability of FOS. However, using this technique is often a really hard task, because finding a Lyapunov candidate function is more complex in the case of fractional-order. Trigeassou and Maamri study the initial condition problem by the frequency-distribution state-space model in [13]. The finite-dimensional fractional-order state-space model with the zero initial conditions was equivalent to an infinite-dimensional integer-order state-space model and two specific types of Lyapunov candidate functions were proposed to investigate the stability problem of fractional differential equations (FDEs) in [14]. The stability conditions of singular FOS and fractional-order delay system are given in [15–19]. Recently, [20, 21] provides a good survey of the methods available to analyze the stability of fractional-order differential systems, the reader may refer to them and the references therein.
In many practical applications, due to technical or economic reasons, the states of considered system are not easily obtained and the output may be contaminated by the measurement noises [22, 23]. In this case, the state estimators and observer-based control are often necessary. The approximate observability and pseudo state estimation of FOS are discussed in [24]. Some results of observer design for FOS and integer-order systems are studied in [25–28]. In addition, an observer for which the estimation error diverges by a small perturbation in the observer gain is referred to as fragile or nonresilient. The observability of FOS has been addressed in several papers. In the linear case, it is the well-known Luenberger’s observer. Using matrix’s singular value decomposition (SVD) and linear matrix inequality (LMI) techniques, the observer-based robust control for linear fractional-order uncertain systems with fractional-order 1≤α<2 was investigated in [25]. A simple method to design a functional observer for linear FOS was presented in [29]. Output stabilisability and observer-based switched control design problems for systems that switch among a finite set of controllable and observable linear subsystems at any given switching frequency was studied in [30]. New simple LMIs are proposed to guarantee the stability of a class of linear fractional-order uncertain systems by means of a fractional-order deterministic observer in [31]. A number of contributions to the extension of the Luenberger’s observer for nonlinear systems have been proposed in the literature (see [32, 33], and references therein). The observer-based control is usually applied when we do not have access to all the states of the system. The notion of detectability has been extended to nonlinear systems in [34]. Based on the principle of separation, the nonlinear observer-based control is designed in [35]. Reference [36] concerns observer-based robust control problem for a class of fractional-order complex dynamical networks. In [37], by using the properties of Mittag-Leffler function and the Gronwall-Bellman inequality, two sufficient conditions on the global asymptotic stability for a class of nonlinear FOS with the fractional-orders 0<α<1 and 1<α<2 are derived, respectively. In the formulation of LMIs, the sufficient conditions for asymptotical stability of the state error dynamics are derived from the fractional-order direct Lyapunov theorem with fractional-order belonging to 0<α<1 in [38]. A design method of nonfragile observer-based robust control for nonlinear fractional-order uncertain system has been presented in [39]. An adaptive nonfragile observer for Lipschitz nonlinear systems was designed by LMI technique in [40]. Recently, a nonfragile fractional-order nonlinear observer design for nonlinear FOS was derived via LMI in [26], and its main advantage reflected in the selection of the Lyapunov candidate function. Based on the continuous frequency distributed equivalent model and indirect Lyapunov approach, an LMI approach to design a full-order observer for nonlinear FOS has been presented in [41]. Attempts are made to design a reduced-order observer for a class of nonlinear Lipschitz FOS in [42]. The robust stabilization problem for nonlinear fractional-order uncertain systems with admissible time-variant uncertainty in system matrix and bounded perturbation on the observer gain have been investigated in [43]. The sliding mode observer for state and fault estimation for nonlinear FOS is designed in [44]. Note that most of the above-mentioned results concern the stability and stabilization of linear and nonlinear FOS. The nonlinear nonfragile fractional-order observer-based stabilization problem for FOS is still open to our best knowledge.
Motivated by the above discussions, we propose sufficient condition for robust observer-based controller design of nonlinear fractional-order uncertain systems in this paper. A novel LMI design strategy is presented by using the direct Lyapunov approach; the systematic robust stabilization design algorithm is then proposed in terms of LMIs by employing Finsler’s Lemma. It is worth noting that the proposed LMI condition is solved without any additional restrictive conditions, unlike [25, 39, 43] as it bases on the matrix’s SVD. We also consider uncertainties in the system matrices which have not been addressed in the previous literature for input matrix B.
Throughout this paper, Rn denotes the n-dimensional Euclidean space, Rn×m is the set of all n×m real matrices, and I and 0 stand for identity matrix and zero matrix with appropriate dimensions, respectively. X>0(<0) indicates that the matrix X is positive (negative) definite, diaga1,a2,…,an denotes the block-diagonal matrix, and SymM denotes the expression M+MT. XT and X-1 represent the transpose and the inverse of matrix X, respectively, and the symbol ∗ is used to denote the transposed elements in the symmetric positions of a matrix.
The paper is organized as follows. In Section 2, the preliminary results and problem formulation are presented. The main results are derived in Section 3. Numerical simulation examples that demonstrate the effectiveness of the method are shown in Section 4. Finally, Section 5 concludes with a summary of the obtained results.
2. Preliminary Results and Problem Formulation
There are several definitions of fractional-order derivative in [1]. The Riemann-Liouville and Caputo fractional-order derivative are most widely used. In this paper, we adopt the Riemann-Liouville fractional-order derivative definition.
Definition 1 (see [1]).
The Riemann-Liouville type fractional-order derivative of order α>0 for a function f:R+→R is defined by (1)Dαft=1Γm-αdmdtm∫0tfst-sα+1-mds,where Γ(·) is the well-known Gamma function which is made up of Γ(q)=∫0∞tq-1e-tdt and m is an integer satisfying m-1<α≤m.
Remark 2.
Although the problem of observer-based robust control for the fractional-order systems is researched in some references [25, 43] and [26, 39] are based on the Caputo type and Riemann-Liouville type fractional-order derivative, respectively, but only [39] considers the initialization. In order to satisfy the consistency for physical behavior of the system, we adopt the Riemann-Liouville fractional-order derivative definition in this paper.
Remark 3.
Although Caputo type definition of fractional-order derivative is a modification of the Riemann-Liouville definition and has the advantage of dealing with initial value problems in a proper way, Caputo’s definition does not permit taking into account initial conditions in a coherent way. Even if the Riemann-Liouville derivative reflects more precisely the typical long memory behavior of FOS, this derivative definition has a major limitation that the initial conditions are in terms of fractional-order derivatives of the variable. In contrast, the definition given by Caputo type derivative needs the initial conditions which are specified in the usual way.
Lemma 4 (see [45]).
The FOS Dαy(t)=v(t) with 0<α<1, v(t)∈R, and y(t)∈R is a continuous linear frequency distributed system. Its frequency distributed state z(ω,t)∈R which is also called the true state of FOS satisfies(2)∂zω,t∂t=-ωzω,t+vt,and the output y(t) is the weighted integral(3)yt=∫0∞μαωzω,tdω,with the frequency weighting function(4)μαω=sinαπωαπ>0.
Remark 5.
Lemma 4 implies the infinite dimension of fractional-order state. This Lemma derives from zero initial condition, while the system response by definition of Riemann-Liouville or Caputo corresponds to the response of frequency distributed model with specific initial value [46]. With the help of equivalent frequency distributed model, the stability could be analyzed via Lyapunov technique where true state replaces pseudo state [47]. The definition of the initial conditions of fractional differential systems is an old problem which has not received satisfactory solutions. Neither Riemann-Liouville nor Caputo’s definitions for fractional differentiation can be used to take into account initial conditions in a convenient way from a physical point of view [48]. Owing to the frequency distributed model, and particularly with these true state variables, many applications can be considered, as observers, state-space controllers, and stability analysis by Lyapunov technique [47].
Remark 6.
Recently, some references [49, 50] have shown that fractional models are physically inconsistent models and such a model can be seen as a diffusion equation on an infinite-dimensional space. As a consequence, if a real system is represented by a fractional model, some properties (e.g., observability, controllability) of the model do not necessarily reflect the properties of the real system.
Lemma 7 (see [51]).
Given real matrices M and N with appropriate dimensions, MF(t)N+NTFT(t)MT<0 for all F(t) satisfying FT(t)F(t)≤I if and only if there exists a real scalar ε>0 such that εMMT+(1/ε)NTN<0.
Lemma 8 (Finsler’s Lemma, see [52, 53]).
Let ζ∈Rn, Q∈Rn×n, B∈Rs×n, and rank(B)<n. Then (5)ζTQζ<0,∀ζ≠0 such that Bζ=0,holds if and only if any of the following conditions hold:
B⊥TQB⊥<0, where B⊥ is such that BB⊥=0 and BBT+B⊥TB⊥>0;
∃μ∈R: Q-μBTB<0;
∃V∈Rn×s: Q+VB+BTVT<0.
Consider the nonlinear FOS described by the following form:(6)Dαxt=A+ΔAtxt+B+ΔBtut+Φxt,yt=Cxt,where Dα denotes the Riemann-Liouville type fractional-order derivative, 0<α<1 is the fractional commensurate order, x(t)∈Rn, u(t)∈Rq, and y(t)∈Rm are the pseudo state, input and output vector at time t, respectively; A∈Rn×n, B∈Rn×q, and C∈Rm×n are system, input, and output matrix, respectively. ΔA(t) and ΔB(t) are time-variant matrices denoting the norm-bounded parameter uncertainties and are assumed to be of the following form:(7)ΔAtΔBt=DAFAtEADBFBtEB,where MA,MB and NA,NB are known constant matrices with appropriate dimensions, and the uncertain matrices FA(t) and FB(t) satisfy (8)FAtFATt≤I,FBtFBTt≤I.
Moreover, Φ(·):Rn→Rn is a nonlinear function which is Lipschitz in x with Lipschitz constant γ:(9)Φx1-Φx2≤γx1-x2,for all x1(t),x2(t)∈Rn and(10)Φ0=0.
We regard t0=0 as the initial time. We suppose that the system was at stationary state at time l(-∞<l<0) and that the system was initialized from the time l in the past. As mentioned in [45], a FOS requires complicated initialization. For FOS (6), the following initialization function is used: (11)x0=limt→01Γ1-α∫ltt-τ-αxτdτ.
Without loss of generality, we also assume that FOS (6) is observable and controllable.
Assumption 9.
The output matrix C of system (6) is full row rank (rank(C)=m), and, therefore, there exists nonsingular matrix T such that(12)CT=I0.
Remark 10.
For any given C, the corresponding T is not unique in general. One solution for T as discussed in [54] is(13)T=CTCCT-1C⊥,where C⊥ is called an orthogonal basis for the null space of C satisfying CCT=0.
In this paper, the purpose is to study the asymptotical stabilization of nonlinear FOS (6) with a Luenberger-type fractional-order nonfragile observer(14)Dαx^t=A^x^t+But+Φx^t+L+ΔLtyt-y^t,y^t=Cx^t,with the pseudo state estimated feedback controller:(15)ut=Kx^t,where(16)ΔLt=DLFLtEL,in which DL and EL are known constant matrices, and FL(t) is unknown matrices with Lebesgue measurable elements satisfying (17)FLtFLTt≤I.x^(t)∈Rn is the estimate of system pseudo state x(t), K∈Rq×n is the systems control gain matrix, and A^∈Rn×n, L∈Rn×m are the systems observer gain matrices.
Let e(t)=x(t)-x^(t) denote the observation error of systems. Hence, under the controller (15), the closed-loop control FOS are obtained by(18)Dαx^t=A^+BKx^t+L+ΔLtCet+Φx^t,Dαet=A+ΔAt-A^+ΔBtKx^t+A+ΔAt-L+ΔLtCet+Φxt-Φx^t,which is equivalent to(19)DαXt=AclXt+ΨXt,where(20)Xt=x^tet,ΨXt=Φx^tΦxt-Φx^t,Acl=A^+BKL+ΔLtCA+ΔAt-A^+ΔBtKA+ΔAt-L+ΔLtC.Therefore, the design of observer-based controller problem can be converted into the robust asymptotical stability problem of nonlinear FOS (19).
Remark 11.
On the one hand, utilizing a simple modification and the same discussions in [24], we can get that the real state of nonlinear FOS (6) is not completely observable but approximately observable assuming that the integer-order subsystem state is observable. On the other hand, as pointed out in [24], in many applications, estimating the real state is not useful and only an estimation of the variable x(t) as state-space representation (6) is enough. Therefore, we make the fractional-order Luenberger like observer be expressed as (14).
Remark 12.
Different from the existing Luenberger-type observer (see, e.g., [26]), nonlinear fractional-order observer (14) contains two unknown system matrices A^ and L, which give a chance in order to better adjust the dynamical behaviors of observer-based FOS.
3. Main Results
In this section a new method for observer-based controller design for nonlinear FOS (6) is proposed based on a common quadratic Lyapunov function; we obtain the following results.
Theorem 13.
Given positive scalar design parameter λ, the observer-based closed-loop system (19) is robustly asymptotically stable if there exist symmetric positive definite matrices P1,P2∈Rn×n, full rank matrix Q11∈Rm×m, matrices Q21∈R(n-m)×m, Q22∈R(n-m)×(n-m), A∈Rn×n, K∈Rq×n, and L∈Rn×m, and two real scalars ε1>0, ε2>0 such that the following LMI condition holds:(21)Θ11Θ12P10P1EATKTEBT0λQ^∗Θ220P2P2EAT0P2CTELTP2-QTTT-λQ^∗∗-ε1γ2I00000∗∗∗-ε1γ2I0000∗∗∗∗-ε2I000∗∗∗∗∗-ε2I00∗∗∗∗∗∗-ε2I0∗∗∗∗∗∗0-λTQ+QTTT<0,where(22)Θ11=SymA+BK+ε1I+ε2DLDLT,Θ12=P1AT-AT+Q^-ε2DLDLT,Θ22=SymAP2-Q^+ε1I+ε2DADAT+DBDBT+DLDLT,(23)Q=Q110Q21Q22∈Rn×n,Q^=L0∈Rn×n,with matrix T satisfying (12). Moreover, the stabilizing control feedback and the observer gains in (14) and (15) are given by(24)A^=AP1-1,K=KP1-1,L=LQ11-1.
Proof.
It follows from Lemma 4 that the closed-loop system (19) can be written as(25)∂Zω,t∂t=-ωZω,t+AclXt+ΨXt,Xt=∫0∞μαωZω,tdω,where Z(ω,t)=Z1ω,t,Z2ω,t,…,Z2nω,tT.
We define the following monochromatic Lyapunov function as(26)Vt=∫0∞μαωZω,tTPZω,tdω,where P∈R2n×2n is a symmetric positive definite matrix.
Taking the derivative of (26), it then causes(27)dVtdt=∫0∞μαω-ωZω,t+AclXt+ΨXtTPZω,tdω+∫0∞μαωZω,tTP-ωZω,t+AclXt+ΨXtdω=-2∫0∞μαωωZω,tTPZω,tdω+XTtSymPAclXt+ΨXtTPXt+XTtPΨXt.
According to the Lyapunov theory, the integral-order system (25) is robustly stable if dV(t)/dt<0, that is, if(28)XTtSymPAclXt+ΨXtTPXt+XTtPΨXt<0.
Using Lemma 7 on the second term of inequality (28) for any real scalar ε1>0, it yields(29)dVtdt≤XTtSymPAclXt+ε1XTtPPXt+ε1-1ΨXtTΨXt.It implies from (9) and (10) that(30)ΨXtTΨXt=ΦTx^tΦxt-Φx^tTΦx^tΦxt-Φx^t=ΦTx^tΦx^t+Φxt-Φx^tTΦxt-Φx^t≤γ2XTtXt.
Substituting (30) into inequality (29), it yields(31)dVtdt≤XTtSymPAclXt+XTtε1PP+ε1-1γ2IXt.
Therefore, system (25) is robustly stable if(32)SymPAcl+ε1PP+ε1-1γ2I<0.
By setting P=diagP1,P2,P1∈Rn×n,P2∈Rn×n, and considering the first term in inequality (32), we get(33)SymPAcl=SymP1A^+BKP1L+ΔLtCP2A+ΔAt-A^+ΔBtKP2A+ΔAt-L+ΔLtC=SymP1A^+BKP1LCP2A-A^P2A-LC+Sym0P1ΔLtCP2ΔAt+P2ΔBtKP2ΔAt-P2ΔLtC.
By developing ΔA(t), ΔB(t), and ΔL(t), according to (7), (16), and applying Lemma 7 to inequality (33) for any real scalar ε2>0, we have(34)SymPAcl=SymP1A^+BKP1LCP2A-A^P2A-LC+Sym0P1DLFLtELCP2DAFAtEA+P2DBFBtEBKP2DAFAtEA-P2DLFLtELC=SymP1A^+BKP1LCP2A-A^P2A-LC+Sym00P1DLP2DAP2DB-P2DLFAtFBtFLtEAEAEBK00ELC≤SymP1A^+BKP1LCP2A-A^P2A-LC+ε200P1DLP2DAP2DB-P2DL00P1DLP2DAP2DB-P2DLT+ε2-1EAEAEBK00ELCTEAEAEBK00ELC. Thus, if the following condition holds:(35)SymP1A^+BKP1LCP2A-A^P2A-LC+ε200P1DLP2DAP2DB-P2DL00P1DLP2DAP2DB-P2DLT+ε2-1EAEAEBK00ELCTEAEAEBK00ELC+ε1P1P2P1P2+ε1-1γ2I<0,then (32) will be satisfied.
Before and after multiplying both sides of (35) by the matrix diagP1-1,P2-1 and transpose, respectively, putting P1=P1-1, P2=P2-1, we obtain(36)SymA^+BKP1LCP2A-A^P1A-LCP2+ε200DLDADB-DL00DLDADB-DLT+ε2-1EAP1EAP2EBKP100ELCP2TEAP1EAP2EBKP100ELCP2+ε1I+ε1-1γ2P1P2P1P2=SymA^+BKP1LCP2A-A^P1A-LCP2+ε2DLDLT-DLDLT-DLDLTDADAT+DBDBT+DLDLT+ε2-1EAP1EAP2EBKP100ELCP2TEAP1EAP2EBKP100ELCP2+ε1I+ε1-1γ2P1P2P1P2<0. Using Schur complement two times on (36) yields(37)Ω11Ω12P10P1EATP1KTEBT0∗Ω220P2P2EAT0P2CTELT∗∗-ε1γ2I0000∗∗∗-ε1γ2I000∗∗∗∗-ε2I00∗∗∗∗∗-ε2I0∗∗∗∗∗∗-ε2I<0,where(38)Ω11=SymA^+BKP1+ε1I+ε2DLDLT,Ω12=P1A-A^T+LCP2-ε2DLDLT,Ω22=SymA-LCP2+ε1I+ε2DADAT+DBDBT+DLDLT.
The following inequality is equivalent to (37):(39)z1tz2tz3tz4tz5tz6tz7tTΩ11Ω12P10P1EATP1KTEBT0∗Ω220P2P2EAT0P2CTELT∗∗-ε1γ2I0000∗∗∗-ε1γ2I000∗∗∗∗-ε2I00∗∗∗∗∗-ε2I0∗∗∗∗∗∗-ε2Iz1tz2tz3tz4tz5tz6tz7t<0,where zi(t)(i=1,2,…,7) are any nonzero vectors. Now define the following new auxiliary variables: (40)ξt=CTLTz1t-z2t.Thus, inequality (39) can be rewritten as (41)z1tz2tz3tz4tz5tz6tz7tξtTΠ11Π12P10P1EATP1KTEBT00∗Π220P2P2EAT0P2CTELTP2∗∗-ε1γ2I00000∗∗∗-ε1γ2I0000∗∗∗∗-ε2I000∗∗∗∗∗-ε2I00∗∗∗∗∗∗-ε2I0∗∗∗∗∗∗00z1tz2tz3tz4tz5tz6tz7tξt<0,subject to(42)CTLT-CTLT00000-Iz1tz2tz3tz4tz5tz6tz7tξt=0,where(43)Π11=Ω11,Π12=P1A-A^T-ε2DLDLT,Π22=SymAP2+ε1I+ε2DADAT+DBDBT+DLDLT.Using Lemma 8, equality (42) holds if there exist matrix Q∈Rn×n and positive scalar λ such that(44)Π11Π12P10P1EATP1KTEBT00∗Π220P2P2EAT0P2CTELTP2∗∗-ε1γ2I00000∗∗∗-ε1γ2I0000∗∗∗∗-ε2I000∗∗∗∗∗-ε2I00∗∗∗∗∗∗-ε2I0∗∗∗∗∗∗00+Sym0QTTT00000λQTTTCTLT-CTLT00000-I<0,where T satisfy (12). Using condition (12) in inequality (44) yields(45)LCTQ=LI0Q=L0Q.Partitioning matrices Q as (23), one can write (45) as follows: (46)LCTQ=LQ110.Defining L=LQ11, Q^=L0, and A=A^P1, K=KP1, inequality (44) is converted to LMI (21). This completes the proof.
In particular, simply setting A^=A in observer (14) for nonlinear FOS (6), we have the following classical observer-based controller:(47)Dαx^t=Ax^t+But+Φx^t+L+ΔLtyt-y^t,y^t=Cx^t,ut=Kx^t.Moreover, the stabilizing controller gain matrices K,L can be solved by the following Corollary.
Corollary 14.
Given positive scalar design parameter λ, nonlinear FOS (6) under the observer-based controller (47) is robustly asymptotically stable if there exist symmetric positive definite matrices P1,P2∈Rn×n, full rank matrix Q11∈Rm×m, matrices Q21∈R(n-m)×m, Q22∈R(n-m)×(n-m), K∈Rq×n, L∈Rn×m, and two real scalars ε1>0, ε2>0 such that the following LMI condition holds: (48)Θ~11Θ~12P10P1EATKTEBT0λQ^∗Θ~220P2P2EAT0P2CTELTP2-QTTT-λQ^∗∗-ε1γ2I00000∗∗∗-ε1γ2I0000∗∗∗∗-ε2I000∗∗∗∗∗-ε2I00∗∗∗∗∗∗-ε2I0∗∗∗∗∗∗0-λTQ+QTTT<0,where(49)Θ~11=SymAP1+BK+ε1I+ε2DLDLT,Θ~12=Q^-ε2DLDLT,Θ~22=SymAP2-Q^+ε1I+ε2DADAT+DBDBT+DLDLT,Q=Q110Q21Q22∈Rn×n,Q^=L0∈Rn×n,with matrix T satisfying (12). Moreover, the stabilizing control feedback and the observer gains in (47) are given by (50)K=KP1-1,L=LQ11-1.
Remark 15.
If m=n, then the expression of Q and Q^ can be simplified as Q=Q11∈Rn×n, Q^=L∈Rn×n in Theorem 13 and Corollary 14.
Remark 16.
Currently, though the conditions of asymptotic stability for fractional-order system with constant time-delays have been established from the view of eigenvalues, the study of fractional-order system with time-varying delays is very difficult due to the complexity of fractional-order derivative, so, compared with the integer-order system [55, 56], it is impossible to extend the results to the FOS with time-delays until now.
4. Simulation Examples
In this section, to show the effectiveness of the proposed scheme, two numerical examples are presented.
Example 1.
Based on the integral-order control model of highly simplified engine idle speed [39, 57], we consider the nonlinear FOS with fractional-order α=0.80 represented by the following form:(51)Dαxt=A+ΔAtxt+B+ΔBtut+Φxt,yt=Cxt,where(52)A=6.02250-0.4601-4.4420,B=021100,C=10,Φxt=38.9x22t0,DA=0.50.50.50.5,EA=-0.355900.3140-0.4038,FAt=sin0.2πt00sin0.2πt,DB=02.965610,EB=00.22.50,FBt=0sin0.2πtsin0.2πt0.Now, under the nonfragile observer-based controller (14) and (15), we consider the asymptotical stabilization of nonlinear FOS (51) with (53)DL=2002,EL=11,FLt=0sin0.1πtcos0.1πt0.
Let γ=2, λ=0.01; based on Theorem 13, LMI condition (21) can be solved by Matlab’s LMI toolbox; the solution of LMI (21) is presented as follows: (54)P1=0.77500.02930.02931.3870,P2=1.04550.01000.01003.4553,Q11=0.8517,A=22.36900.6336-0.5263-15.5467,K=-0.00170.0369-19.27640.0013,L=29.07890.5615,ε1=8.8803,ε2=2.4249.Thus, the feedback gain K and the observer gains A^,L in (14) and (15) are given by (55)A^=AP1-1=28.8680-0.1533-0.2554-11.2031,K=KP1-1=-0.00320.0266-24.89190.5270,L=LQ11-1=34.14370.6593.
Finally, by a similar procedure in reference [39], we use a recursive poles/zeros filter of order four to approximate the fractional operator 1/s0.8, and we can obtain the following initial conditions: x0=(0.38,0.06)T, e0=(0,0)T; the time response of state, state estimate, and observation errors for system (51) based on the nonfragile observer (14) with state estimated feedback control law (15) are shown in Figures 1, 2, and 3, respectively. From these three figures, it is clear that the closed-loop system is asymptotically stable and the observation errors also tend to zeros.
The state of fractional-order system (51).
The state estimate of fractional-order system (51).
The observation errors of fractional-order system (51).
Example 2.
We apply them in observer design a fractional-order chaotic Lorenz system with fractional-order α=0.995. The fractional-order Lorenz system [38] can be expressed as(56)Dαxt=Axt+Φxt,yt=Cxt,where (57)A=-1010028-1000-83,Φxt=0-x1tx3tx1tx2t,C=100,and x=(x1,x2,x3)T. The fractional-order Lorenz system (56) has a chaotic attractor as depicted in Figure 4.
Obviously, it is easy to verify that (58)Φxt=x1x32+x1x22≤x1x12+x22+x32≤γx,which implies that Φ(x(t)) satisfies Lipschitz-conditions (9). For simplicity, select B=273T and add the uncertainties as follows: (59)DA=-0.50.50.10.1-0.50.20.20.2-0.1,EA=0.30.10.10.30.40.10.10.20.1,DB=00.200.20.100.20.50.1,EB=0.20.50.1,FAt=sin0.1πt00cos0.2πt000cos0.2πt,FBt=sin0.1πt00cos0.2πt000cos0.2πt.
Now, under the nonfragile observer-based controller (14) and (15), we consider the asymptotical stabilization problem of nonlinear FOS (56) with (60)DL=0.20.10.20.20.50.1,EL=0.10.1,FLt=sin0.1πt0cos0.2πt.
Let γ=2, λ=0.01; based on Theorem 13, LMI condition (21) can be solved by Matlab’s LMI toolbox; the solution of LMI (21) is presented as follows:(61)P1=2.05891.03821.68921.03827.65628.46501.68928.465024.8638,P2=4.7320-1.8797-0.1000-1.87973.63350.2624-0.10000.262429.5761,Q11=3.8079,A=1.6444206.020583.053447.921127.159234.9467-2.5506-23.2978-76.6106,L=4.5843169.431113.1177,K=-32.3753-14.83951.4081,ε1=75.0263,ε2=29.2692.Thus, the feedback gain K and the observer gains A^,L in (14) and (15) are given by (62)A^=AP1-1=-11.183338.3148-8.944323.20230.9460-0.49291.25540.4615-3.3236,L=LQ11-1=1.203944.49503.4449,K=KP1-1=-16.3145-1.62611.7187.
Finally, by a similar procedure to that in reference [39], we use a recursive poles/zeros filter of order four to approximate the fractional operator 1/s0.995, and we can obtain the following initial conditions: x0=(0.022,0.024,0.012)T, e0=(0,0,0)T; the time response of state, state estimate, and observation errors for system (56) based on the nonfragile observer (14) with state estimated feedback control law (15) are shown in Figures 5, 6, and 7, respectively. From these three figures, it is clear that the closed-loop system is asymptotically stable and the observation errors also tend to zeros.
Chaotic behaviors of fractional-order chaotic Lorenz system (56).
The state of fractional-order chaotic Lorenz system (56).
The state estimate of fractional-order chaotic Lorenz system (56).
The observation errors of fractional-order chaotic Lorenz system (56).
Remark 17.
For the problem of observer-based controller design, linearizing the matrix inequality is a very difficult task due to the appearance of nonlinear term. In general, by introducing a new matrix satisfying the additional matrix equation condition, the matrix inequality with nonlinear term can be transformed into the form of LMI based on the matrix’s SVD. However, the matrix’s SVD method is essentially conservative. In order to overcome this problem, we propose a new pattern to overcome the barrier of nonlinear term without matrix equation constraint.
5. Conclusion
In this work, an observer-based robust controller design method for nonlinear fractional-order uncertain systems was proposed. By employing Finsler’s Lemma, the sufficient conditions for stability of closed-loop systems are derived, and therefore the gain matrices can be derived by the solvability of relevant LMIs. The resulting LMIs must be solved to obtain the feedback controller matrix as well as the observer gain matrix. The effectiveness of the design method was shown by two simulation examples.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
Acknowledgments
This work is partially supported by the National Natural Science Foundation of China (61300120), the Natural Science Foundation of Hebei Province (A2015208051), and the Five-Platform Foundation of Hebei University of Science and Technology (2015PT21).
PodlubnyI.1999198San Diego, Calif, USAAcademic PressMathematics in Science and EngineeringMR1658022Zbl0924.34008MonjeC. A.ChenY.VinagreB. M.XueD.FeliuV.2010London, UKSpringerAdvances in Industrial Control10.1007/978-1-84996-335-0MR3012798Zbl1211.93002LiaoZ.PengC.LiW.WangY.Robust stability analysis for a class of fractional order systems with uncertain parameters201134861101111310.1016/j.jfranklin.2011.04.012MR28036482-s2.0-79957607884TanN.Faruk ÖzgüvenÖ.Mine ÖzyetkinM.Robust stability analysis of fractional order interval polynomials200948216617210.1016/j.isatra.2009.01.0022-s2.0-61549083723AhnH.-S.ChenY.Necessary and sufficient stability condition of fractional-order interval linear systems200844112985298810.1016/j.automatica.2008.07.003MR2527230DzielińskiA.SierociukD.Stability of discrete fractional order state-space systems2008149-101543155610.1177/1077546307087431MR2462965LuJ.-G.ChenY.-Q.Robust Stability and Stabilization of Fractional-Order Interval Systems with the Fractional Order α: The 0 ≪ α ≪ 1 Case201055115215810.1109/tac.2009.2033738MR2599347ChilaliM.GahinetP.ApkarianP.Robust pole placement in LMI regions199944122257227010.1109/9.811208MR1728961LiY.ChenY.PodlubnyI.Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag-Leffler stability2010595181018212-s2.0-7644909201110.1016/j.camwa.2009.08.019Zbl1189.34015YuJ.HuH.ZhouS.LinX.Generalized Mittag-Leffler stability of multi-variables fractional order nonlinear systems20134961798180310.1016/j.automatica.2013.02.041MR3049230Aguila-CamachoN.Duarte-MermoudM. A.GallegosJ. A.Lyapunov functions for fractional order systems20141992951295710.1016/j.cnsns.2014.01.022MR31828692-s2.0-84897050571ChenD.ZhangR.LiuX.MaX.Fractional order Lyapunov stability theorem and its applications in synchronization of complex dynamical networks201419124105412110.1016/j.cnsns.2014.05.005MR32150402-s2.0-84901916050TrigeassouJ. C.MaamriN.Initial conditions and initialization of linear fractional differential equations20119134274362-s2.0-7804934291710.1016/j.sigpro.2010.03.010Zbl1203.94058TrigeassouJ. C.MaamriN.SabatierJ.OustaloupA.A Lyapunov approach to the stability of fractional differential equations20119134374452-s2.0-7804935084510.1016/j.sigpro.2010.04.024Zbl1203.94059N'DoyeI.DarouachM.ZasadzinskiM.RadhyN.-E.Robust stabilization of uncertain descriptor fractional-order systems20134961907191310.1016/j.automatica.2013.02.066MR3049245YuY.JiaoZ.SunC.-Y.Sufficient and necessary condition of admissibility for fractional-order singular system201339122160216410.3724/SP.J.1004.2013.02160MR32048872-s2.0-84891647804JiY.QiuJ.Stabilization of fractional-order singular uncertain systems20155653642-s2.0-8492927193110.1016/j.isatra.2014.11.016BonnetC.PartingtonJ. R.Analysis of fractional delay systems of retarded and neutral type20023881133113810.1016/S0005-1098(01)00306-5MR2133473ZhangX.Some results of linear fractional order time-delay system2008197140741110.1016/j.amc.2007.07.069MR2396323Zbl1138.343282-s2.0-38949212976LiC. P.ZhangF. R.A survey on the stability of fractional differential equations2011193127472-s2.0-7995370136210.1140/epjst/e2011-01379-1RiveroM.RogosinS. V.Tenreiro MachadoJ. A.TrujilloJ. J.Stability of fractional order systems201320131435621510.1155/2013/3562152-s2.0-84878637415ZhangX.-M.HanQ.-L.Event-based H∞ filtering for sampled-data systems201551556910.1016/j.automatica.2014.10.092MR3284753ZhangX.-M.HanQ.-L.Network-based H∞ filtering using a logic jumping-like trigger20134951428143510.1016/j.automatica.2013.01.060MR3044024SabatierJ.FargesC.MerveillautM.FeneteauL.On observability and pseudo state estimation of fractional order systems201218326027110.3166/ejc.18.260-271MR2984705Zbl1264.930302-s2.0-8486820909110.3166/EJC.18.260-271LanY.-H.HuangH.-X.ZhouY.Observer-based robust control of a (1 ≤ α < 2) fractional-order uncertain systems: a linear matrix inequality approach20126222923410.1049/iet-cta.2010.0484MR2932077BoroujeniE. A.MomeniH. R.Non-fragile nonlinear fractional order observer design for a class of nonlinear fractional order systems20129210236523702-s2.0-8486071515810.1016/j.sigpro.2012.02.009HuangJ.HanZ.Adaptive non-fragile observer design for the uncertain Lur'e differential inclusion system2013371-2728110.1016/j.apm.2012.01.001MR2994167AsemaniM. H.MajdV. J.A robust H∞ observer-based controller design for uncertain T-S fuzzy systems with unknown premise variables via LMI2013212214010.1016/j.fss.2012.07.008MR2996149N'DoyeI.DarouachM.VoosH.ZasadzinskiM.Design of unknown input fractional-order observers for fractional-order systems2013233491500MR31360492-s2.0-8489374353110.2478/amcs-2013-0037XieD.XuN.ChenX.Stabilisability and observer-based switched control design for switched linear systems2008231921992-s2.0-4054912600510.1049/iet-cta:20060502IbrirS.BettayebM.New sufficient conditions for observer-based control of fractional-order uncertain systems20155921622310.1016/j.automatica.2015.06.002MR3371601TsiniasJ.Observer design for nonlinear systems19891321351422-s2.0-002471881110.1016/0167-6911(89)90030-3Zbl0684.93006RajamaniR.Observers for Lipschitz nonlinear systems199843339740110.1109/9.661604MR1614812Zbl0905.930092-s2.0-0032025028SontagE. D.WangY.Output-to-state stability and detectability of nonlinear systems19972952792902-s2.0-003107506210.1016/S0167-6911(97)90013-XHespanhaJ. P.MorseA. S.Certainty equivalence implies detectability19993611132-s2.0-000188738210.1016/S0167-6911(98)00057-7LanY.-H.GuH.-B.ChenC.-X.ZhouY.LuoY.-P.An indirect Lyapunov approach to the observer-based robust control for fractional-order complex dynamic networks20141362352422-s2.0-8489794369110.1016/j.neucom.2014.01.009LiC.WangJ.LuJ.GeY.Observer-based stabilisation of a class of fractional order non-linear systems for 0 < α < 2 case2014813123812462-s2.0-8490671882210.1049/iet-cta.2013.1082N'DoyeI.VoosH.DarouachM.Observer-based approach for fractional-order chaotic synchronization and secure communication2013334424502-s2.0-8488453414210.1109/JETCAS.2013.2265792LanY.-H.ZhouY.Non-fragile observer-based robust control for a class of fractional-order nonlinear systems201362121143115010.1016/j.sysconle.2013.09.007MR3130492Zbl1282.930952-s2.0-84886575045PourgholiM.MajdV. J.A nonlinear adaptive resilient observer design for a class of Lipschitz systems using LMI20113061401141510.1007/s00034-011-9320-yMR2846585LanY.-H.LiW.-J.ZhouY.LuoY.-P.Non-fragile observer design for fractional-order one-sided Lipschitz nonlinear systems201310429630210.1007/s11633-013-0724-y2-s2.0-84883799306PourgholiM.BoroujeniE. A.An iterative LMI-based reduced-order observer design for fractional-order chaos synchronization20163561855187010.1007/s00034-016-0253-3MR3480535LiC.WangJ.LuJ.Observer-based robust stabilisation of a class of non-linear fractional-order uncertain systems: An linear matrix inequalitie approach2012618275727642-s2.0-8487840391810.1049/iet-cta.2012.0312DjeghaliN.DjennouneS.BettayebM.GhanesM.BarbotJ.-P.Observation and sliding mode observer for nonlinear fractional-order system with unknown input2016631102-s2.0-8495946482710.1016/j.isatra.2016.02.015TrigeassouJ. C.MaamriN.SabatierJ.OustaloupA.State variables and transients of fractional order differential systems201264103117314010.1016/j.camwa.2012.03.099MR2989341Zbl1268.930402-s2.0-84868207230TrigeassouJ. C.MaamriN.SabatierJ.OustaloupA.Transients of fractional-order integrator and derivatives20126335937210.1007/s11760-012-0332-22-s2.0-84865584180TrigeassouJ. C.MaamriN.OustaloupA.The infinite state approach: Origin and necessity20136658929072-s2.0-8488147775410.1016/j.camwa.2012.11.020SabatierJ.MerveillautM.MaltiR.OustaloupA.How to impose physically coherent initial conditions to a fractional system?20101551318132610.1016/j.cnsns.2009.05.070MR2563931Zbl1221.340192-s2.0-70449122339SabatierJ.FargesC.Long memory models: A first solution to the infinite energy storage ability of linear time-invariant fractional models20144732884289010.3182/20140824-6-ZA-1003.016922-s2.0-84929783235SabatierJ.FargesC.Analysis of fractional models physical consistency201723689590810.1177/1077546315587177MR36193252-s2.0-85014424868XieL.Output feedback H∞ control of systems with parameter uncertainty199663474175010.1080/00207179608921866MR1650819SkeltonR. E.IwasakiT.GrigoriadisK. M.1998London, UKTaylor & FrancisThe Taylor & Francis Systems and Control Book SeriesMR1484416de OliveiraM. C.SkeltonR. E.Reza MoheimaniS. O.Stability tests for constrained linear systems2001268London, UKSpringer241257Lecture Notes in Control and Information Science10.1007/BFb0110624MR1822042DuX.YangG.-H.New characterisations of positive and static output feedback control of discrete-time systems20098281485149510.1080/00207170802549586MR2548353Zbl1168.933672-s2.0-67651154425ZhangX.-M.HanQ.-L.Event-triggered H∞ control for a class of nonlinear networked control systems using novel integral inequalities201727467970010.1002/rnc.3598MR3604527ZhangX.-M.HanQ.-L.Global asymptotic stability for a class of generalized neural networks with interval time-varying delays2011228118011922-s2.0-8005154697210.1109/TNN.2011.2147331LanY.-H.HuangH.-X.Observer-based robust control of time-delay uncertain systems with application to engine idle speed control20124327428510.1504/IJDSDE.2012.049905MR2988916Zbl1256.930872-s2.0-84867847907