Abstract

The observer-based feedback control for singularly perturbed systems (SPSs) with Lipschitz constraint is addressed. A sufficient condition, independent of the perturbation parameter, for a full-order observer is presented in terms of linear matrix inequality (LMI) such that observation error is exponentially stable for all sufficiently small perturbation parameters. Then, for observer-based feedback control, a proper controller is constructed to guarantee the input-to-state stability of the system with regard to the observation error. Considering the convergence of observation error, the stability of the system can be obtained based on the input-to-state stability property. It is shown that the proposed method is simple and easy to operate. Moreover, the upper bound of the small perturbation parameter for stability of systems can be explicitly estimated with a workable computation way. Finally, two numerical examples show the effectiveness of the proposed method.

1. Introduction

Singularly perturbed systems or two-time-scale systems are usually described by state-space models in which a small parameter multiplies the time derivatives of some of the system states. During the past years, the robust stability of singularly perturbed system has been widely studied, and many different results have been reported; see [112] and the references therein. This is due not only to theoretical interests but also to the relevance of this topic in control engineering applications. Reference [2] presented a composite linear controller for robust stability of singularly perturbed linear systems with matching condition uncertainties. In [4], the robust stabilization problem of singularly perturbed systems with nonlinear uncertainties is studied; a control law is presented by the solutions of two independent Lyapunov equations. In addition, the stability bound is also derived via a state transformation and the constructive use of a Lyapunov function. The obtained result shows that the controller design approach is very complex and difficult to operate. More recently, the authors of [7] considered the robust stabilization problem for a class of singularly perturbed linear systems via a networked state feedback with the transmission time-delay. However, the computation of the maximum stability bound has not been involved.

Most of the above results are obtained based on the assumption that the state variables of systems are available for direct measurement. However, in many control systems and applications, not all the state variables can be measured, or we may choose not to measure some of them due to technical or economic reasons. In this case, it is necessary to design a state observer used to reconstruct the states of a dynamic system and it has many important applications in practical systems such as system supervision and fault diagnosis. Recently, much effort has been devoted to the observer design and observer-based control, and there have been a few important results reported in the literatures; see [1317] and the references therein. In [13], the observer design for a class of nonlinear systems with discrete-time measurements is considered. By using a continuous Newton method for the map inversion, the observer error was shown to converge to zero exponentially. Reference [14] proposes a separation principle for a class of nonlinear systems such that semiglobal stability can be achieved by means of dynamic output feedback. Jiang et al. [17] use a reduced-order high-gain observer to obtain semiglobal stabilization for a nonlinear benchmark example. However, to the best of authors’ knowledge, there is only little attention paid to the observer-based feedback control for singularly perturbed systems [1822]. Reference [19] considers the robust stability of linear shift-invariant discrete-time singularly perturbed systems; a composite observer-based controller is given such that the closed-loop system is stable. In [21], an observer-based output feedback control for singularly perturbed linear systems is considered under the model-based framework. Based on the approximated slow and fast subsystems of the overall system on each sampling interval, a lower order test matrix for stability is obtained. Although these works present some methods for observer and observer-based controller design, many difficult and efficient nonlinear observer issues still need to be addressed, which still remains important and challenging.

Motivated by the above works, we, in this paper, discuss robust observer-based feedback control for continuous singularly perturbed systems with Lipschitz constraint. Such a system has been studied without considering observer in [4]. Our concern is that if stabilization can still be achieved when considering observer. In this paper, we will first develop a new observer design approach based on linear matrix inequalities (LMIs) technique. It will be shown that, under the LMI condition, the design procedure for observer can be easily constructed and observation error between systems states and estimators is globally exponentially stable. Then, for observer-based control, a sufficient condition for control law, which is expressed in terms of an -independent LMI and, thus, well conditioned, is derived, under which the closed-loop system is made input-to-state stable (ISS) with observation error as the input. In addition, the maximum stability bound that satisfies the previous LMI can be found by solving a generalized eigenvalue problem (GEVP), such that the system is asymptotically stable for any small parameter . Compared with the previous results, the newly developed method has the following advantages: not only is the existence of the observer established, where observer gain matrix can be obtained easily by solving a simple LMI, but also an estimate for the stability bound of observation error is given; a LMI based sufficient condition for input-to-state stability of system is provided, under which the control gain matrix can be solved efficiently and much more complex equation is not involved. In addition, the desired upper bound of singularly perturbed parameter subject to the stability of system can be obtained via solving GEVP, without any state transformation of the original and can be tested numerically efficiently using the LMI Toolbox. Thus, the effectiveness of the proposed method is clearly shown.

