Volume 2013, Issue 1 151374
Research Article
Open Access

State-Feedback Stabilization for a Class of Stochastic Feedforward Nonlinear Time-Delay Systems

Liang Liu

Corresponding Author

Liang Liu

College of Engineering, Bohai University, Liaoning 121013, China bhu.edu.cn

Search for more papers by this author
Zhandong Yu

Zhandong Yu

College of Engineering, Bohai University, Liaoning 121013, China bhu.edu.cn

Search for more papers by this author
Qi Zhou

Qi Zhou

College of Information Science, Bohai University, Liaoning 121013, China bhu.edu.cn

Search for more papers by this author
Hamid Reza Karimi

Hamid Reza Karimi

Department of Engineering, Faculty of Engineering and Science, University of Agder, 4898 Grimstad, Norway uia.no

Search for more papers by this author
First published: 09 December 2013
Citations: 1
Academic Editor: Ming Liu

Abstract

We investigate the state-feedback stabilization problem for a class of stochastic feedforward nonlinear time-delay systems. By using the homogeneous domination approach and choosing an appropriate Lyapunov-Krasovskii functional, the delay-independent state-feedback controller is explicitly constructed such that the closed-loop system is globally asymptotically stable in probability. A simulation example is provided to demonstrate the effectiveness of the proposed design method.

1. Introduction

In recent years, the study on stochastic lower-triangular nonlinear systems has received considerable attention from both theoretical and practical point of views see, for instance, [119] and the references therein. This paper will further consider the following stochastic feedforward nonlinear time-delay systems described by
()
where x = (x1, …, xn) TRn and uR are the system state and input signal, respectively, (xi, …, xn) T, is the time-delayed state vector, and d(t):R+ → [0, d] is the time-varying delay. ω is an m-dimensional standard Wiener process defined on the complete probability space (Ω, , {t} t≥0, P) with Ω being a sample space, being a σ-field, {t} t≥0 being a filtration, and P being a probability measure. fi : Rni−1 × Rni−1R and gj:Rnj × RnjRm are assumed to be locally Lipschitz with fi(0,0) = 0 and gj(0,0) = 0, i = 1, …, n − 2, j = 1, …, n − 1.

Feedforward (also called upper-triangular) system is another important class of nonlinear systems. Firstly, from a theoretical point of view, since they are not feedback linearizable and maybe not stabilized by applying the conventional backstepping method, the stabilization problem of these systems is more difficult than that of lower-triangular systems. Secondly, many physical devices, such as the cart-pendulum system in [20] and the ball-beam system with a friction term in [21], can be described by equations with the feedforward structure. In the recent papers, the stabilization problems for feedforward nonlinear (or time-delay) systems have achieved remarkable development; see, for example, [2229] and the references therein.

However, all these above-mentioned results are limited to deterministic systems. There are fewer results on stochastic feedforward nonlinear systems until now, due to the special characteristics of this system. To the best of the authors’ knowledge, [30] is the only paper to consider this kind of stochastic feedforward nonlinear systems, but the assumptions on the nonlinearities are restrictive.

The purpose of this paper is to further weaken the assumptions on the drift and diffusion terms of system (1) and solve the state-feedback stabilization problem. By using the homogeneous domination approach in [26] and choosing an appropriate Lyapunov-Krasovskii functional, a delay-independent state-feedback controller is explicitly constructed such that the closed-loop system is globally asymptotically stable in probability.

The paper is organized as follows. Section 2 provides some preliminary results. The design and analysis of state-feedback controller are given in Sections 3 and 4, respectively, following a simulation example in Section 5. Section 6 concludes this paper.

2. Preliminary Results

The following notations, definitions, and lemmas are to be used throughout the paper.

