Abstract

This paper is concerned with the sliding mode control for a class of linear systems with time-varying delays. By utilizing a novel Lyapunov-Krasovskii functional and combining it with the delay fractioning approach as well as the free-weighting matrix technology, a sufficient condition is established such that the resulting sliding mode dynamics is asymptotically stable. Then, a sliding mode controller for reaching motion is synthesized to guarantee that the trajectories of the resulting closed-loop system can be driven onto a prescribed sliding surface and maintained there for all subsequent time. A numerical example is provided to illustrate the effectiveness of the proposed design approach.

1. Introduction

Since time delays often appear in various engineering, biological, and economical systems, which are frequently a source of instability or poor performance, the analysis and synthesis of time-delay systems have been one of the most active research areas in system science over the past decades; see, for example, [17] and the references therein. Time-delay systems are also called systems with dead-time or aftereffect, equations with deviating argument or differential-difference equations [5], belonging to the class of functional differential equations that are infinite dimensional and dependent on the past history of the dynamics [610]. In the literature, a great number of results have been published based on different design approaches such as characteristic equation method, Lyapunov technique, or state solution approach [812]. Those developed criteria can be roughly divided into two categories, namely, delay-independent stability criteria [810] and delay-dependent stability criteria [1218]. In general, the delay-dependent stability criterion is less conservative than delay-independent one, particularly when the size of time-delay is small or time-varying [1518].

In the process of stability analysis and synthesis, a Lyapunov function (or functional) is usually involved, and more or less tight techniques to bound some cross terms are used. Since the general form of this functional leads to a complicated system of partial differential equations [1720], many researchers tried to construct special forms of Lyapunov functional and derived simpler sufficient conditions which are more conservative. Therefore, these choices of specific functional and overbounding techniques are the origin of conservatism [17, 18]. In order to reduce the conservatism, some efforts were made to improve the delay-dependent conditions. For instance, the delay-partitioning idea [18, 20] has been proven to be an effective approach to reduce the conservatism, and many researchers have employed and further improved the idea of delay-partitioning to analyze the stability of time-delay systems. More results can be found in the literature; see, for example, [1518] and the references therein. What is more, Wu et al. [21] and He et al. [22] have developed new methods to obtain less conservative delay-dependent stability conditions. Those methods are quite different from the conventional ones of using model transformation which may introduce some superfluous dynamics into the original system [1518, 2123]. Additional studies can be found in [1219] and references cited therein.

On the other hand, the sliding mode control (SMC) scheme is well known for its robustness against incompletely modeled dynamics, disturbances, time delays, and nonlinearities [2325]. In the past two decades, sliding mode control has successfully been applied to a wide variety of practical engineering systems such as power systems, cantilever beam systems, spacecrafts, underwater vehicles, electrical motors, and industrial boiler systems [2536]. Sliding mode control utilizes a discontinuous control to drive the system state trajectories to some predefined sliding surfaces on which the system has the desired properties such as stability, disturbance rejection capability, and tracking ability [2325]. Thus, sliding mode control approach displays good performances including fast response, good transient performance, and easy realization [24]. A great volume of the literature has been published on the general topic of sliding mode control problems for various systems; see, for example, uncertain systems [3032, 37], Markovian jump systems [24, 32], singular systems [24, 36], time-delay systems [31, 33, 35, 36], sliding mode-based observers [26, 29], stochastic systems [35], and so forth. To mention a few, Wu et al. investigated the problem of sliding mode control of Markovian jump singular time-delay systems in [24], and Khan et al. presented a dynamic integral sliding mode controller which is based on the existing dynamic sliding mode control and integral sliding mode control techniques in [37]. However, when revisiting those problems, we find that there is still much room left for improvement, which motivates the present study.

In this context, we are interested in investigating the delay-dependent sliding mode control problem of a class of time-varying delay systems. By dividing the time-delay interval into multiple segments, using the Lyapunov functional technology combined with matrix inequality technology, a new delay-dependent sufficient condition for the existence of linear sliding surfaces is proposed. To obtain a less conservative delay-dependent condition, some slack matrix variables based on the Newton-Leibniz formula are introduced. And an explicit parameterization of the desired sliding surface is also given. Then, a sliding mode controller for reaching motion is synthesized to guarantee that the trajectories of the resulting closed-loop system can be driven onto a prescribed sliding surface and maintained there for all subsequent time.

The rest of the paper is organized as follows. Section 2 gives problem formulations and some necessary lemmas. In Section 3, we present our main results of sliding mode control problem. Numerical examples are given in Section 4, followed by the conclusions, which are presented in Section 5.

