Robust stability analysis of impulsive complex-valued neural networks with time delays and parameter uncertainties.

The present study considers the robust stability for impulsive complex-valued neural networks (CVNNs) with discrete time delays. By applying the homeomorphic mapping theorem and some inequalities in a complex domain, some sufficient conditions are obtained to prove the existence and uniqueness of the equilibrium for the CVNNs. By constructing appropriate Lyapunov-Krasovskii functionals and employing the complex-valued matrix inequality skills, the study finds the conditions to guarantee its global robust stability. A numerical simulation illustrates the correctness of the proposed theoretical results.

Introduction

Robustness is the ability of maintaining the performance of the controlling system under certain parameter perturbations. When these inner structural disturbances result in the instability of the system, additional control mechanisms should be used to improve these flimsy properties. When the control method is introduced, the uncertainty and error brought by the control itself also become another disturbance factor of the system. In real life and engineering practices, perturbations of system characteristics or parameters are often unavoidable. Perturbations exist for two main reasons. One is that the actual measurement is not accurate and usually deviates from its designed value. The other is slow drift of characteristics or parameters, which is influenced by the environmental factors in the running process of the system. When these uncertainties or random disturbances exist, the questions how and in what range to control the quality of the system or maintain its characteristics are of great importance. Therefore, robustness has become an important research topic in control theory, and it is also a basic problem that must be considered in the design of almost all kinds of control systems, such as image and signal processing, combinatorial optimization problems, pattern recognition, etc. It has attracted great attention of the scholars that work with neural networks [1-6].

For many applications of neural networks, on the one hand, the states change rapidly at a fixed time, and the duration of these abrupt changes is often neglected, assuming that they are caused by jumps. Such processes are studied by impulsive differential equations (for the relative theorems, we refer to [7]), and there are numerical applications of such equations in science and technology, mass services, etc. [8-11]. On the other hand, due to the neural processing and signal transmission, a time delay often occurs, which may cause instability and a poor performance of the system [12]. Generally, delays may be caused by the measuring process and therefore the effect of time delay is common. Also many efforts are being made as regards the delay-dependent stability analysis of neural networks [13-23].

In the application of neural networks, complex signals are usually preferable [24-29], so it is necessary to analyze complex-valued neural networks (CVNNs), which deal with the complex-valued date, weight and neuron activation functions. However, much work mainly focuses on the boundedness, μ-stability, power-stability, exponent-stability, etc. [3, 18, 30–32], and little work considers the robust stability of neural networks with time delay and impulse in the complex domain. In [2, 6], the authors investigated a kind of recurrent CVNNs with time delays, but the activation functions are separated by real and imaginary parts and the analysis methods are also similar to those in their real domain. Therefore, the stability criteria cannot be applied if the activation functions cannot be expressed by separating their real and imaginary parts or if they are unbounded. Moreover, compared to real-valued neural networks, the advantage of CVNNs is that they can directly deal with two-dimensional data, which can also be processed by real-valued neural networks but then require double neurons. Consequently, as a class of complex-valued systems, CVNNs have undergone a growing number of studies that explore the application of neural networks. Therefore, the present study considers the robust stability of CVNNs with discrete time delay and impulse, which is valid regardless of whether the activation functions are separated or not. The relative results are extension of those in reference [2, 6]. Therefore, the robust stability for impulsive CVNNs with time delays is considered in this paper. Furthermore, compared with [2] and [6], the robust stability criteria for the addressed neural networks are valid regardless of whether the activation functions can be separated or not.

The structure of this paper is arranged as follows. Section 2 gives some preliminaries, including some notations and important lemmas, introducing the complex-valued recurrent networks model. The existence and uniqueness of the equilibrium are proved by using the homeomorphism mapping principle in Section 3. In Section 4, the global robust stability of the neural networks is investigated by building the proper Lyapunov functions. An example is given to illustrate the correction of our results. In Section 5, we conclude the paper.

Problems formulation and preliminaries

Some notations of this paper are presented here firstly. i denotes the imaginary unit, i.e., . , , and represent the set of n-dimensional complex vectors, real matrices, and complex matrices, respectively. The subscripts T and ∗ denote matrix transposition and matrix conjugate transposition, respectively. For complex vector , let be the module of the vector z and be the norm of the vector z. For complex matrix , let denote the module of the matrix A and denote the norm of the matrix A. I denotes the identity matrix with appropriate dimensions. The notation (or ) means that is positive semi-definite (or positive definite). In addition, and are defined as the largest and the smallest eigenvalue of positive definite matrix P, respectively.