R+ denotes the set of all nonnegative real numbers, and Rn denotes the real n-dimensional space. For a given vector or matrix X, XT denotes its transpose, Tr {X} denotes its trace when X is square, and |X| is the Euclidean norm of a vector X. 𝒞([−d, 0]; Rn) denotes the space of continuous Rn-value functions on [−d, 0] endowed with the norm ∥·∥ defined by ∥f∥ = sup x∈[−d,0]|f(x)| for f𝒞([−d, 0]; Rn); denotes the family of all 0-measurable bounded 𝒞([−d, 0]; Rn)-valued random variables ξ = {ξ(θ):−dθ ≤ 0}. 𝒞i denotes the set of all functions with continuous ith partial derivatives; 𝒞2,1(Rn × [−d, ); R+) denotes the family of all nonnegative functions V(x, t) on Rn × [−d, ) which are 𝒞2 in x and 𝒞1 in t; 𝒞2,1 denotes the family of all functions which are 𝒞2 in the first argument and 𝒞1 in the second argument. 𝒦 denotes the set of all functions R+R+, which are continuous, strictly increasing, and vanishing at zero; 𝒦 denotes the set of all functions which are of class 𝒦 and unbounded; 𝒦 is the set of all functions β(s, t): R+ × R+R+, which are of 𝒦 for each fixed t and decrease to zero as t for each fixed s.

Consider the following stochastic time-delay system:
()
with initial data , where d(t) : R+ → [0, d] is a Borel measurable function, ω is an m-dimensional standard Wiener process defined on the complete probability space (Ω, , {t} t≥0, P), and f : Rn × Rn × R+Rn and g : Rn × Rn × R+Rn×m are locally Lipschitz in (x(t), x(td(t))) uniformly in t with f(0,0, t) ≡ 0 and g(0,0, t) ≡ 0.

Definition 1 (see [6].)For any given V(x(t), t) ∈ 𝒞2,1 associated with system (2), the differential operator is defined as

()

Definition 2 (see [6].)The equilibrium x(t) = 0 of system (2) is said to be globally asymptotically stable (GAS) in probability if for any ϵ > 0 there exists a function β(·, ·) ∈ 𝒦 such that P{|x(t)| ≤ β(∥ξ∥, t)} ≥ 1 − ϵ for any t ≥ 0, , where ∥ξ∥ = sup θ∈[−d,0]|x(θ)|.

Definition 3 (see [26].)For fixed coordinates (x1, …,  xn) TRn and real numbers ri > 0, i = 1, …, n, one has the following.

  • (i)

    The dilation Δɛ(x) is defined by for any ɛ > 0; r1, …, rn are called as the weights of the coordinates. For simplicity, we define dilation weight Δ = (r1, …, rn).

  • (ii)

    A function V𝒞(Rn, R) is said to be homogeneous of degree τ if there is a real number τR such that Vɛ(x)) = ɛτV(x1, …, xn) for any xRn∖{0}, ɛ > 0.

  • (iii)

    A vector field h𝒞(Rn, Rn) is said to be homogeneous of degree τ if there is a real number τR such that for any xRn∖{0}, ɛ > 0, i = 1, …, n.

  • (iv)

    A homogeneous p-norm is defined as for any xRn, where p ≥ 1 is a constant. For simplicity, in this paper, one chooses p = 2 and writes ∥xΔ for ∥xΔ,2.

Lemma 4 (see [6].)For system (2), if there exist a function V(x(t), t) ∈ 𝒞2,1(Rn × [−d, ); R+), two class 𝒦 functions α1, α2, and a class 𝒦 function α3 such that

()
then there exists a unique solution on [−d, ) for (2), the equilibrium x(t) = 0 is GAS in probability, and P{lim t|x(t)| = 0} = 1.

Lemma 5 (see [26].)Given a dilation weight Δ = (r1, …, rn), suppose that V1(x) and V2(x) are homogeneous functions of degrees τ1 and τ2, respectively. Then V1(x)V2(x) is also homogeneous with respect to the same dilation weight Δ. Moreover, the homogeneous degree of V1 · V2 is τ1 + τ2.

Lemma 6 (see [26].)Suppose that V : RnR is a homogeneous function of degree τ with respect to the dilation weight Δ; then (i) V/xi is homogeneous of degree τri with ri being the homogeneous weight of xi; (ii) there is a constant c such that . Moreover, if V(x) is positive definite, then , where is a positive constant.

