Abstract

The problem of global output-feedback stabilization for a class of stochastic high-order time-delay feedforward nonlinear systems with different power orders is investigated. By combining the adding one power integrator technique with the homogeneous domination approach, an output-feedback controller design is proposed, which ensures the global asymptotical stability in probability of the closed-loop system.

1. Introduction

In the last decades, stochastic systems have received much more attention since stochastic modeling has come to play an important role in many branches of science and engineering applications. For this type of systems, the authors in [110] presented the basic stability theory of the stochastic control systems.

Global stabilization of triangular structural stochastic nonlinear systems has been a major issue in control theory over the last decades. For lower-triangular systems (namely, feedback systems), the stochastic asymptotic stabilization has been studied by using backstepping approach; see [1113] and the references therein. Upper-triangular systems, which are also called feedforward systems, have been fully used to model many physical devices, such as the ball-beam with a friction term [14] and the cart-pendulum system [15]. By using a homogeneous domination approach, the problem of global output-feedback stabilization was addressed in [16] for a class of upper-triangular systems with higher-order nonlinearities. Then, the case of lower-order nonlinearities was considered in [17]. With the help of a generalized definition of homogeneity, the problem of using small controls to globally stabilize a class of upper-triangular systems was investigated in [18]. Inspired by the works [19, 20], the problem of using a sampled data controller to globally stabilize a class of uncertain upper-triangular systems was considered in [21]. When parameter uncertainties appeared in a system model, an adaptive stabilizer for feedforward nonlinear systems with general dynamic order in [22] was extended to [23].

On the other hand, time delays may arise naturally, which are usually the key factors that influence the stability of nonlinear systems. Many researchers have paid more attention to studying the stochastic nonlinear time-delay systems over the last decades and various results concerning stochastic lower-triangular nonlinear systems with time delays have been reported in [2427]. For the case where the delays are of unknown length, an adaptive control design was presented in [28] for a system in feedforward form. An approach for compensating input delay of arbitrary length was presented [29] for forward complete and strict-feedforward nonlinear systems. When the nonlinear functions were higher order in states, the problem of global stabilization by state feedback was addressed in [30, 31]. It should be pointed out that these results were obtained for the case of state measurement. Naturally, one may ask a challenging and interesting question: if not all the states are measurable, how do we design an output-feedback controller for stochastic high-order feedforward systems with time delay? To the best of our knowledge, no output-feedback stabilization control scheme has so far been proposed for stochastic high-order feedforward systems with time delay.

Inspired by the aforementioned discussion, we deal with the problem of global output-feedback stabilization for a class of stochastic high-order feedforward nonlinear systems with time-varying delay and different power orders. Firstly, we design a state-feedback controller for the nominal system using the adding one power integrator technique. Then, by designing a homogeneous observer for the nominal system, we explicitly construct a homogeneous output-feedback stabilizer under the certainty equivalence principle. At last, we propose a scaled controller which guarantees global asymptotic stability in probability of the closed-loop system.

The outline of this paper is as follows. Sections 2 and 3 offer some preliminary results and problem formulation, respectively. The output-feedback controller is designed and analyzed in Section 4. This paper is concluded in Section 5.

Notations. The following standard notations are used throughout this paper. denotes the real -dimensional space. for any . For any matrix , denotes the Frobenius norm and . For the sake of simplicity, sometimes function is denoted by ; represents the ith element of vector and . denotes the set of all functions with continuous th partial derivative. 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.

2. Preliminary Results

Consider the following stochastic time-delay system with an initial condition , where is a Borel measurable function; denotes the state vector and is the state vectors with time-delay; is an -dimensional standard Wiener process defined on the complete probability space with being a sample space,   being a -field, being a filtration, and being a probability measure; , are locally Lipschitz functions and satisfy ,  .

In the following, we borrow some definitions and lemmas which play an important role in stabilizing and analyzing the stochastic time-delay systems for later development in this paper.

Definition 1 (see [26]). Define the infinitesimal generator of function along system (1) as follows: in which is called the Hessian term of .

Definition 2 (see [26]). The equilibrium of system (1) is globally asymptotically stable (GAS) in probability if for any , there exists a function such that for any , , where .

Definition 3 (see [16]). For fixed coordinates and real numbers , one has the following.(i)The dilation is defined by ,  for all , with being called as the weights of the coordinates. For simplicity of notation, we define dilation weight .(ii)A function is said to be homogeneous of degree if there is a real number such that , for ,  .(iii)A vector field is said to be homogeneous of degree if there is a real number such that , for ,  ,  .(iv)A homogeneous -norm is defined as ,  for all , for a constant . For the simplicity, we choose and write for in this paper.

Lemma 4 (see [26]). Consider the stochastic time-delay system (1); if there exist a function and class functions satisfying the following inequalities: where is continuous and positive definite, then(1)there exists a unique solution on ,(2)the equilibrium of the system (1) is GAS in probability and .

Lemma 5 (see [16]). 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 6 (see [16]). 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

Lemma 7 (see [16]). For any ,  , and , the following inequalities hold: Moreover, when , where is a constant.

Lemma 8 (see [27]). Let and be any real numbers and ; then

Lemma 9 (see [27]). Let and be two positive real numbers. For any positive number , the following inequality holds

3. Problem Formulation

In this paper, we will consider the following stochastic high-order feedforward nonlinear system with time-varying delay in the form where , , denote the system state, output, and input, respectively; is the state vector with time-delay; is a time-varying delay. is an -dimensional standard Wiener process. For , and is a ratio of odd integers}. The drift functions and the diffusion functions are locally Lipschitz in and vanish at the origin.

In order to obtain the main results of this paper, the following assumptions are needed.

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

