Abstract

This paper is concerned with the problem of robust reliable control for a class of uncertain discrete impulsive switched systems with state delays, where the actuators are subjected to failures. The parameter uncertainties are assumed to be norm-bounded, and the average dwell time approach is utilized for the stability analysis and controller design. Firstly, an exponential stability criterion is established in terms of linear matrix inequalities (LMIs). Then, a state feedback controller is constructed for the underlying system such that the resulting closed-loop system is exponentially stable. A numerical example is given to illustrate the effectiveness of the proposed method.

1. Introduction

Switched systems are a class of dynamical systems comprised of several continuous-time or discrete-time subsystems and a rule that orchestrates the switching among different subsystems. These systems have attracted considerable attention because of their applicability and significance in various areas, such as power electronics, embedded systems, chemical processes, and computer-controlled systems [1, 2]. Many works in the field of stability analysis and control synthesis for switched systems have appeared (see [311] and references cited therein). However, in the real world, they may not cover all the practical cases. People found that many systems are affected not only by switching among different subsystems, but also impulsive jumps at the switching instants. This kind of systems is named after impulsive switched systems, which have numerous applications in many fields, such as mechanical systems, automotive industry, aircraft, air traffic control, networked control, chaotic-based secure communication, quality of service in the internet, and video coding [12].

Impulsive switched systems have received a considerable research attention for more than one decade. The problems of stability, controllability, and observability for impulsive switched systems have been successfully investigated, and a rich body of the literature has been available [1317]. In [13], the authors established the necessary and sufficient conditions for controllability and controlled observability with respect to a given switching time sequence. Some results on the stability analysis and stabilization were developed in [1417]. Because time-delay exists widely in practical environment and often causes undesirable performance, it is necessary and significant to study time delayed systems. Recently, such systems have stirred a great deal of research attention [1822]. So far, many stability conditions of impulsive switched systems with state delays have been obtained in [2326].

On the other hand, it is inevitable that the actuators will be subjected to failures in a real environment. A control system is said to be reliable if it retains certain properties when there exist failures. When failure occurs, the conventional controller will become conservative and may not satisfy certain control performance indexes. In this case, reliable control is a kind of effective control approach to improve system reliability. Recently, several approaches for designing reliable controllers have been proposed, and some of them have been used to research the problem of reliable control for switched systems [2733]. In [27], a design methodology of the robust reliable control for switched nonlinear systems with time delays was presented. In [32], reliable control problem for a class of continuous impulsive switched systems was researched, and a state feedback controller was constructed to restrain the outputs of the faulty actuators as well as disturbance inputs below a specified level. However, to the best of our knowledge, the existing results of the reliable control for impulsive switched systems are in the continuous-time framework, such topic on discrete impulsive switched systems has not been fully investigated, which motivates our present study.

In this paper, we will focus our interest on robust reliable control problem for a class of uncertain discrete impulsive switched systems with state delays. The dwell time approach is utilized for the stability analysis and controller design. The main contributions of this paper can be summarized as follows: (i) stability and reliability of discrete impulsive switched systems in the presence of actuators failures are first considered; (ii) a state feedback design methodology is proposed to achieve the exponential stability and reliability for the underlying systems.

The remainder of the paper is organized as follows. In Section 2, problem formulation and some necessary lemmas are given. In Section 3, based on the dwell time approach, an exponential stability criterion is established in terms of LMIs. Then a delay-dependent sufficient condition for the existence of a robust reliable controller is derived in terms of a set of matrix inequalities. Section 4 gives a numerical example to illustrate the effectiveness of the proposed approach. Concluding remarks are given in Section 5.

Notations. Throughout this paper, the superscript “” denotes the transpose, and the notation means that matrix is a positive semidefinite (positive definite, resp.). denotes the Euclidean norm. represents identity matrix with appropriate dimension; denotes diagonal matrix with the diagonal elements , . denotes the inverse of . The asterisk in a matrix is used to denote a term that is induced by symmetry. The set of all positive integers is represented by .

2. Problem Formulation and Preliminaries

Consider the following uncertain discrete impulsive switched systems with state delays: where is the state vector. is the control input of actuator fault; is a discrete vector-valued initial function. is discrete time delay. is a switching signal which takes its values in the finite set , corresponding to it is the switching sequence , where is the initial time and denotes the th switching instant. Moreover, means that the subsystem is activated. and indicate that is a switching instant at which the system is switched from the th subsystem to the subsystem. denotes the number of subsystems. Note that there exists an impulsive jump described by (2) at the switching instant .

Remark 1. The impulsive jump at the switching instant is represented by . The matrix is also used in [34]. Moreover, is a certain real-valued matrix with appropriate dimension and means that the impulse is only determined by the subsystems activated before and after the specific switching instant .

For each are uncertain real-valued matrices with appropriate dimensions and satisfy where , , , , and are known real constant matrices with appropriate dimensions. are unknown and possibly time-varying matrices with Lebesgue measurable elements and satisfy The control input of actuator fault can be described as where is the control input to be designed, are the actuator fault matrices with the following form: where .

For simplicity, we define Thus, we have where .

Before ending this section, we introduce the following definitions and lemmas.

Definition 2 (see [34]). Let denote the switching number of during the interval . If there exist and such that then and are called the average dwell time and the chatter bound, respectively.

Remark 3. In this paper, the average dwell time method is used to restrict the switching number during a time interval such that the stability of system (1), (2), and (3) can be guaranteed.

Definition 4 (see [35]). The system (1), (2), and (3) is said to be exponentially stable if its solution satisfies for any initial condition , where and is the decay rate, .