Lemma 7 (see [5].)Let c and d be positive constants. For any positive number , then |x|c|y|d.

3. Design of State-Feedback Controller

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

3.1. Assumptions

For system (1), we need the following assumptions.

Assumption 8. For i = 1, …, n − 1, there exist positive constants a1 and a2 such that

()
where xn+1 = xn+1(td(t)) = 0.

Assumption 9. The time-varying delay d(t) satisfies for a constant γ.

Remark 10. When xi+1 = xi+1(td(t)) = 0 in diffusion term gi  (i = 1, …, n − 1), Assumption 8 reduces to the same form as in [30], from which one can see that system (1) is more general than [30]. The significance and reasonability of Assumption 8 are illustrated in that paper.

Firstly, we introduce the following coordinate transformation:

()
where 0 < κ < 1 is a scalar to be designed. By (6), (1) can be expressed as
()
where , , i = 1, …, n − 1, .

3.2. State-Feedback Controller Design

We construct a state-feedback controller for system (7).

Step 1. Introducing ξ1 = η1 and choosing , from (3) and (7), it follows that

()

The first virtual controller

()
leads to .

Step i (i = 2, …, n). In this step, we can get the following lemma.

Lemma 11. Suppose that at step i − 1, there is a set of virtual controllers defined by

()
such that the (i − 1)th Lyapunov function satisfies
()
where αj, ci−1,j, j = 1, …, i − 1, are positive constants. Then there exists a virtual control law such that
()
where .

Proof. See the Appendix.

At step n, choosing and
()
with the help of (3), (12), and (13), one obtains
()
where , , , , cni, i = 1, …, n, are positive constants. The system (7) and (13) can be written as
()
where , E(η) = (η2, …, ηn, v) T, and F and G are defined as in (14). Introducing the dilation weight , by (10) and , one has
()
from which and Definition 3, we know that Vn(η) is homogeneous of degree 4.

4. Stability Analysis

We state the main result in this paper.

Theorem 12. If Assumptions 8 and 9 hold for the stochastic feedforward nonlinear time-delay system (1), under the state-feedback controller u = κnv and (13), then

  • (i)

    the closed-loop system has a unique solution on [−d, );

  • (ii)

    the equilibrium at the origin of the closed-loop system is GAS in probability.

Proof. We prove Theorem 12 by four steps.

Step  1. Since fi, gi, i = 1, …, n, are assumed to be locally Lipschitz, so the system consisting of (13) and (15) satisfies the locally Lipschitz condition.

Step  2. We consider the following entire Lyapunov function for system (15):

()
where and are positive parameters to be determined. It is easy to verify that V(η) is 𝒞2 on η. Since Vn(η) is continuous, positive definite, and radially unbounded, by Lemma 4.3 in [31], there exist two class 𝒦 functions β1 and α21 such that
()

By Lemma 4.3 in [31] and Lemma 6, there exist positive constants and , class 𝒦 functions and , and a positive definite function U(η) whose homogeneous degree is 4 such that

()

From d(t) : R+ → [0, d] and (19), it follows that

()
where , c are positive constants and α22 is a class 𝒦 function. Since |η| ≤ sup ds≤0|η(s + t)|, α21(|η|) ≤ α21(sup ds≤0|η(s + t)|). Defining β2 = α21 + α22, by (17), (18), and (20), one gets
()

Step  3. By Lemma 6 and (14), there exists a positive constant c01 such that

()

By Assumption 8, (6), and 0 < κ < 1, one has

()
where δ1 is a positive constant. Using Lemmas 57 and (23), one gets
()
where c02, , and are positive constants. Similar to (23), there is a positive constant δ2 such that
()
from which and Lemmas 57, one gets
()
where c03, , and are positive constants. With the help of (3), (15), (17), (22), (24), (26), and Assumption 9, one has
()

Since c01 is a constant independent of c02, c03, , , and γ, by choosing

()

Equation (27) becomes , where c0 is a positive constant. By (19), one obtains

()

By Steps 1–3 and Lemma 4, the system consisting of (13) and (15) has a unique solution on [−d, ), η = 0 is GAS in probability, and P{lim t|η| = 0} = 1.

