Stability criteria on delay-dependent robust stability for uncertain neutral stochastic nonlinear systems with time-delay.

This work mainly studies the robust stability analysis and design of a controller for uncertain neutral stochastic nonlinear systems with time-delay. Using a modified Lyapunov-Krasovskii functional and the free-weighting matrices technique, we establish some new delay-dependent criteria in terms of linear matrix inequality (LMI). The innovative point of this work is that we generalize the robust stability analysis of nonlinear stochastic time-delay systems to the uncertain neutral stochastic systems. Due to the added derivative term of time-delay, the proposed scheme can be applied more widely. Finally, numerical examples are provided to validate the derived results.

Introduction

Time-delay systems are widely used to model concrete systems in engineering sciences, such as biology, chemistry, mechanics [1-3]. Time-delay systems, with the rate of current state affected by past state, are negative for the analysis and design of control systems since they may be responsible for performance degradation and instability [4, 5]. There are many valuable results about stability conditions for time-delay systems [6-9]. Generally, the delay-dependent stability condition is less conservative than the delay-independent one. Thus, pursuing the delay-dependent stability condition motivates the present study [10-14].

Over the past years, the Brownian motion phenomenon has been common in biology, economics, and engineering applications. Considerable attention has been devoted to stochastic systems governed by Itô stochastic differential equations, where the noises are described by Brownian motion [15, 16]. A large number of works that focused on stochastic time-delay systems have been published; see, for example, [17-20]. Wang et al. in [19] considered the problems of non-fragile robust stochastic stabilization and robust control for uncertain stochastic nonlinear time-delay systems. Both the robust stability analysis and non-fragile robust control for a class of uncertain stochastic nonlinear time-delay systems that satisfy a one-sided Lipschitz condition were investigated in [17]. Based on the stochastic Lyapunov–Krasovskii stability approach, the problem of stochastic stability analysis was investigated for control of uncertain stochastic Markovian jump systems (SMJSs) with mixed time-varying delays [18]; meanwhile, some delay-dependent sufficient conditions on the stochastic stability and γ-disturbance attenuation were presented.

The neutral stochastic systems can effectively model a class of physical dynamical systems, since the mathematical models of them include the time-delays of state and its derivative. These models have received considerable attention recently [21-25]. In fact, neutral stochastic systems are applied widely in automatic control, aircraft stabilization, lossless transmission lines, and system of turbojet engine [26-28]. Both the stability analysis and synthesis of neutral stochastic systems have been extensively studied [29-36]. By using the generalized integral inequality and the nonnegative local martingale convergence theorem, the authors in [30] investigated the exponential stability and the almost sure exponential stability of neutral stochastic delay systems (NSDSs) with Markovian switching. The authors in [33] constructed a new sliding surface functional and considered the sliding mode control (SMC) for uncertain neutral stochastic systems with Markovian jumping parameters and time-varying delays. Using a delayed output-feedback control method, Karimi et al. in [36] designed a controller, which guarantees synchronization of the second-order neutral master and slave systems.

On the other hand, a useful one-sided Lipschitz condition was developed in [37]. Since the nonlinear part satisfying this condition can make positive contributions to the stability of systems, we can easily solve the observer design problem for nonlinear systems [17, 38–40]. Inspired by the above works, we investigate the robust stability of neutral stochastic time-delay nonlinear systems with one-sided Lipschitz condition.

In this paper, we propose a class of uncertain neutral stochastic nonlinear systems. Since the systems have a derivative term of time-delay of state, they can be used in lots of fields. We investigate the nonlinear function with both one-sided Lipschitz condition and a quadratic inner-bounded condition. Firstly, a delay-dependent sufficient condition is proposed by constructing an appropriate Lyapunov–Krasovskii functional based on the free-weighting matrices method. Secondly, we construct a memory-less non-fragile state-feedback controller to guarantee asymptotical stability of the closed-loop systems. Finally, we present some numerical examples to illustrate the advantages and effectiveness of our results and find that the proposed method is less conservative.