Lemma 5 (see [35]). For a given matrix , where are square matrices, then the following conditions are equivalent:(i), (ii),(iii).

Lemma 6 (see [36]). Let , , , and be real matrices of appropriate dimensions with satisfying , then for all , , if and only if there exists a scalar such that .

Lemma 7 (see [37]). For matrices , with appropriate dimensions, there exists a positive scalar such that holds, where is a diagonal matrix and is a known real-value matrix satisfying .

3. Main Results

3.1. Stability Analysis

In this subsection, we consider the exponential stability of the following uncertain discrete impulsive switched systems with state delays:

Theorem 8. Consider system (13), (14), and (15), for given positive scalars , , if there exist positive definite symmetric matrices with appropriate dimensions and positive scalars such that Then, under the following average dwell time scheme: the system is exponentially stable, where satisfies

Proof. Choose the following piecewise Lyapunov function candidate for system (13), (14), and (15): and the form of each is given by where
Let denote the switching instants during the interval . Without loss of generality, assume that the subsystem is activated at the switching instant , and the th subsystem is activated at the switching instant .
When , , (), along the trajectory of system (13), (14), and (15), we have Thus, where Thus, if the following inequality holds: then we have Using to pre- and postmultiply the left term of (25) and applying Lemma 5, we can obtain that (25) is equivalent to the following inequality: Denote that , , then substituting (4) into (27) and applying Lemma 6, we can obtain that (16) and (27) are equivalent.
When , , , along the trajectory of system (13), (14), and (15), we have From (18), we can get the following inequalities for all , : Then, it is not difficult to get Thus, for , we have Repeating the above manipulation, one has that From Definition 2, we know that , then It follows that that is, where Then under the average dwell time scheme (17), it is easy to get that , which implies that the system (13), (14), and (15) is exponentially stable.
This completes the proof.

Remark 9 . When , conditions (18) can be reduced to the following inequalities: then .

Remark 10. It should be noted that some stability results of discrete delayed systems withandwithoutimpulsive jumps have been obtained by using standard Lyapunov-Krasovskii function approach (see [5, 7, 38]). In this paper, these stability criteria are extended to discrete impulsive switched delayed system (1), (2), and (3). However, due to that there exist impulsive jumps described by (2) at the switching instants, the criterion in Theorem 8 is different from the existing ones. The result is essential for designing the reliable controller for system (1), (2), and (3).

3.2. Robust Reliable Control

In this subsection, we are interested in designing a state feedback controller such that the resulting closed-loop system is exponentially stable.

For system (1), (2), and (3), under switching controller , the corresponding closed-loop system is given by

Theorem 11. Consider the system (1), (2), and (3), for given positive scalars and ; suppose there exist positive definite symmetric matrices , , any matrices with appropriate dimensions, and positive scalars , , , such that
Then, under the reliable controller and the average dwell time scheme (17) with satisfying (18), the corresponding closed-loop system (38), (39), and (40) is exponentially stable.

Proof. From Theorem 8, we know that system (38), (39), and (40) is exponentially stable if (18) and the following inequality hold: where , , and ; it can be obtained that (43) can be rewritten as the following inequality:
Denote that , then according to Lemmas 5 and 7, we can easily get that (44) holds if (41) is satisfied, that is to say, (41) guarantees that (43) is tenable.
This completes the proof.

Remark 12. In Theorem 11, a reliable controller design method is proposed for discrete impulsive switched delayed system (1), (2), and (3) with actuator fault. It is noted that a kind of matrix , which is successfully adopted in [27, 28], is introduced to describe all the situations that may be encountered in the actuator.

Remark 13. It should be noted that plays a key role in obtaining the infimum of the average dwell time . From Theorem 11, it is easy to see that a larger will be favorable to the solvability of inequality (41), which leads to a larger value for the average dwell time . Considering these, we can first select a larger to guarantee the feasible solution of inequality (41) and then decrease to obtain the suitable infimum of the average dwell time .

The detailed procedure of controller design can be given in the following algorithm.

Algorithm 14. We have the following.
Step . Given the system matrices and positive constants , , and , by solving the LMI (41), we can get the solutions of the matrices , , and . Then the controller gain matrices can be obtained by (42).
Step . Substitute matrices and into (18), then solving (18), we can find the infimum of .
Step . Then the average dwell time can be obtained by (17).

4. Numerical Example

In this section, we present an example to illustrate the effectiveness of the proposed approach. Consider system (1), (2), and (3) with parameters as follows: The fault matrices , where Then we can obtain

Given , , , , then solving the matrix inequality (41) in Theorem 11, we get Then from (42), the controller gain matrices can be obtained

According to conditions (18), we can get . From (17), it can be obtained that . Choosing , the simulation results are shown in Figures 1 and 2, where the initial value , . Figure 1 depicts the switching signal, and the state trajectories of the closed-loop system are shown in Figure 2.

From Figures 1 and 2, it can be observed that the designed controller can guarantee the asymptotic stability of the closed-loop system. This demonstrates the effectiveness of the proposed method.

5. Conclusions

This paper has investigated the problem of robust reliable control for a class of uncertain discrete impulsive switched systems with state delays. By employing the average dwell time approach, an exponential stability criterion has been proposed in terms of a set of LMIs. On the basis of the obtained stability criterion, the robust reliable controller has been designed. An illustrative example has also been given to illustrate the applicability of the proposed approach.

Acknowledgment

This work was supported by the National Natural Science Foundation of China under Grant Nos. 60974027 and 61273120.