Abstract

Under the weaker condition on the system growth, this paper further investigates the problem of global stabilization by state feedback for a class of high-order nonlinear systems with time-varying delays. By skillfully using the homogeneous domination approach, a continuous state feedback controller is successfully designed, which preserves the equilibrium at the origin and guarantees the global asymptotic stability of the resulting closed-loop system. A simulation example is given to demonstrate the effectiveness of the proposed design procedure.

1. Introduction

Time-delay phenomena exist in many practical systems such as electrical networks, microwave oscillator, and hydraulic systems. It is well known that the existence of time delay often deteriorates the control performance of systems and even causes the instability of closed-loop systems [1]. Therefore, the control design and stability analysis of time-delay systems has been an active research area within the automation and control community. In recent years, by employing the Lyapunov-Krasovskii method or Lyapunov-Razumikhin method to deal with the time delay, control theory, and techniques for time-delay linear systems were greatly developed and many advanced methods have been made; see, for instance, [29] and reference therein. However, due to no unified method being applicable to nonlinear control design, many important and interesting control problems for time-delay nonlinear systems remain unsolved.

In this paper, we consider a class of high-order time-delay nonlinear systems described by where and are the system state and input, respectively. are unmeasurable, , . , , are the time-varying delays satisfying for known constants and ; the system initial condition is , with . and are positive odd integers, and , , are said to be the high orders of the system. ,  , are unknown continuous functions.

System (1) represents an important class of systems which can model many frequently met practical systems, such as the underactuated, weakly coupled, unstable mechanical system, and the cascade chemical system. However, the global stabilization of (1) has been widely recognized as difficulty because its Jacobian linearization, being neither controllable nor feedback linearizable, leads to the traditional design tools hardly applicable to such system. Mainly, thanks to the method of adding a power integrator, when , the state feedback stabilization of (1) has been well studied and a number of interesting results have been achieved over the last decades; for example, one can see [1018] and the references therein.

However, when , the global stabilization of (1) is much more challenging because trade-off of time-delay effect and identification of time-delay restriction. In this regard, some results were also reported. In [19], high-order time-delay nonlinear systems were first investigated, and, by imposed some restriction on the system growth, a continuous state feedback controller was given. Later, the authors in [2023] further relaxed conditions placed on the system growth and addressed state or output feedback stabilization problem for high-order nonlinear systems with multiple time delays, respectively.

Motivated by the continuous control ideas in [11, 18], this paper continues the investigations in [1923] and further addresses the stabilizing control design for high-order time-delay nonlinear systems (1). The main contributions of this paper are twofolds. (i) By comparison with the existing results in [1921, 23], the nonlinear growth condition is largely relaxed and a much weaker sufficient condition is given. (ii) By successfully overcoming some essential difficulties such as the weaker assumption on the system growth and the construction of a , proper, and positive definite Lyapunov function, a new method to global stabilization of high-order time-delay nonlinear systems by state feedback is given and leads to much more general results than the previous ones.

The remainder of this paper is organized as follows. Section 2 presents some necessary notations, definition, and preliminary results. Section 3 formulates the control problem, presents the design scheme to the controller, and gives the main contributions of this paper. Section 4 gives a simulation example to demonstrate the effectiveness of the theoretical results. Section 5 addresses some concluding remarks. The paper ends with an appendix.

2. Mathematical Preliminaries

The following notations, definition, and lemmas will be used throughout the paper.

Notations. denotes the set of all nonnegative real numbers and denotes the real -dimensional space. and are positive odd integers} and and are positive odd integers, and . For a given vector , denotes its transpose, and denotes its Euclidean norm. denotes the set of all functions with continuous partial derivatives. denotes the set of all functions: , which are continuous, strictly increasing, and vanishing at zero; denotes the set of all functions which are of class and unbounded. For any and , the function is defined as . Besides, let and the arguments of the functions (or the functionals) will be omitted or simplified, whenever no confusion can arise from the context. For instance, we sometimes denote a function by simply , , or .

