Observer-Based Robust Controller Design for Nonlinear Fractional-Order Uncertain Systems via LMI
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 . 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.
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 . In terms of linear matrix inequalities (LMIs), the stability condition has been given for a continuous FOS with fractional-order in  and in . 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 . 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 . 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 . 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 was investigated in . A simple method to design a functional observer for linear FOS was presented in . 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 . 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 . 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 . Based on the principle of separation, the nonlinear observer-based control is designed in . Reference  concerns observer-based robust control problem for a class of fractional-order complex dynamical networks. In , 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 and 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 in . A design method of nonfragile observer-based robust control for nonlinear fractional-order uncertain system has been presented in . An adaptive nonfragile observer for Lipschitz nonlinear systems was designed by LMI technique in . Recently, a nonfragile fractional-order nonlinear observer design for nonlinear FOS was derived via LMI in , 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 . Attempts are made to design a reduced-order observer for a class of nonlinear Lipschitz FOS in . 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 . The sliding mode observer for state and fault estimation for nonlinear FOS is designed in . 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 .
Throughout this paper, denotes the -dimensional Euclidean space, is the set of all real matrices, and and 0 stand for identity matrix and zero matrix with appropriate dimensions, respectively. indicates that the matrix is positive (negative) definite, denotes the block-diagonal matrix, and denotes the expression . and represent the transpose and the inverse of matrix , 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 . 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 ). The Riemann-Liouville type fractional-order derivative of order for a function is defined by where is the well-known Gamma function which is made up of and is an integer satisfying .
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  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 ). The FOS with , , and is a continuous linear frequency distributed system. Its frequency distributed state which is also called the true state of FOS satisfiesand the output is the weighted integralwith the frequency weighting function
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 . With the help of equivalent frequency distributed model, the stability could be analyzed via Lyapunov technique where true state replaces pseudo state . 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 . 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 .
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 ). Given real matrices and with appropriate dimensions, for all satisfying if and only if there exists a real scalar such that
Consider the nonlinear FOS described by the following form:where denotes the Riemann-Liouville type fractional-order derivative, is the fractional commensurate order, , , and are the pseudo state, input and output vector at time , respectively; , , and are system, input, and output matrix, respectively. and are time-variant matrices denoting the norm-bounded parameter uncertainties and are assumed to be of the following form:where and are known constant matrices with appropriate dimensions, and the uncertain matrices and satisfy
Moreover, is a nonlinear function which is Lipschitz in with Lipschitz constant :for all and
We regard as the initial time. We suppose that the system was at stationary state at time and that the system was initialized from the time in the past. As mentioned in , a FOS requires complicated initialization. For FOS (6), the following initialization function is used:
Without loss of generality, we also assume that FOS (6) is observable and controllable.
Assumption 9. The output matrix of system (6) is full row rank (), and, therefore, there exists nonsingular matrix such that
Remark 10. For any given , the corresponding is not unique in general. One solution for as discussed in  iswhere is called an orthogonal basis for the null space of satisfying .
In this paper, the purpose is to study the asymptotical stabilization of nonlinear FOS (6) with a Luenberger-type fractional-order nonfragile observerwith the pseudo state estimated feedback controller:wherein which and are known constant matrices, and is unknown matrices with Lebesgue measurable elements satisfying is the estimate of system pseudo state , is the systems control gain matrix, and , are the systems observer gain matrices.
Let denote the observation error of systems. Hence, under the controller (15), the closed-loop control FOS are obtained bywhich is equivalent towhereTherefore, 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 , 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 , in many applications, estimating the real state is not useful and only an estimation of the variable 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., ), nonlinear fractional-order observer (14) contains two unknown system matrices and , 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 , full rank matrix , matrices , , , , and , and two real scalars , such that the following LMI condition holds:wherewith matrix satisfying (12). Moreover, the stabilizing control feedback and the observer gains in (14) and (15) are given by
Proof. It follows from Lemma 4 that the closed-loop system (19) can be written aswhere .
We define the following monochromatic Lyapunov function aswhere is a symmetric positive definite matrix.
Taking the derivative of (26), it then causesAccording to the Lyapunov theory, the integral-order system (25) is robustly stable if , that is, ifUsing Lemma 7 on the second term of inequality (28) for any real scalar , it yieldsIt implies from (9) and (10) thatSubstituting (30) into inequality (29), it yieldsTherefore, system (25) is robustly stable ifBy setting , and considering the first term in inequality (32), we getBy developing , , and , according to (7), (16), and applying Lemma 7 to inequality (33) for any real scalar , we have Thus, if the following condition holds:then (32) will be satisfied.
Before and after multiplying both sides of (35) by the matrix and transpose, respectively, putting , , we obtain Using Schur complement two times on (36) yieldswhereThe following inequality is equivalent to (37):where are any nonzero vectors. Now define the following new auxiliary variables: Thus, inequality (39) can be rewritten as subject towhereUsing Lemma 8, equality (42) holds if there exist matrix and positive scalar such thatwhere satisfy (12). Using condition (12) in inequality (44) yieldsPartitioning matrices as (23), one can write (45) as follows: Defining , , and , , inequality (44) is converted to LMI (21). This completes the proof.
In particular, simply setting in observer (14) for nonlinear FOS (6), we have the following classical observer-based controller:Moreover, the stabilizing controller gain matrices 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 , full rank matrix , matrices , , , , and two real scalars , such that the following LMI condition holds: wherewith matrix satisfying (12). Moreover, the stabilizing control feedback and the observer gains in (47) are given by
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 represented by the following form:whereNow, under the nonfragile observer-based controller (14) and (15), we consider the asymptotical stabilization of nonlinear FOS (51) with Let , ; based on Theorem 13, LMI condition (21) can be solved by Matlab’s LMI toolbox; the solution of LMI (21) is presented as follows: Thus, the feedback gain and the observer gains in (14) and (15) are given by Finally, by a similar procedure in reference , we use a recursive poles/zeros filter of order four to approximate the fractional operator , and we can obtain the following initial conditions: , ; 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.
Example 2. We apply them in observer design a fractional-order chaotic Lorenz system with fractional-order . The fractional-order Lorenz system  can be expressed aswhere and . The fractional-order Lorenz system (56) has a chaotic attractor as depicted in Figure 4.
Obviously, it is easy to verify that which implies that satisfies Lipschitz-conditions (9). For simplicity, select and add the uncertainties as follows: Now, under the nonfragile observer-based controller (14) and (15), we consider the asymptotical stabilization problem of nonlinear FOS (56) with Let , ; based on Theorem 13, LMI condition (21) can be solved by Matlab’s LMI toolbox; the solution of LMI (21) is presented as follows:Thus, the feedback gain and the observer gains in (14) and (15) are given by Finally, by a similar procedure to that in reference , we use a recursive poles/zeros filter of order four to approximate the fractional operator , and we can obtain the following initial conditions: , ; 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.
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.
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.
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).
I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1999.View at: MathSciNet
D. Chen, R. Zhang, X. Liu, and X. Ma, “Fractional order Lyapunov stability theorem and its applications in synchronization of complex dynamical networks,” Communications in Nonlinear Science and Numerical Simulation, vol. 19, no. 12, pp. 4105–4121, 2014.View at: Publisher Site | Google Scholar | MathSciNet
R. E. Skelton, T. Iwasaki, and K. M. Grigoriadis, A Unified Algebraic Approach to Linear Control Design, The Taylor & Francis Systems and Control Book Series, Taylor & Francis, London, UK, 1998.View at: MathSciNet
M. C. de Oliveira and R. E. Skelton, “Stability tests for constrained linear systems,” in Perspectives in Robust Control (Newcastle, 2000), S. O. Reza Moheimani, Ed., vol. 268 of Lecture Notes in Control and Information Science, pp. 241–257, Springer, London, UK, 2001.View at: Publisher Site | Google Scholar | MathSciNet