Assumption 11. The time-varying delay satisfies for a constant .

In this paper, we aim to constructively design a homogeneous output-feedback controller for system (9) under Assumptions 10-11, such that the closed-loop system is GAS in probability.

4. Controller Design and Stability Analysis

In this section, an output-feedback controller will be explicitly constructed for the nonlinear system (9). We will combine the adding one power integrator technique with the homogeneous domination approach for output-feedback stabilization. The design procedure can be divided into three steps: (i) we first design a state-feedback controller for the nominal system without the drift and diffusion functions using the adding one power integrator technique; (ii) then, by designing a homogeneous observer for the nominal system, we explicitly construct a homogeneous output-feedback stabilizer under the certainty equivalence principle; (iii) in the end, we propose a scaled controller which guarantees global asymptotic stability in probability of the closed-loop system.

For simplicity, we assume in this paper with being an even integer and being an odd integer. Based on this assumption, it is obvious that is a ratio of odd integers.

4.1. Homogeneous State-Feedback Control of Nominal Nonlinear System

In this subsection, we firstly introduce a key lemma, which avoids the zero-division problem and serves as a basis in the following design procedure. The proof is similar to that in [32].

Lemma 12. If , are guaranteed, then we can find , such that holds.

Now, we design a homogeneous state-feedback controller for the nominal system

Lemma 13. For system (13), there are positive definite, proper, and Lyapunov function , a state-feedback controller , and two positive constants, such that where ,   are defined in the following form:

Remark 14. For the deterministic work, it is well known that there only needs a positive definite, proper, and Lyapunov function for the controller design and analysis. However, for the stochastic system, the Lyapunov function must be positive definite, proper, and at least because of the appearance of the Hessian term.

4.2. Construction of a Homogeneous Observer

Since are unmeasurable, we design a reduced-order homogeneous observer where are constant gains to be determined later and .

According to the certainty equivalence principle, we use the estimated states to construct the implementable controller where .

In order to prove the global stability for the closed-loop system (13)–(16)-(17), we define and let for .

Therefore, the differential operator of is where .

Just as in [16], each term of the right-hand side of (20) can be estimated by the following propositions, whose proofs are omitted here.

Proposition 15. For , where ,  , is a continuous function with .

Proposition 16. For the implementable controller in (17), one obtains with positive constants and with    being a continuous function.

Proposition 17. For , there exists a constant such that

Proposition 18. For , with positive constants ,   and with being a continuous function.

Considering the Lyapunov function and substituting (21)–(24) into (20), one concludes

To determinate the observer gain in (16), we have the following proposition to deal with the redundant term in (14).

Proposition 19. There are constants such that

Defining the Lyapunov function and combining (14), (25), and (26) together yield

It is clear that by choosing one leads to with positive constants .

By denoting , the closed-loop system (13), (16), and (17) can be rewritten as which is homogeneous of degree with respect to . Following a similar way in [16], it can be shown that is homogeneous of degree about .

4.3. Stability Analysis

To state the main result in this paper, we first introduce the following coordinate transformation: where ,  ,  ,   is a constant to be determined later.

It follows from (32) that the system (9) can be rewritten as

Next, we construct a scaled homogeneous observer where are the gains selected in (28) and the controller is designed with the same construction of (17). The closed-loop system (33), (34), and (17) can be expressed as where , . Based on the above discussion, we are ready to prove the main result of this paper.

Theorem 20. Under Assumptions 10 and 11, there is an output-feedback controller such that the closed-loop system consisting of (9), (16), and (17) has a global unique solution and the equilibrium is GAS in probability.

Proof. We prove Theorem 20 as follows.
Step  1. From (17), for , one obtains
By Lemma 12, we know , , which implies that is . Therefore, the closed-loop system satisfies the locally Lipschitz condition.
Step  2. Construct a Lyapunov-Krasovskii functional which is positive definite, proper, and on , where are positive parameters to be determined later. According to Lemma 4.3 in [33], there are two functions and such that Then, with the notation in [26], it is easy to verify that where is a function. Because , then with .
Step  3. Since and are homogenous of degree and , respectively, by Lemmas 5 and 6, one has where is a constant.
Using Assumption 10 and the new coordinates in (32), we have and the power of in (42) is
Owing to ,  , one has
For , (44) gives
In summary, it can be concluded that there exists a positive constant such that with . According to Lemma 6, we deduce that where is a positive constant.
Similarly, there is a positive constant such that with . Then, where are positive constants.
By choosing and Definition 1, Assumption 11, (41), (48), and (51), one can obtain where . Apparently, by choosing , there is a constant , such that .
From Steps  1 to 3 and Lemma 4, it is obtained that the closed-loop system (33), (34), and (17) has a global unique solution and the equilibrium is GAS in probability.
Step  4. Because of the equivalence in (32), then there is a global unique solution for the closed-loop system consisting of (9), (16), and (17) and and the equilibrium is GAS in probability.

Remark 21. Using the adding one power integrator method and the homogeneous domination technique, [34] has designed a state-feedback stabilizer for a class of stochastic high-order feedforward nonlinear systems. However, to deal with the unmeasurable states and time-delay terms in this paper, we choose a reduced-order homogeneous observer and an appropriate Lyapunov-Krasovskii functional, which is not an easy work.

5. Conclusions

For a class of stochastic high-order feedforward nonlinear systems with different power orders and time-varying delay, an output-feedback stabilizer has been designed by virtue of the adding one power integrator technique and homogeneous domination approach. It globally stabilizes the origin of the closed-loop system. The proof of stability we have adopted depends on the construction of a Lyapunov-Krasovskii functional.

Conflict of Interests

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