Definition 1 (see [24]). Weighted homogeneity: for fixed coordinates and real numbers , , consider the following.(i)The dilation is defined by for any , where is called the weights of the coordinates. For simplicity, we define dilation weight .(ii)A function is said to be homogeneous of degree if there is a real number such that for any .(iii)A vector field is said to be homogeneous of degree if there is a real number such that , for any , .(iv)A homogeneous -norm is defined as for all , for a constant . For simplicity, in this paper, we choose and write for .

Lemma 2 (see [24]). Given a dilation weight , suppose and are homogeneous functions of degree and , respectively. Then is also homogeneous with respect to the same dilation weight . Moreover, the homogeneous degree of   is .

Lemma 3 (see [24]). Suppose is a homogeneous function of degree with respect to the dilation weight . Then the following holds:(i) is homogeneous of degree with being the homogeneous weight of ;(ii)there is a constant such that . Moreover, if   is positive definite; then , where is a constant.

Lemma 4 (see [25]). For , , and being a constant, the following inequalities hold: If is odd, then

Lemma 5 (see [26]). Let , be real variables; then for any positive real numbers , , and , one has where is any real number.

3. State Feedback Controller Design

3.1. Assumption

The following assumption is imposed on system (1) in this paper.

Assumption 6. For , there are constants and such that where and ,  .

For simplicity, it is assumed that with being any even integer and being any odd integer, under which and the definition of in Assumption 6, we know that .

Remark 7. Assumption 6, which gives the nonlinear growth condition on the system drift terms, encompasses the assumptions in existing results [1921, 23]. Specifically, when and , it reduces to Assumption  2.1 in [19]. When , it is equivalent to those in [20, 21, 23]. Moreover, it is worth pointing out this assumption cannot be covered by Assumption  1 in [22], which can be represented as where is a constant. For example, the simple system ,   cannot be globally stabilized using the design method presented in [22] because of the presence of low-order term , but it is easy to verify that Assumption 6 in this paper is satisfied with and . This means that, to some extent, the system studied in this paper is less restrictive and allows for a much broader class of systems.

The objective of this paper is to design a state feedback controller for system (1) under Assumption 6 such that the closed-loop system is globally asymptotically stable.

To this end, we first introduce the following coordinate transformation: where , , , and is a constant to be determined.

Then, under the new coordinates ’s, system (1) is transformed into

Remark 8. We need to emphasize that the gain creates an extra freedom in control design. As a matter of fact, in the proof of Theorem 10, complex uncertainties will inevitably be produced in the amplification of nonlinearities. Hence, the gain can be used to effectively dominate all the possible uncertainties.

3.2. State Feedback Controller Design for Nominal Nonlinear System

We first construct a state feedback controller for the nominal nonlinear system of (8):

Step 1. Let , where is a positive number, and choose the Lyapunov function with . From (9), it follows that where the virtual controller is chosen as

Step i (). In this step, we can obtain the following property, whose proof is given in the appendix.

Proposition 9. Assume that at step , there is a , proper, and positive definite Lyapunov function , and a set of virtual controllers defined by with being constants, such that Then the Lyapunov function defined by is , proper, and positive definite, and there is such that
Hence at step , choosing from Proposition 9, we arrive at where and are positive constant. The system (8) and (17) can be written as the following compact form: where , , and . Introducing the dilation weight , from Definition 1, it can be shown that is homogeneous of degree with respect to .

3.3. Stability Analysis

We state the main results in this paper.

Theorem 10. For the time-delay nonlinear system (1) under Assumption 6, the state feedback controller in (7) and (17) renders that the equilibrium at the origin of the closed-loop system is globally asymptotically stable.