2. Problem Formulation

Consider the following singularly perturbed system with Lipschitz constraint:where is the system state; is the slow state; is the fast state; is the input vector; is the output vector; , , , , and are constant matrices with appropriate dimensions; the matrix is given bywhere is the perturbation parameter which is small and positive but may be unknown, representing the response of the fast dynamics. is vector-value time-varying nonlinear function with for all , which is assumed to satisfy the following global Lipschitz condition for all :where and are known constant matrices with appropriate dimensions.

It is easy to verify that satisfies the following condition for all :

Remark 1. The Lipschitz property as formulated in (4) is capable of describing the structure of the uncertain term more accurately than the general one with equal weights in many practical situations, and thus it will help reduce the conservatism of the obtained results. Recently, this important formulation has been widely considered; see [3, 4, 23, 24] and the references therein. It is worth mentioning that the matched condition can be regarded as a special case of (4). However, little attention has been paid to the observer-based control of singularly perturbed systems.

The objective of this paper is to design a suitable observer and observer-based feedback controller such that system (1) is made ISS with observation error as the input. Meanwhile, the observation error between systems states and estimators is globally exponentially stable. Thus, the asymptotical stability of system (1) can be guaranteed.

3. Observer Design

In this section, we propose a Luenberger-like observer as follows:where is the estimator of , is the observer output, and is an observer gain matrix to be determined.

Denote that is the observation error between the controlled system and observer. Then the observation error system is given by

The following result presents a sufficient condition via linear matrix inequalities which guarantees the existence of observer.

Theorem 2. If there exist scalar , matrix , and lower triangular matrix where and are positive definite matrices, satisfying the linear matrix inequalitythen there exists such that the observation error is exponentially asymptotically stable for . Moreover, the observer gain matrix can be chosen as

Proof. Since and are positive definite matrices, there exists scalar such that for all . By the Schur Complement Lemma, it yieldswhere . We choose the Lyapunov function candidate as follows:Then, for any constant , the derivative of along trajectories of system (7) yieldswhere It follows from (9) that there exists sufficiently small scalar such that for any given , which implies that for . Let , and then we have and for any given . Therefore, the observation error is globally asymptotically stable for any given . Thus, the proof is completed.

Remark 3. Theorem 2 presents a sufficient condition for the existence of observer. It is worth pointing out that derived condition (9) is independent of ; therefore, the numerically stiff problem can be avoided.

The estimation of the upper bound to guarantee the existence of observer for all is also an interesting topic. From the proof of Theorem 2, we can easily get the following approach to estimate the upper bound .

Theorem 4. After observer gain matrix has been obtained from (9)-(10), if there exist constant , positive definite matrix , and lower triangular matrix given in (8), satisfying the linear matrix inequalitiesthen observation error is exponentially stable for all with .

Remark 5. It follows from Theorem 4 that upper bound of can be obtained by solving the following minimization problem [25]:which can be solved effectively by applying GEVP solver in LMI Control Toolbox.

4. Observer-Based Feedback Control

In this section, we will consider the observer-based state feedback control. We will give an observer-based feedback controller of the formwhere is a controller gain, such that the resulting closed-loop system with the constraintis made ISS with observation error as the input.

Before giving the result, we first recall the following definition and lemma that will be used for the proof of the main result.

Definition 6 (see [26]). Consider the systemwhere state is in and control input in . is continuous and locally Lipschitz in and . The input is a bounded function for all . Then the system is said to be input-to-state stable (ISS) if there exist class function and class function such that, for any initial state , the solution exists for all and satisfies

Remark 7. The last inequality guarantees that, for any bounded input , the state will be bounded, and as increases, the state will be ultimately bounded by class function of . Furthermore, the inequality also shows that if converges to zero as , so does .

Lemma 8 (see [26]). Let be a continuously differentiable function such that where , are class functions, is class function, and is a continuous positive definite function on . Then, system (20) is input-to-state stable with .

Theorem 9. If there exist scalar , matrices , and lower triangular matrix where and are both positive definite matrices, satisfying the matrix inequalitywhere , then there exists such that closed-loop system (18) is ISS with respect to observation error for . Moreover, the observer-based controller gain matrix can be chosen as

