This section addresses the exponential stability problem of the switched system (2.4). The main result is stated as follows.
Theorem 3.1 If there exist positive definite matrices , and scalar constants (, ), , , such that the following matrix inequalities hold:
where
and
then the system (2.4) is exponentially stable. Moreover, the solution satisfies the condition
Proof Consider the following candidate Lyapunov-Krasovskii functional:
(3.3)
When , the derivative of (3.3) with respect to time t along the trajectories of the first subsystem of the system (2.4) is calculated and estimated as follows:
Using Lemma 2.1 and Lemma 2.2, we get
where
From (3.1), we have
(3.4)
which implies that when ,
(3.5)
Similarly, when , we have
where .
From (3.2), we have
(3.6)
which implies that when ,
(3.7)
From (3.5) and (3.7), it follows that:
When , , and
When ,
When ,
When ,
When ,
When ,
When ,
(3.9)
From (3.8) and (3.9), it follows that for any , we can obtain
(3.10)
From (3.3) and (3.10), it follows that for any ,
Hence, we get
Noticing
we get
which completes the proof. □
Corollary 3.1 If there exist positive definite matrices , , and scalar constants (), , such that the following LMIs hold:
were
then the system (2.4) is exponentially stable. Moreover, the solution satisfies the condition
Proof Set
According to Lemma 2.3 and (3.11) and (3.12), we have
Taking , , , , we have
Hence, (3.14) implies that (3.2) holds and . From (3.13), we have
(3.15)
Since
(3.15) implies that (3.1) holds. According to Theorem 3.1, the system (2.4) is exponentially stable, and
which completes the proof. □
The following theorem can be directly deduced from Theorem 3.1 by applying Lemma 2.3.
Theorem 3.2 If there exist positive definite matrices , and scalar constants (, ), , , such that the following LMIs hold:
where
and
then the system (2.4) is exponentially stable. Moreover, the solution satisfies the condition
Consider the following time-delay systems:
(3.16)
where is a state vector, and is the external input of the system (3.16). is a continuous nonlinear function satisfying , and there exist positive definite matrices , such that for .
With the control law (2.3), the system (3.16) can be rewritten as
(3.17)
From Corollary 3.1, the following corollary can be immediately obtained.
Corollary 3.2 If there exist positive definite matrices , , and scalar constants , , such that the following LMIs hold:
then the system (3.17) is exponentially stable. Moreover, the solution satisfies the condition