The organization of this paper is given as follows. In the next section, we recall some notations, lemmas, and definitions of stochastic differential equations. In Sect. 3, the main problems are formulated. In Sect. 4, we give two delay-dependent sufficient conditions for uncertain neutral stochastic nonlinear time-delay systems. In Sect. 5, we design a memory-less non-fragile state-feedback controller to guarantee that the closed-loop systems are asymptotically stable, and in Sect. 6, we present two numerical examples to demonstrate the validity of the mentioned method. The last section contains a conclusion.

Notations and preliminaries

In this section, we introduce some basic concepts, properties, and notations. These basic facts can be found in any introductory book on stochastic differential equations; see, for example, [41-43].

Throughout this paper, let be a complete probability space with a filtration satisfying the usual conditions (i.e., the filtration contains all -null sets and is right continuous). is a one-dimensional Brownian motion defined on the probability space adapted to the filtration. and denote the n-dimensional Euclidean space and the set of all real matrices, respectively. stands for the usual norm. The inner product of vectors x and y in is denoted by or . Let denote the family of all real-valued functions defined on such that they are continuously twice differentiable in x and once in t. denotes the space of all continuous -valued functions φ defined on with a norm sup. The notation means that P is real symmetric and positive definite; the asterisk “∗” denotes a matrix that can be inferred by symmetry and the superscript “T” represents the transpose of a matrix or a vector. In a matrix, denotes an -block element of the matrix. The notation represents the mathematical expectation operator. I denotes the identity matrix of compatible dimension.

Definition 2.1

([17])

The nonlinear function is said to be one-sided Lipschitz if there exist such that for , where constants and are positive, zero, or even negative, and they are called one-sided Lipschitz constants for with respect to x and y.

Definition 2.2

([17])

The nonlinear function is called quadratic inner-bounded in the region C if, for any , there exist constants , , and γ such that

Lemma 2.1

(Schur complement [43])

For a given symmetric matrix the following conditions are equivalent:

,

, ,

, .

Lemma 2.2

([44])

Let , , and . Then we have

Lemma 2.3

(S-procedure [45])

Denote the set , and let , , , …, be some functions or functionals. Further define the domain as follows: and the two following conditions:

,

∃ such that

Then (2) implies (1). The procedure of replacing (1) by (2) is called the S-procedure.

Problem formulation

Consider the following uncertain neutral stochastic time-delay system described in Itô’s form: where is the state vector, is the control input, and is the unknown time-varying delay satisfying and with real constants τ, d. is a nonlinear function with respect to the state and the delayed state , . is a continuous vector-valued initial function, and is a one-dimensional Brownian motion satisfying in which , and are known real constant matrices of appropriate dimensions. Moreover, , , , and are unknown matrices representing time-varying parameter uncertainties and are assumed to be of the form where , , , and are known real constant matrices and is an unknown time-varying matrix function satisfying The parameter uncertainties , , , and are said to be admissible if both (4) and (5) hold [17].

Robust stability analysis

Let System (3) can be rewritten as follows: We will consider the problem of robust stability for time-varying delay system (6) with .

Theorem 4.1

Consider the neutral stochastic time-delay system (6) with . The nonlinear function satisfies (1) and (2). For given scalars τ and d, if there exist matrices , , , , (), and () of appropriate dimensions and positive scalars , , satisfying the following LMIs: where then the null solution of the stochastic time-delay system (6) is asymptotically stable in the mean square.

Proof

Choose the following Lyapunov–Krasovskii functional: where

Using Itô’s formula [41], we obtain the stochastic differential of as follows:

Taking the expectation of both sides of (11), we have Set

Using the Newton–Leibniz formula and the free-weighting matrices technique, we can derive the following equations: where () are arbitrary matrices with appropriate dimensions. Using the properties of the stochastic integral [41], we have Adding the left-hand sides of (13) and (14) onto , (12) is transformed to where For , we have

On the other hand, by using the one-sided Lipschitz (1) and the quadratically inner-bounded condition (2), we obtain the following inequalities:

