Finite-Time Stability and Stabilization of Nonlinear Quadratic Systems with Jumps

Abstract

This paper investigates the problems of finite-time stability and finite-time stabilization for nonlinear quadratic systems with jumps. The jump time sequences here are assumed to satisfy some given constraints. Based on Lyapunov function and a particular presentation of the quadratic terms, sufficient conditions for finite-time stability and finite-time stabilization are developed to a set containing bilinear matrix inequalities (BLIMs) and linear matrix inequalities (LMIs). Numerical examples are given to illustrate the effectiveness of the proposed methodology.

1. Introduction

Most practical systems, such as missile systems and satellite systems, possess a typical characterization that their operating times always have a finite duration. In this case, the main concern for the researchers is the stability over a fixed finite-time interval rather than the classical Lyapunov asymptotic stability, although the Lyapunov theory is pervasive in control fields from linear methods to nonlinear systems. Usually, a system is finite-time stability (FTS), if, given a finite duration at first, its state is contained within some prescribed bound during this finite duration. The problem of finite-time stability analysis for the control plants has been extensively investigated and a great number of results on this topic have been reported, for example, see [1–6] and the references therein.

At the same time, there are a number of real evolution processes in which the states are subjected to rapid changes at certain time instants. It has been shown that the finite-time stability of a continuous dynamical system could be destroyed by such rapid changes. Therefore, it is important to study the jump’s influence on FTS of the control systems. There are several research works that appeared in the literature on control systems with jumps. In [7], the problem of finite-time stabilization for linear systems via jump control is researched through Lyapunov functions. In [8], FTS for time-varying linear systems with jumps is discussed, where a necessary and sufficient condition was obtained. Note that this condition is difficult to test. Considering this, a sufficient condition involving two coupled differential-difference linear matrix inequalities for FTS is presented in [8], which is much easier to be handled.

Recently, the issue of analysis and design of nonlinear quadratic systems has received increasing interest. The Lyapunov asymptotic stability of quadratic systems has achieved great success both in theory and in practice, for example, see [9–15]. The FTS problem for quadratic systems is considered and corresponding sufficient conditions via state feedback controller are derived in terms of LMIs in [15]. However, FTS analysis of nonlinear quadratic systems with jumps has not been fully investigated.

In this paper, we are interested in FTS and finite-time stabilization for nonlinear quadratic systems with jumps. Based on the Lyapunov function and a particular presentation of the quadratic terms, sufficient conditions for FTS and finite-time stabilization are presented for such quadratic systems in terms of LMIs. Furthermore, two examples are presented to illustrate its effectiveness.

Throughout this paper, standard notation is adopted. Given a scalar , denotes the maximum integer which is less than or equal to . The class of jump time sequences satisfying is denoted by . For real symmetric matrices and , the notation (respectively, ) means that the matrix is positive semidefinite (respectively, positive definite). is the Kronecker product of the pair of . Matrices, if not explicitly stated, are assumed to have compatible dimensions.

2. Problem Statement

Consider a class of nonlinear quadratic systems with finite jumps described as where , , and are system state, continuous control input, and jump control input, respectively. , where and , with as a positive scalar. Denote where , .

Let us define matrices as following where and denote the th row of matrices and , respectively. Then, the system (1) can be read as follows:

In what follows, we introduce two lemmas, which are essential for the developments in the next section.

Lemma 1 (see [14]). For any matrices , , , and , where , , and a scalar , the following inequalities hold (1),(2)if , then

Lemma 2 (see [12]). Consider matrix with and a vector such that . Every point on the boundary of an ellipsoid, , can be parameterized by , where .

3. Main Results

In this section, we establish sufficient conditions of FTS and finite-time stabilization for the nonlinear quadratic system (1) based on Lyapunov functions and a particular presentation for the quadratic terms.

First, we introduce the definition of FTS for nonlinear quadratic system (1).

Definition 3 (see [3]). Given a scalar and matrices , with ; system (1) with and is said to be FTS with respect to , if
Now, we provide a sufficient condition for FTS of the system (1) with and .

Theorem 4. For a prescribed scalar satisfying , assume that there exist scalars , , and and a matrix such that then when , system (1) with and is FTS with respect to (T, R, S) over ; when , system (1) with and is FTS with respect to (T, R, S) for any jump time sequences , .