Notations. The notations used throughout the paper are standard except where otherwise stated. The superscript “” stands for matrix transposition. “” and “0” denote the identity matrix and a zero matrix with compatible dimensions, respectively. The notation “” means that is real symmetric and positive definite (positive semidefinite); stands for a block-diagonal matrix with matrices on the diagonal. “*” represents the elements below the main diagonal of a symmetric matrix. denotes the Euclidean norm of a vector or the spectral norm of a matrix. Matrices, if their dimensions are not explicitly stated, are assumed to be compatible for algebraic operations.

2. Problem Formulations and Preliminaries

Consider a class of linear time-delay systems given by where is the state vector, is the controlled input vector, and represents the neglected dynamics and external disturbance; the matrices , , and are known constant matrices of appropriate dimensions. is the system’s initial function which is continuously differentiable on . Time delay is a continuously differentiable function, satisfying the conditions as the following: where , are known positive real constants.

The following preliminary assumptions are made for system (1) [23].

Assumption 1. The pair is controllable.

Assumption 2. The perturbation term satisfies the classical matching conditions, that is, and it is bounded, as follows, by a known functional :

Assumption 3. Matrix is of full column rank; that is, rank .

The aim of this paper is to design a SMC controller such that the resulting closed-loop system is asymptotically stable for all exogenous disturbance. Basically, the design procedure of a sliding mode control system is a two-stage process. The first phase is to choose a set of sliding manifolds such that the original system restricted to the intersection of this sliding manifold has a desired behavior. The second phase is to design a sliding mode control law that forces the system’s trajectories onto the sliding surface and maintains them on it.

We first transform the original system (1) into a special form (classically called regular form) that is appropriate for sliding mode control. A nonsingular matrix can be chosen such that where is nonsingular. Thus, by a state transformation , the system (1) has the regular form where ,,, and .

Let ,, and; then system (6) can be rewritten as where , , and are subblocks of .

It is obvious that the first equation of system (7) represents the sliding motion dynamics of (6); therefore, the corresponding sliding surface can be chosen as follows: where is the parameter to be designed.

When the system trajectories reach onto the sliding surface , that is, , the sliding mode dynamics is attained. By combining (7) and (8), we obtain the sliding motion

In this paper, we are interested in designing a reaching motion control law such that the following requirements are satisfied.(i)The corresponding sliding motion (9) is asymptotically stable.(ii)The system (7) is asymptotically stable with the reaching control law .

To facilitate further developments, we introduce the following lemma that will be frequently used in deriving the main results.

Lemma 4 (Schur complement). For symmetrical matrix , the following inequalities are equivalent:(1), (2), (3).

3. Main Results

3.1. Sliding Mode Dynamics Analysis

Due to the influence of the sliding manifold on system stability and transient performance, the design and analysis of the sliding manifold has become one of the main issues in the sliding mode control [2730], which is shown in this subsection. In the following theorem, we first present a new delay-dependent stability condition by delay partitioning approach and free-weighting matrices technique.

Theorem 5. For given positive scalars and , the reduced order system (9) is asymptotically stable if there exist matrices , ,, and free-weighting matrices with appropriate dimensions, such that the following LMIs hold: where

Proof. We define the following Lyapunov-Krasovskii functional with where ,, and are matrices to be determined. By using the Leibniz-Newton formula, one has
Due to this relation, one can introduce the following zero equation: where are unknown constant matrices with appropriate dimensions.
Moreover, it follows from (2) that for any appropriate dimensional matrix , (18) is always satisfied as follows: where
According to (16)–(19), and by taking the time derivative of the Lyapunov-Krasovskii functional in (14), we have where and is denoted in (12).
By Schur complement (Lemma 4) and some matrices primary manipulations, it is easy to conclude that the above-mentioned matrix in (21) is equivalent to (11). Since ,, and, we have . Therefore, if and , there exists a positive scalar such that , which guarantees that system (7) is asymptotically stable.
Thus, the proof is completed.

Remark 6. It should be pointed out that Theorem 5 presents a delay-dependent admissible criterion for sliding mode dynamics by utilizing a novel Lyapunov-Krasovskii functional (LKF), which is much less conservative than most results in the literature. The reduced conservatism of Theorem 5 benefits from the construction of the new LKF in (14) based on the idea of delay partitioning. In the general delay-partitioning method, the time delay should be modeled and represented as a constant part and a time-varying part, and then, the idea of delay partitioning is applied to the constant part [1619]. However, it is not suitable to the case when the time delay cannot be modeled as those two parts. According to this, in this brief, we divided the whole time varying delay interval into multiparts and a novel LKF is constructed with every delay component. Thus, we obtain a time varying LKF, since it is dependent on the time varying delay, which constitutes the major difference from most existing results in the literature.