Proof. By substituting (25) into (24), we obtain that inequality (24) is equivalent to where . By Schur’s Complement Lemma, inequality (26) is equivalent to where Pre- and postmultiplying inequality (27) by and , respectively, let , ; then (27) is equivalent towhereWe choose the Lyapunov function candidate as follows:where , , and .
Similar to the proof of Theorem 2, there exists scalar such that for any . Thus, the positive definiteness of is guaranteed for any . Then, the derivative of along closed-loop system (18) yields where . It follows from (29) that there exists sufficiently small scalar such that for any given .
Let and ; then for . Thus, for any , we have thatwhere , , and . Hence, the conditions of Lemma 8 are satisfied, and we conclude that closed-loop system (18) is ISS with respect to the observation error . This completes the proof.

Similar to Theorem 4, we have the following result which gives the method for solving the upper bound of input-to-state stability.

Theorem 10. After the control gain matrix has been obtained from (25), if there exist scalar , positive matrices , , and lower triangular matrix with and , then upper bound for input-to-state stability of closed-loop system (18) can be found by solving the following GEVP:

Remark 11. Theorem 9 provides an input-to-state stability criterion for system (18). Note that the observation error is globally exponentially stable by Theorem 2. Let ; then it follows from Lemma 8 and Theorem 9 that closed-loop system (18) is asymptotically stable for any . In addition, observe that (24) is not a LMI due to the existence of the nonlinearity term . Let ; then (24) can be transformed to a standard LMI which can be solved effectively by the LMI Toolbox. Compared with [4], the derived sufficient condition for control law does not involve much more complex equations. In addition, Theorem 10 gives a sufficient condition for calculating the upper bound of the small parameter subject to input-to-state stability of (18). It can be obtained via solving the GEVP (35) and can be tested numerically efficiently using the LMI Toolbox. However, in [3, 4], some coordinate transformations for the original system are required in order to investigate the robust stability of the system. Moreover, the derived sufficient condition for calculating the upper bound in [3, 4] involves much more complex inequalities, which is numerically inefficient.

5. Numerical Examples

In this section, we present two examples to illustrate the effectiveness of our results.

Example 1. Consider the following DC-Motor plant with matched condition in [2]:where , ; , . Let , , , and ; ; . Then, we have the state-space form of the uncertain DC-Motor model given by Substituting the system parameters (see Table in [2]) and noticing the uncertainties and , we can transfer (37) into the following form:withwhere and the matrix is a time-varying uncertainty satisfyingLet ; then it is easy to verify that satisfies constraint (5).

We find the feasible solutions of LMIs (9) as follows:Hence, observer gain (10) is obtained as follows:For observer-based feedback control, utilizing the LMI Toolbox, we get some parameters from (24):Thus, we can obtain control gain matrix from (25):Therefore, exists such that singularly perturbed system (18) is asymptotically stable for all . Then solve the generalized eigenvalue minimization problems (15) and (35). We get that the upper bound is .

Example 2. Consider the following singularly perturbed systems in [4]:where with , and .
Note that Thus, we haveThen, by solving LMI (9), the obtained parameters are given byHence, observer gain (10) is obtained as follows:For observer-based feedback control, we find the feasible solutions of LMIs (24) as follows:Thus, we can obtain control gain matrix from (25):Then, by solving GEVP (15) and (35), we get that the upper bound is . However, when using the method in [3, 4], the maximum stability bound is , which is slightly smaller.

From these numerical studies, it is clear that our observer design approach is simple and it is easy to compute. In addition, it can be easily seen that our controller design method is much simpler than the one adopted in [4]. The effectiveness of the proposed method is shown clearly.

6. Conclusion

This paper has presented the observer design and observer-based control for continuous singularly perturbed system with Lipschitz constraint. A sufficient condition for existence of observer has been obtained in terms of LMI under which the observation error is exponentially stable for all sufficiently small perturbation parameters. For observer-based control, based on the Lyapunov stability theory and LMI technique, a proper feedback controller for input-to-state stability of the system with respect to observation error has been presented. Therefore, the stability of the system is guaranteed based on the input-to-state stability property. Moreover, the problem of searching the upper bound can be obtained by solving the GEVP. However, in practice, nonlinear singularly perturbed system is more realistic; a future research will be devoted to observer-based control of nonlinear singularly perturbed systems.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This paper is supported by the National Science Foundation of China (11171113), the Soft Science Research Program of Henan Province (142400411358), and the Natural Science Foundation of Henan Province (142300410324, 142102210605).