Step  4. Since (6) is an equivalent transformation, so the closed-loop system consisting of (1), u = κnv, and (13) has the same properties as the system (13) and (15). Theorem 12 holds.

Remark 13. In this paper, the homogeneous domination idea is generalized to stochastic feedforward nonlinear time-delay systems (1). The underlying philosophy of this approach is that the state-feedback controller is first constructed for system (7) without considering the drift and diffusion terms, and then a low gain κ in (6) (whose the value range is (28)) is introduced to state-feedback controller to dominate the drift and diffusion terms.

Remark 14. Due to the special upper-triangular structure and the appearance of time-varying delay, there is no efficient method to solve the stabilization problem of system (1). By combining the homogeneous domination approach with stochastic nonlinear time-delay system criterion, the state-feedback stabilization of system (1) was perfectly solved in this paper.

Remark 15. One of the main obstacles in the stability analysis is how to deal with the effect of time-varying delay. In this paper, by constructing an appropriate Lyapunov-Krasovskii functional (17), this problem was effectively solved.

Remark 16. It is worth pointing out that the rigorous proof of Theorem 12 is not an easy job.

5. A Simulation Example

Consider the following stochastic nonlinear system:
()
where d(t) = 1 + (1/2)sin t. It is easy to verify that Assumptions 8 and 9 are satisfied with a1 = 0, a2 = 1/10, and .
Design of Controller. Introducing the following coordinate transformation:
()
system (30) becomes
()
where . Choosing ξ1 = η1 and , we obtain , where . By and , a direct calculation leads to
()
By Lemma 7, one has
()
Choosing
()
and substituting (34) into (33), one gets
()
By (31) and (35), one obtains the actual controller
()
The Choice of  κ*. Defining and choosing
()
by (3), (36), and d(t) = 1 + (1/2)sin t, one obtains
()
from which we get the critical value κ* = 0.4; that is, κ ∈ (0,0.4).

In simulation, we choose the initial values x1(0) = −0.8, x2(0) = 1, and κ = 0.3. Figure 1 demonstrates the effectiveness of the state-feedback controller.

Details are in the caption following the image
(a) The response of the closed-loop system (30) and (b) the response of the controller (37).
Details are in the caption following the image
(a) The response of the closed-loop system (30) and (b) the response of the controller (37).

6. A Concluding Remark

By using the homogeneous domination approach, this paper further studied the state-feedback stabilization problem for a class of stochastic feedforward nonlinear time-delay systems (1). The delay-independent state-feedback controller is explicitly constructed such that the closed-loop system is globally asymptotically stable in probability.

There still exist some problems to be investigated. One is to consider the output-feedback control of switched stochastic system (1) by using average dwell time method in [32]. Another is to find a practical example (similar to [3335]) for system (1). The last is to generalize the networked control systems (such as [3641]) to stochastic feedforward networked systems.

Conflict of Interests

The authors declare that there is no conflict of interests.

    Acknowledgments

    The authors would like to express sincere gratitude to editor and reviewers for their helpful suggestions in improving the quality of this paper. This work was partially supported by the National Natural Science Foundation of China (nos. 61304002, 61304003, 61203123, and 61304054), the Fundamental Research Funds for the Central Universities of China (no. 11CX04044A), the Shandong Provincial Natural Science Foundation of China (no. ZR2012FQ019), and the Polish-Norwegian Research Programme operated by the National Center for Research and 24 Development under the Norwegian Financial Mechanism 2009–2014 in the frame of Project Contract (no. Pol-Nor/200957/47/2013).

      Appendix

      Proof of Lemma 11. According to (3), (7), (10), and (11), one has

      ()
      We concentrate on the last two terms on the right-hand side of (A.1).

      Using (10) and Lemma 7, one obtains

      ()
      where li,i−1,1, lik2(k = 1, …, i − 1), ρi1, and ρi2 are positive constants, α0 = 0.

      Choosing

      ()
      and substituting (A.2)-(A.3) into (A.1), one gets the desired result.

        The full text of this article hosted at iucr.org is unavailable due to technical difficulties.