Motivated by [2], we consider the following impulsive CVNN model with time delays: where n is the number of neurons, denotes the state of neuron i at time t, is the complex-valued activation function, () are constant time delays and satisfy , with is the self-feedback connection weight, and are the connection weights, and is the external input. Here is a linear map, is the jump of at moments , and is a strictly increasing sequence such that .

We rewrite (1) in the equivalent matrix-vector form where , , , , , , , , and .

Assume that system (1) or (2) is supplemented with the initial values given by or in the equivalent vector form where is a complex-valued continuous function defined on and with the norm .

The following assumptions will be needed in the study:

(H1) The parameters , , , and in neural system (1) are assumed to be norm-bounded and satisfy where , , , , , , , , , , with , , , , , and .

(H2) For , the neuron activation function is continuous and satisfies for any , where is a real constant. Furthermore, define .

Definition 1

A function is a solution of system (1) satisfying the initial value condition (3), if the following conditions are satisfied:

is absolutely continuous on each interval ,  ,

for any ,  , and exist and .

Definition 2

The neural network defined by (1) with the parameter ranges defined by (H1) is globally asymptotically robust stable if the unique equilibrium point of the neural system (1) is globally asymptotically stable for all , , , and .

Lemma 1

[10]

For any , if is a positive definite Hermitian matrix, then .

Lemma 2

See [10]

A given Hermitian matrix where , , and , is equivalent to any of the following conditions:

and ,

and .

Lemma 3

[10]

If is a continuous map and satisfies the following conditions: then is a homeomorphism of onto itself.

is injective on ,

,

Lemma 4

Suppose . Let R and S be real positive diagonal matrices. The function () satisfies (). Then, for any , the following inequalities hold: where , , and .

Proof

It should be noted that since . Then we calculate directly that Hence inequality (5) holds.

Next we prove inequality (6). Let and . Then . It is obvious that since R is a real positive diagonal matrix. From , it follows that and for all . Then and , which means . Hence . Noting that , by inequality (5), we infer Therefore, inequality (6) holds.

Next we prove inequality (7). For simplicity, let , (), , and . Then due to assumption (H2). So we calculate directly that Accordingly, inequality (7) holds. The proof is completed. □

Existence and uniqueness of equilibrium point

In this section, we will give the sufficient conditions to prove the existence and uniqueness of equilibrium for system (1). An equilibrium solution of (1) is a constant complex vector , which satisfies and ,  , when ž is the impulsive jump.

Hence, proving the existence and uniqueness of solution (8) is equivalent to proving the existence of a unique zero point of map , where We have the following theorem.

Theorem 1

For the CVNN defined by (1), assume that the network parameters and the activation function satisfy assumptions and , respectively. Then the neural network (1) has a unique equilibrium point for every input vector , if there exist two real positive diagonal matrices U and V such that the following linear matrix inequality (LMI) holds: where , , , and .

We will use the homeomorphism mapping theorem on the complex domain to prove the theorem, that is, to show the map is a homeomorphism of onto itself.

First, we prove that is an injective map on . Let with , such that . Then Multiplying both sides of (11) by , we obtain Then taking the conjugate transpose of (12) leads to From (12), (13) and Lemmas 1 and 4, we have Since V is a positive diagonal matrix, from assumption (H2) we get It follows from (14) and (15) that where . From Lemma 2 and the LMI (10), we know . Then due to (16). Therefore, is an injective map on .

Secondly, we prove as . Let . By Lemmas 1 and 4, we have An application of the Cauchy-Schwarz inequality yields When , we have Therefore, as , which implies as . We know that is a homeomorphism of from Lemma 3, thus system (1) has a unique equilibrium point. □

Global robust stability results

In this section, we will investigate the global robust stability of the unique equilibrium point for system (1). Firstly, the following assumption for the impulsive operators is needed: (H3) For and  , is such that where is a real constant, and is the ith component of the equilibrium point . Then we have the following global robust stability theorem.

Theorem 2

Suppose the conditions of Theorem  1 and hold. The equilibrium point of system (1) is globally robust stable, if there exist two real positive diagonal matrices and , such that the following linear matrix inequalities hold: and where , , , and .

By Lemma 2, it follows from the LMI (17) that the following condition holds: By the LMI (18), according to Lemma 2, the following condition holds: Summing (19) and (20), we have the following matrix inequality:

Under the conditions of Theorem 1, system (2) has a unique equilibrium point ž. For convenience, we shift the equilibrium to the origin by letting , and then system (2) can be transformed into where and . Meanwhile, the initial condition (4) can be transformed into where .

Consider the following Lyapunov-Krasovskii functional candidate: where

When ,  , calculating the upper right derivative of V along the solution of (22), applying Lemmas 1 and 4, we get Combining (27) and (28), by (21) we deduce that

When ,  , it should be noted that . Then we compute It follows from (29) and (30) that is non-increasing for . Then, by the definition of , we infer  □

On the other hand, by the definition of , we have From (31) and (32), we obtain from which it can be concluded that the origin of (22), or equivalently the equilibrium point of system (1), is globally asymptotically robust stable by the standard Lyapunov theorem. The proof is completed.

If the impulsive operator in (2), we get the following CVNN without impulses: where C, A, B, J, and are defined the same as in (2). Following Theorem 2, we obtain the following corollary on the global robust stability conditions of (33).

Corollary 1

Under the conditions of Theorem  1, the equilibrium point of system (33) is globally asymptotically robust stable, if there exist two real positive diagonal matrices and , such that the following linear matrix inequalities hold: and where , , , and .

Remark 1

In [9, 13], some dynamic characteristics, such as exponential stability and exponential anti-synchronization, were investigated for real-valued neural networks. Compared to [9, 13], the neural networks model in this paper is complex-valued, which can be viewed as an extension of real-valued neural networks.

Remark 2

In [33, 34], the criteria for the stability of CVNNs are expressed in terms of complex-valued LMIs. As pointed out in [33], complex-valued LMIs cannot be solved by the MATLAB LMI Toolbox straightforwardly. A feasible approach is to convert complex-valued LMIs to real-valued ones but this could double the dimension of the LMIs. In this paper, we express the stability criteria for CVNNs directly in terms of real-valued LMIs, which can be solved by the MATLAB LMI Toolbox straightforwardly.

Remark 3

In [2], the authors investigated the problem of global robust stability of recurrent CVNNs with time delays and uncertainties. In Theorem 3.4 of [2], to check robust stability of CVNNs, the boundedness of activation function is required. However, in this paper, the boundedness condition is removed. In Example 1, in the next section, the activation function is unbounded.

A numerical example

The following example demonstrates the effectiveness and superiority of our results.

Example 1

Assume that the network parameters of system (1) are given as follows: and the impulsive operator satisfies assumption (H3).

Using the above matrices , A̅, , and B̅, we have Then using YALMIP with the solver of LMILAB, the LMI (10) in Theorem 1, and the LMIs (17) and (18) in Theorem 2, we have the following feasible solutions: Thus, the conditions of Theorems 1 and 2 are satisfied, and system (1) has a unique equilibrium point which is globally asymptotically robust stable. To simulate the results, let us choose C, A, and B from the proper intervals above, and obtain the following specific system: where , , ,  , and , ,  .

Figures 1 and 2 depict the real and imaginary parts of states of the considered system (34) with , where the initial conditions are with 10 random initial complex-valued points.

Figure 1

Real part of the state trajectories for system () with .

Figure 2

Imaginary part of the state trajectories for system () with .

Figures 3 and 4 depict the real and imaginary parts of states of the considered system (34) with , where the initial conditions are with 10 random initial complex-valued points.

Figure 3

Real part of the state trajectories for system () with .

Figure 4

Imaginary part of the state trajectories for system () with .

Remark 4

In Figures 1-4, we see that the equilibrium point of system (34) is asymptotically stable, whether the delay or . It should be noted that the criteria (10), (17), and (18) in Theorems 1 and 2 are independent from the delays τ. Therefore, in system (34), the delays have no influence on the stability of the equilibrium point.

Conclusion

In this paper, we have investigated the existence and uniqueness of the equilibrium as well as its robust stability for an impulsive CVNN with discrete time delays, by applying the homeomorphic mapping theorem and some important inequalities in the complex domain. We have presented some sufficient conditions to guarantee the existence of a unique equilibrium point for the CVNN. In addition, by constructing appropriate Lyapunov-Krasovskii functionals and employing complex-valued matrix inequalities, we also have obtained sufficient conditions to guarantee the robust stability of the CVNN. Finally, a numerical simulation has illustrated the correctness of the proposed theoretical results. Moreover, the conditions in Theorems 1 and 2 are irrelevant to the parameter τ, which illustrates that the parameter τ has no effect on the uniqueness and existence, neither on the robust stability of system (1). The figures in the article confirm this result.