Using the S-procedure in (17), we obtain that is satisfied if there exist positive scalars , , satisfying

Moreover, the following formula holds for any positive definite matrix of appropriate dimensions: We can decompose the integration interval into two subintervals that are and , and let Combining the above formula (21) and rearranging (20), we have the following inequality: where

Utilizing the Schur complement Lemma 2.1, (23) is equivalent to the following LMI: Pre-and post-multiplying (24) by , we obtain LMI (7). Combining with and , we find that , i.e., it guarantees the asymptotic stability of system (6) in the mean square. □

If the uncertain parameters , , , and in system (6) are equal to zero, the system is simplified to the following deterministic stochastic system: The following conclusion of the robust asymptotic stability is obtained by Theorem 4.1 for the deterministic stochastic system (25).

Corollary 4.1

Consider the stochastic time-delay system (25). The nonlinear function satisfies (1) and (2). For given scalars τ and d, if there exist matrices , , , , (), and matrices () of appropriate dimensions and positive scalars , , satisfying the following LMIs: where the null solution of the stochastic time-delay system (25) is asymptotically stable in the mean square.

Non-fragile robust state feedback controller design

In this section, we consider the design of a non-fragile state-feedback controller: guaranteeing the robust stability for the closed-loop system (3). K is the controller gain, and represents the gain perturbations with the following assumption: where and are given real constant matrices with appropriate dimensions.

Theorem 5.1

Consider the stochastic time-delay system (6). The nonlinear function satisfies (1) and (2). For given scalars τ and d, if there exist matrices , , , , (), and matrices () of appropriate dimensions and positive scalars , , , , and σ satisfying the following LMIs: where the closed-loop systems are asymptotically stable in the mean square with the non-fragile state-feedback controller .

By using the controller and letting system (6) can be rewritten as follows: Similar to Theorem 4.1, is guaranteed by the following matrix inequality : where According to condition (30), we have where where Other notations are defined by (28), and denotes a block matrix with appropriate dimensions whose all nonzero blocks are the -block , the -block , and all other blocks are zero matrices. Similarly, , , . According to Lemma 2.2, for any scalars and , we have Let , using the Schur Lemma 2.1, we arrive at if LMI (31) is satisfied. □

Two illustrative numerical examples

In order to illustrate the flexibility and reduced conservativeness of the proposed results, we present two numerical examples in this section.

Example 6.1

[17] Consider the neutral stochastic time-delay nonlinear system (25) with and the following nonlinear function that satisfies the one-sided Lipschitz (1) and the quadratically innerbounded conditions (2): with , , , (see [17]). We consider the coefficient matrix C as follows: By Corollary 4.1, we can obtain the allowable upper bound of the time-delay for the above systems, which is greater than the previous result (the allowable upper bound in [17]). Comparing the allowable values of the systems, we see that our result are less conservative. Since our system considers neutral stochastic systems with derivatives of state time-delay, our results may have more extensive applications.

Example 6.2

Consider the uncertain neutral stochastic nonlinear time-delay system (3) with

Selecting the same nonlinear function as Example 6.1 and letting , we solve LMIs (31), (32), and (33) to obtain the allowable bound . Hence, for any time-delay τ satisfying , there exists a non-fragile state-feedback controller such that the closed-loop systems are asymptotically stable in the mean square. For this example, if we choose the time-delay as , according to Theorem 5.1, we can obtain a set of solutions as follows: and the desired state-feedback matrix .

Conclusions

In this work, the robust stability has been investigated for neutral stochastic time-delay systems with disturbance, uncertainties, and one-sided Lipschitz nonlinearity. The parametric uncertainties are assumed to be time-varying and norm bounded. Firstly, the allowable upper bound of time-delay has been obtained, which is a less conservative result. Secondly, based on Lyapunov stability, a novel non-fragile state-feedback controller has been designed to guarantee the robust stability of the closed-loop systems. Finally, two numerical examples have been given to illustrate the effectiveness of the proposed control scheme.