Proof. Note (7) and from the Schur’s complement, we obtain Before and after multiplying (8), respectively, by and then applying the Schur complement, we get In order to complete the proof, we will first show that the nonlinear quadratic system (1) is FTS with respect to . Indeed, when , we can choose the quadratic Lyapunov function as for system (1), where and . Then, we obtain By Proposition 1 in [12], it follows that is negative definite in , if it is negative definite in . By Lemma 2, for , we can get where , . From Lemma 1, substituting (11) to the above inequality, for any and , yields to Thus, for all  , it is easy to see that Divide both sides of (16) by , and integrate from 0 to with , it follows that Therefore, (9) and (10) give that, for all which shows that any trajectory starting from the set cannot exit in for .
When , Lemmas 1 and 2 yield to where . Substituting (12) into the above inequality, then Therefore, it follows from (17) and (21) that Since implies that , it is easy to see that Thus, using (9) and (10), we have Thus, (18) and (24) imply that the nonlinear quadratic system (1) is FTS with respect to . Based on mathematical induction, one can easily verify that the nonlinear quadratic system (1) is FTS with respect to , . Note that is strictly decreasing along the trajectories of quadratic system (1) for ; we have The proof is complete.

Remark 5. When , the jumps may destroy FTS of system (1), so it should not occur frequently. In this case, implies that the jump time is satisfying .

Remark 6. When , since the conditions in Theorem 4 are not related to , the quadratic system with jumps is FTS regardless of how often or how seldom jumps occur during the time interval .

Remark 7. Compared with the method presented in [8], the quadratic Lyapunov function used in this paper is not required to be strictly decreasing along the trajectories of the nonlinear quadratic system (1).

Now, we extend Theorem 4 to the design context. Consider the following nonlinear control law: where , , , , and , . Based on (26), we define the matrices and as follows: then the corresponding continuous control law and jump control law are, respectively,

Then, the corresponding closed-loop system is defined by

The following theorem presents a sufficient condition of finite-time stabilization for the closed-loop system (29).

Theorem 8. For a prescribed scalar , assume that there exist positive scalars , , and matrices , , , , and such that with

Then(1)if , the closed-loop system (29) is finite-time stabilizable with respect to over and the stabilizing state feedback controller (28) is given by , , , and ;(2)if , the system (29) is finite-time stabilizable with respect to for any jump time sequences , and the stabilizing state feedback controller (28) is given by , , , and .

Proof. Since the proof of Theorem 8 is a natural extension from Theorem 4, we omit it.

Remark 9. Due to Remark 8 in [5], the quadratic terms on the presented control law (28) can be explained as a counteraction to the influence of the quadratic terms of the system. Especially, when , and are nonsingular matrices; it is possible for the closed system to eliminate the quadratic terms completely through and .

4. Numerical Examples

In this section, we will present two examples to illustrate the effectiveness of our method. In Theorem 4, and are variables, then (7) and (8) are not LMIs. Obviously, the primary matter is the solvability of the inequalities (7)–(10). For eliminating the coupling, we directly fix with a constant; then (7) and (8) are LMIs and can solved through MatLab. For Theorem 8, we have the similar process.

Example 10. Consider the system (1) with the following parameters: Our aim is to solve the finite-time stabilization problem by using nonlinear state feedback with respect to , where It is noticed that the jump system may destroy FTS of the closed-loop system.
Through Theorem 8 with , we obtain the continuous state feedback control law and the discrete state feedback control law .

Example 11. Consider the system (1) with the following parameters:

It is noticed that the jump system is helpful to FTS of closed-loop system by the discrete state feedback control law. Our goal is to solve the finite-time stabilization problem by using nonlinear state feedback with the same , , and given in Example 10.

Based on Theorem 8 and a given , we obtain the continuous state feedback control law and the discrete state feedback control law .

5. Conclusion

In this paper, the problems of FTS and finite-time stabilization for nonlinear quadratic systems with jumps are investigated. Sufficient conditions of FTS and finite-time stabilization based on the quadratic Lyapunov function and a particular presentation for the quadratic terms are established in terms of BLMIs and LMIs. And two examples have been provided to explain the effectiveness of our methodology. In the future, we will continue the study of nonlinear quadratic systems with jumps, such as the systems subject to jumps and input saturation or time delay.

Conflict of Interests

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