Proof. We prove Theorem 10 by four steps.
Step 1. We first prove that preserves the equilibrium at the origin.
From (17) and , we have By which and the definitions of ’s and , we easily see that is a continuous function of and for . This together with Assumption 6 implies that the solutions of -system is defined on a time interval , where may be a finite constant or , and preserves the equilibrium at the origin.
Step 2. We construct a Lyapunov-Krasovskii functional where is a positive parameter to be determined later. Because is , positive definite radially unbounded and by Lemma  4.3 in [27], there exist two class functions and such that
According to the homogeneous theory, there are positive constants and such that where is a positive definite function, whose homogeneous degree is . Therefore, the following inequality holds: with two class functions and .
With the help of , , it follows that where and are class functions and and , , are positive constants, because and . Defining , from (21), (22), and (25), it follows that
Step 3. Because and are homogeneous of degree and with respect to , by Lemmas 2 and 3, there is a constant such that
By (7), Assumption 6 and , we can find constants and such that since it can be seen that by definition , so
Noting that for , is homogeneous of degree ; from Lemma 5, we obtain where , , , , , and are positive constants.
According to (19), (21), (27), and (30), we get Therefore, by choosing there exists a constant such that from which, (23), and (24), we have for a class function .
By (26) and (34), we immediately get . Therefore, all solutions of -system are defined on a time interval . Then by Lyapunov-Krasovskii stability theorem [1], we can conclude that .
Step 4. Since (7) is an equivalent transformation, the closed-loop system consisting of (1), in (7) and (17), has the same properties as the system (8) and (17). Thus, the proof is completed.

3.4. Extension

In this subsection, we can extend the results developed above to high-order time-delay nonlinear system in nontriangular form: under the following assumption.

Assumption 11. For , there are constants , , , and such that where , , , and , .

It is obvious that Assumption 6 is a special case of Assumption 11, and, under this, some more general results are given.

Theorem 12. For the time-delay nonlinear system (35) under Assumption 11, the state feedback controller in (7) and (17) renders that the equilibrium at the origin of the closed-loop system is globally asymptotically stable.

Proof. Similar to (28), Assumption 11 will directly lead to (30). The rest of the proof is similar to that of Theorem 10 and hence is omitted here.

4. Simulation Example

To illustrate the effectiveness of the proposed controller, we consider the following low-dimensional system: where , , and .

It is worth pointing out that system (37) cannot be globally stabilized even by state feedback, using the design methods presented in [1923] because of the presence of low-order term . Choose , then , and . By Lemma 5, it can be verified that and satisfy Assumption 6 with . Moreover, noting that and , the controller proposed in this paper is applicable. Thus, in terms of the design steps developed in Section 3, a continuous controller of system (37) can be given to ensure that the closed-loop system meets the conclusions of Theorem 10.

Let and the initial states be , , and . Using MATLAB, Figures 1 and 2 are obtained to exhibit the the trajectories of the closed-loop system states and the control input. From these figures, it can be seen that and are asymptotically regulated to zero, which demonstrates the effectiveness of the control method proposed in this paper.

5. Conclusion

In this paper, a state feedback stabilization controller independent of time-delays is presented for a class of high-order nonlinear systems with time-varying delays under a weaker condition. The controller designed preserves the equilibrium at the origin and guarantees the globally asymptotic stability of the system. It should be noted that the proposed controller can only work well when the whole state vector is measurable. Therefore, a natural and more interesting problem is how to design output feedback stabilization controller for the systems studied in the paper if only partial state vector is measurable. In addition, in recent years, many results on stochastic nonlinear systems have been achieved [2836], and so forth; an important problem is whether the results in this paper can be extended to stochastic high-order nonlinear systems.

Appendix

Proof of Proposition 9

We first prove that defined in (15) is . According to the definition of , it is deduced that . From this, we know that is , and then is also .

Next, we prove that is positive definite and proper. When , using , this leads to

Similarly, it can be shown that (A.1) also holds when . Therefore which implies that is positive definite and proper, where is a constant.

At last, we prove inequality (16) by induction. We observe from (9), (14), and (15) that We now estimate the last two terms on the right-hand side of inequality (A.3).

Noting that , using (13) and Lemma 4, one obtains Using the fact and (A.4), it follows from Lemma 5 that where is a positive constant.

With the help of (9), (13), and Lemmas 4 and 5, one has where , , and are positive constants.

Choosing and and substituting (A.5), (A.6) into (A.3), one completes the proof.

Conflict of Interests

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

Acknowledgments

The authors thank the editor and the anonymous reviewers for their constructive comments and suggestions for improving the quality of the paper. This work is partially supported by National Nature Science Foundation of China under Grant 61073065 and the Key Program of Science Technology Research of Education Department of Henan Province under Grants 13A120016, 14A520003.