Remark 7. Note that the criteria for sliding mode dynamics analysis problem in Theorem 5 are not LMI conditions due to the term in (11). Then, based on Theorem 5, by carrying out some algebraic manipulations, we can obtain the following condition which is characterized in terms of a set of linear matrix inequalities and can be easily solved by using the existing Matlab LMI toolbox.

Theorem 8. For given positive scalars and , the reduced order system (9) is asymptotically stable if there exist matrices , , , and free-weighting matrices with appropriate dimensions, such that the following LMIs hold: where
Moreover, if the conditions mentioned above are feasible, the matrix C in (8) can be given by ; that is, the sliding surface of (7) can be designed as

Proof. By performing a congruence transformation to both sides of (10), and defining matrices , thus, (23) is obtained.
Similarly, performing a congruence transformation to (12) by and defining matrices , ,  , we have (25).
Performing a congruence transformation to (11) with and defining matrices , , ,, we have
According to the definition of and , the following equation always holds: which implies that Thus, we can obtain (24).
Hence, the proof is completed.

After switching surface design, the next important aspect of sliding mode control is to guarantee the existence of a sliding mode.

3.2. Sliding Mode Controller Design

Now, we are in the position to design a SMC law, by which the trajectories of the time-delay system (7) can be driven onto the predesigned sliding surface in a finite time.

Theorem 9. Suppose that the conditions of (23)–(25) in Theorem 8 are feasible and the linear sliding surface is given by (8). Then, the trajectory of the closed-loop system (7) can be driven onto the sliding surface in limited time with the control: where and is the upper bound of .

Proof. We will complete the proof by showing that the control law (31) can not only drive the system trajectories onto the liner sliding surface but also keep it there for all subsequent time.
According to SMC theory, when the system trajectories reach onto the sliding surface, it follows that and .
From the sliding surface , we have
Therefore, by , we get the equivalent control as follows:
Choose the following Lyapunov functional
By taking the derivative of , it gives
Combining (31) and (35), we have which implies that the trajectories of (7) can be driven onto the predefined sliding surface in a finite time by the control law (31) and be maintained there for all subsequent time. Thus, the proof is completed.

4. Numerical Example

In this section, a simulation example is used to demonstrate the effectiveness of our proposed theoretical results. Consider the following time-delay system (1) with and , the time delay in system (1) is selected as , . It is easy to check that the above system with is unstable, and the states of the open-loop system are shown in Figure 1 with the initial condition given by . Therefore, we aim to design a sliding mode controller such that the closed-loop system is asymptotically stable. To check the stability of (9), we solve conditions (23)–(25) in Theorem 8, which gives that

According to (27), we have

The existence of a feasible solution shows that there exists a delay-dependent LPK functional for checking the stability of the sliding mode dynamics in (9); that is, we can find a desired sliding surface in (39) such that the corresponding sliding mode dynamics in (9) is asymptotically stable. The remaining task is to design a sliding mode controller such that the system trajectories can be driven onto the predefined sliding surface in (39) and maintained there for all subsequent time.

According to Theorem 9, the sliding mode controller in (31) can be designed as

Set , . To prevent the control signals from chattering, we replace with .

The simulation results of the closed-loop system with (40) are illustrated in Figures 24 with the initial condition . Among them, Figure 2 shows the states responses of system (1) under the presented SMC law. The sliding surface and control input signal are given in Figures 3 and 4, respectively. From the simulation, it is shown that the designed SMC scheme in this paper is feasible and effective since the resulting closed-loop system is stable.

5. Conclusion

The problem of sliding mode control for time-delay systems has been studied in this paper. The main contribution of this paper lies in that a novel Lyapunov-Krasovskii functional that reflects the delay-fractioning nature is constructed in order to reduce the possible conservatism introduced by the time delays. It should be pointed out that the delay partitioning technique of this paper is different from others in the literature, and one of the advantages of the method is that it is not necessary to represent the time delay model with two parts, the constant part and the time varying part. Firstly, by constructing a novel Lyapunov-Krasovskii functional based on the delay partitioning approach, a sufficient condition is given to guarantee the asymptotic stability of the sliding mode dynamics. Furthermore, a sliding mode control law is proposed to ensure the reachability of the system’s trajectories to the predefined sliding surface. Finally, a numerical example has been provided to demonstrate the effectiveness of the proposed methods.

Acknowledgments

The work is supported by National Natural Science Foundation of China (NSFC 61304108, NSFC 51307035, NSFC 61273094) and the Project for Distinguished Young Scholars of the Basic Research Plan in Shenzhen City under Contract no. JCJ201110001. The authors are very thankful to the reviewers for their valuable suggestions and comments.