Robust Control with Engineering ApplicationsView this Special Issue
Research Article | Open Access
Jinxing Lin, Lina Rong, "Robust Stability and Stabilization for Singular Time-Delay Systems with Linear Fractional Uncertainties: A Strict LMI Approach", Mathematical Problems in Engineering, vol. 2013, Article ID 598357, 11 pages, 2013. https://doi.org/10.1155/2013/598357
Robust Stability and Stabilization for Singular Time-Delay Systems with Linear Fractional Uncertainties: A Strict LMI Approach
This paper is concerned with the problems of delay-dependent robust stability and stabilization for a class of continuous singular systems with time-varying delay in range and parametric uncertainties. The parametric uncertainties are assumed to be of a linear fractional form, which includes the norm bounded uncertainty as a special case and can describe a class of rational nonlinearities. In terms of strict linear matrix inequalities (LMIs), delay-range-dependent robust stability criteria for the unforced system are presented. Moreover, a strict LMI design approach is developed such that, when the LMI is feasible, a desired state feedback stabilizing controller can be constructed, which guarantees that, for all admissible uncertainties, the closed-loop dynamics will be regular, impulse free, and robustly asymptotically stable. Numerical examples are provided to demonstrate the effectiveness of the proposed methods.
Singular time-delay systems, which are known as descriptor time-delay systems, implicit time-delay systems, or generalized differential-difference equations, often appear in various engineering systems, for example, aircraft attitude control, flexible arm control of robots, large-scale electric network control, chemical engineering systems, lossless transmission lines, and so forth [1, 2]. Since singular time-delay systems are matrix delay differential equations coupled with matrix difference equations, the study for such systems is much more complicated than that for standard state-space time-delay systems. Recently, a great deal of attention has been devoted to the study of such more general class of delay systems; see [3–27].
The existing stability criteria for singular time-delay systems can be classified into two types: delay independent [3–5] and delay dependent [6–10]. Generally, delay-dependent conditions are less conservative than the delay-dependent ones, especially when the time delay is small. To obtain delay-dependent conditions, many efforts have been made in the literature, among which the model transformation and bounding technology for cross-terms [8–10] are often used. However, it is known that the bounding technology and the model transformation are the main source of conservation . Recently, some improved stability conditions with less conservatism have been provided by utilizing the free weighting matrix method [11–13], the integral inequality , and the delay decomposition approach [15–17], in which neither the bounding technology nor model transformation is involved. However, these conditions in [6–17] were established under the assumption that the delay was time invariant. For the continuous singular systems with time-varying delay, Yue and Han investigated the delay-dependent stability condition by introducing the free weighting matrices . In , a delay-dependent stability condition was presented by using the integral inequality method. But the range of the time-varying delay considered in [18, 19] is from 0 to an upper bound. In practice, a time-varying interval delay is often encountered; that is, the range of delay varies in an interval for which the lower bound is not restricted to 0. In this case, the stability criteria in [18, 19] are conservative because they do not take into account the information of the lower bound of delay. Moreover, when estimating the upper bound of the derivative of Lyapunov functional, some useful terms are ignored in [18, 19]. More recently, continuous singular systems with time-varying delay in a range have been extensively studied; see, for example, [20–27] and references therein.
On the other hand, in recent years, more and more attention has been devoted to derive strict LMI conditions for stability analysis and controller design; see, for example [29, 30] and references therein. The strict LMI conditions, that is, definite LMIs without equality constraints, are highly tractable and reliable when checked by some recently developed algorithms for solving LMIs . However, it should be pointed that the stability conditions derived in [20–27] are formulated in terms of nonstrict LMIs, whose solutions are difficult to calculate since equality constraints are often fragile and usually not met perfectly. Furthermore, up to now, to the best of the authors’ knowledge, for a continuous uncertain singular system with a time-varying interval delay, the problems of robust stability, stabilization, and feedback control have not been fully investigated yet . Particularly, strict LMI-based condition has never been reported in the published works.
In this paper, by using a strict LMI approach, we study the robust stability and stabilization problems for a class of singular systems with a time-varying interval delay and uncertainties. Different from the existing results in [13, 19, 21, 23], first, the criteria proposed in our paper do not contain any semidefinite matrix inequality and are expressed as strict LMIs. Second, the new criteria are obtained by only using a well-known integral-inequality and do not employ any free-weighting matrix, which makes our methods more efficient. Third, a new type of uncertainty, namely, linear fractional form, is considered in this paper. Three numerical examples are given to illustrate the effectiveness of the presented method.
Notations denotes the -dimensional Euclidean space, and denotes the sets of all matrices. is the identity matrix with appropriate dimensions. For a real symmetric matrix , denotes its transpose, the notation () means that the matrix is positive semidefinite (positive-definite), and denotes the minimum (maximum) eigenvalue of . denotes the Banach space of continuous vector functions mapping the interval into , , , and denotes the function family defined on which is generated by -dimensional real vector valued continuous function , . Obviously, . refers to the Euclidean vector norm or spectral matrix norm, and stands for the norm of a function . The symmetric terms in a symmetric matrix are denoted by .
2. Problem Formulation and Preliminaries
Consider the following singular time-delay system: where is the state vector, and is the control input. , , , and are real constant matrices with appropriate dimensions, and . denotes the time-varying delay which satisfies , . Note that may not be equal to 0. is a compatible continuous vector-valued initial function on . , and are matrices with parametric uncertainties satisfying where , , , , and are known real constant matrices of approximate dimensions and are unknown time-varying matrix function satisfying The parametric uncertainties , , and satisfying (2)–(5) are said to be admissible.
Remark 1. The above-structured linear fractional form includes the norm-bounded uncertainty as a special case when [3, 8–11, 13, 19, 23] and can describe a class of rational nonlinearities . Note also that conditions (4) and (5) guarantee that is invertible.
The nominal unforced system of (1) can be written as The following notations are given.(i), is the compatible initial function of system (6)}.(ii), and there exists a uniquely continuous solution of system (6) on for .(iii).
Definition 2 (see ). The pair is said to be regular if is not identically 0.
The pair is said to be impulse-free if .
Definition 5 (see ). The system (6) is said to be stable, if for any , there exists a scalar such that for any compatible initial function , the solution of system (6) satisfies , .
The system (6) is said to be asymptotically stable, if its zero solution is stable, and furthermore, there exists a such that for any compatible initial function , the solution as .
The objective of this note is to develop delay-range-dependent robust stability conditions for system (1) with and to design a state-feedback controller so that system (1) is closed-loop regular, impulse-free, and robustly asymptotically stable for admissible linear fractional form uncertainties. To this end, the following lemmas are needed.
Lemma 6 (see ). For any constant matrix , , scalar , and vector function such that the following integration is well defined, then
Lemma 7 (see ). Consider the function , if is bounded on ; that is, there exists a scalar such that for all , and then is uniformly continuous on .
Lemma 8 (see ). Consider the function , if is uniformly continuous and , then .
3. Stability Issue
In this section, first of all, we will present new delay-range-dependent stability conditions that guarantee system (6) to be regular, impulse free, and asymptotically stable in terms of LMI, which will play a key role in obtaining the robust stability criterion for the uncertain system (1).
Theorem 10. Given scalars and , the singular system (6) is regular, impulse free, and asymptotically stable if there exist positive-definite matrices , , , , and matrix with appropriate dimensions such that where and is any matrix with full column rank and satisfies .
Proof. Since , there must exist two invertible matrices and such that
Then, can be parameterized as
where is any nonsingular matrix.
Similar to (13), we define Since and , , we can formulate the following inequality easily: Pre- and postmultiplying by and , respectively, yields where and represent the matrices not relevant in the following discussion. From (17), it is easy to see that which gives that is nonsingular.
Define After some algebraic manipulations, we can obtain where . Then, it can be shown that which implies that is not identically zero and . Then, the pair of is regular and impulse-free, which shows that system (6) is regular and impulse-free. In the following, we will prove that system (6) is also asymptotically stable.
By using Schur complement and noting that , , , it follows from (11) that where Pre- and post-multiplying (23) by and , respectively, yields where
Substituting (20), (22) into (25), we have Pre- and post-multiplying (27) by and , respectively, yields where Therefore,
Now, let where and . Using the expressions in (20), (22), and (31), system (6) can be decomposed as or equivalently rewritten as It is easy to see that the stability of system (6) is equivalent to that of system (34).
Construct the Lyapunov-Krasovskii functional for system (34) as By Lemma 6, the following inequalities are true On the other hand, noticing that , we can deduce that where is any matrix with appropriate dimensions.
Taking the derivative of with respect to along the trajectory of system (34) and using (36) and (37), we have where with
It is easy to see that (17) guarantees and where , .
Taking into account (41), we can deduce that Therefore, where , . Thus, is bounded. Considering this and (30), it can be deduced from (33) that is bounded;, hence, it follows that from (32) that is bounded. Therefore, is bounded too. By Lemma 7, we obtain that is uniformly continuous. Therefore, noting (44) and using Lemma 8, we get This, together with (33), implies that Thus, according to Definition 5, system (34) is stable. This completes the proof.
Remark 11. From the proof of Theorem 10, it is clear to see that neither model transformation nor bounding technique for cross-terms is involved. Hence, the conservatism inherited from these ideas will no longer exist in Theorem 10.
Remark 12. Free-weighting matrices in [11–13, 22, 23, 25] plays an important role to reducing the conservatism of delay-dependent stability conditions. However, too many free-weighting matrices will complicate the system analysis and increase the computational demand. It is worth pointing out that no free-weighting matrix is involved in Theorem 10.
Remark 13. Recently, the delay-partitioning or delay-fractioning method  was widely used to reduce the conservatism of the delay-dependent results of standard time-delay systems. This method can be extended to study the stability of singular time-delay system (1). Suppose we decompose the delay interval into equidistant subintervals. Defining , , and constructing the following Lyapunov-Krasovskii functional: with , , , , , and , . Then, by checking the variation of for the case when or () or , respectively, we can derive the delay-dependent condition, which can guarantee that . Generally, increasing may result in the reduction of conservatism of the obtained results. However, the corresponding computational complexity will be increased greatly since the dimensions and matrix variables of the involved LMIs will be sharply expanded. For example, in , a numerical example has shown that, with changing from 1 to 3, the allowable upper bounds of increased 12.9%, but the consumed CPU time increased 9 times.
Corollary 14. Given scalars , and , system (6) is regular, impulse free, and asymptotically stable if there exist positive-definite matrices , , , , and matrix with appropriate dimensions such that where and is any matrix with full column rank and satisfies .
Theorem 15. Given scalars and , the uncertain singular time-delay system (1) with is regular, impulse free, and robustly asymptotically stable if there exist positive-definite matrices , , , , , and matrix with appropriate dimensions and a scalar such that the following LMI holds: where , , , , , , , and are defined in (11).
Proof. Suppose (50) to be true. Let . Pre- and postmultiplying the left-hand side matrix of (50) by and its transpose, respectively, we obtain where and is defined in (11). Thus, holds according to Lemma 9. It can be verified that is exactly the left-hand side of (11) when and are replaced with and in (11), respectively. The result then follows from Theorem 10.
4. Control Design
On the basis of the previous stability conditions, we will present a design method of robustly stabilizing controllers in this section. For simplicity, we first consider system (6).
Theorem 16. Given scalars and , if there exist scalar , positive-definite matrices , , , , , , and matrices , , with appropriate dimensions such that where and is any matrix with full column rank and satisfying , then there exists a state feedback controller (7) such that the resulting closed-loop system of system (6) is regular, impulse free, and asymptotically stable. In this case, a suitable controller gain is given by
Proof. With the control law , the resultant closed-loop system of system (6) is
Following the same philosophy as that in , we represent system (56) as the following form,
For notational convenience, we introduce Then, by Theorem 10, we can show that system (57) is regular, impulse free, and asymptotically stable if (11) holds, where , , , , , and , , , , are replaced by , , , , , , , and , , , respectively. For a special issue, we choose , , , , and as where , , , , and , are symmetrical positive-definite matrices, is with full column rank and satisfies , is any matrix and is a scalar. It is easy to verify that is with full column rank and satisfies . Then, the following LMI can be obtained: where
Note that the pairs and are regular, causal if and only if the pairs and are regular, causal. Furthermore, . Then, as long as the regularity, causality, and stability problems are concerned, we can consider the following system instead of (56): where is the state vector.
In this sense, (53) can be obtained by replacing , , in (60) by , , , respectively, and introducing a matrix .
The robust stabilizability result for uncertain singular system (1) is presented in the following theorem.
Theorem 17. Given scalars and , if there exist scalar , positive-definite matrices , , , , , , and matrices , , with appropriate dimensions and scalars , such that where , , , , , , , , , , and are defined in (53), , , , , , , , , and is any matrix with full column rank and satisfying ; then there exists a state feedback controller (7) such that the resulting closed-loop system of system (1) is regular, impulse free, and robustly asymptotically stable. In this case, a suitable controller gain is given by
Proof. Replacing by , by and by in (53), respectively, results in the following condition: where