Abstract

Two types of coupled different dimensional delayed reaction-diffusion neural network (CDDDRDNN) models without and with parametric uncertainties are analyzed in this paper. On the one hand, passivity and synchronization of the raised network model with certain parameters are studied through exploiting some inequality techniques and Lyapunov stability theory, and some adequate conditions are established. On the other hand, the problems of robust passivity and robust synchronization of CDDDRDNNs with parameter uncertainties are solved. Finally, two numerical examples are given to testify the effectiveness of the derived passivity and synchronization conditions.

1. Introduction

In recent years, complex networks (CNs) have attracted much attention since they are ubiquitous under the circumstance of our daily life, for instance, communication networks, food webs, and social networks. Coupled neural networks (CNNs), as a particular type of CNs, have been put into use successfully in various fields, e.g., pattern recognition, chaos generators design, and brain science [13]. Strictly speaking, these applications in a large extent are depending on some properties of dynamics in CNNs (e.g., synchronization). Thus, the problem of synchronization for CNNs has attracted comprehensive attention and been developed into a hot research topic. So far, many important and interesting results have been derived on this topic recently [410]. Through exploiting the properties of random variables, Yang et al. [4] acquired some synchronization conditions for randomly delayed CNNs. In [7], several synchronization criteria were gained for delayed CNNs in accordance with the Lyapunov functional strategy.

Nevertheless, most of the synchronization results in aforesaid literatures [410] neglected reaction-diffusion phenomena. In fact, the reaction-diffusion phenomena are unavoidable for CNs such as neural networks and cellular networks when they are implemented by means of electric circuits in practical situations [11]. Hence, it is necessary to research coupled reaction-diffusion neural networks (CRDNNs). Recently, some significant synchronization results for CRDNNs have been acquired [1217]. In [12], the authors researched synchronization of CRDNNs and presented some synchronization criteria. By designing appropriate pinning controllers, several synchronization criteria were established for CRDNNs in [17]. Furthermore, owing to the existence of external interferences, the noises of environment, and equipment restrictions, it is very difficult to ensure network models containing the certain parameter values in some practice situations. Consequently, some authors studied parametric uncertainties of neural networks [1822], and a few interesting results have been derived regarding robust synchronization of CNNs with uncertain parameters [2325]. In [24], the scholars presented the memristive CNNs model with parametric uncertainties and obtained some adequate conditions for guaranteeing the robust synchronization for the considered network. By utilizing impulsive functional strategy combined with the stability theory, Li et al. [25] presented some robust synchronization criteria for the CNNs with uncertainties.

Actually, passivity is also one of the most important behaviors of dynamics for CNs which can guarantee a system’s internal stabilization in system theory. Due to the potential applications in plenty of fields, e.g., fuzzy control and sliding mode control, the passivity problem of CNNs has been investigated extensively in the past years [2633]. In [27], the authors proposed several passivity criteria for delayed CNNs. Ren et al. [28] analyzed the model of CRDNNs and established some passivity and pinning passivity conditions for the considered network. Unfortunately, the passivity results in aforementioned studies [2633] are based on the case that the dimension of input is identical with output. As far as we know, only few scholars have addressed the problem of passivity for the network with nonidentical dimensional output and input [3436]. The authors in [34] established some conditions for ensuring that the CRDNNs with the input and output in different dimensions achieve passivity. Ren et al. [36] discussed the (pinning) passivity problems of CNNs with nonidentical dimensional output and input and acquired some corresponding passivity criteria.

Note that the networks are composed of identical nodes in the aforementioned works [436]. Unfortunately, this case is very rare in the real-world networks. Consequently, the CNs consisting of nonidentical nodes in the same dimension [3741] have been discussed firstly by researchers. Zhao et al. [39] dealt with the synchronization problem of CNs with nonidentical nodes. As a matter of fact, the networks constructed by nonidentical nodes of different dimensions can reflect more real networks in many circumstances. Note that the networks constructed by nonidentical nodes in different dimensions can exhibit different and even more sophisticated dynamical behaviors, which makes the passivity and synchronization methods for the networks with the same dimensional nonidentical nodes or identical nodes in the abovementioned works [441] invalid. Hence, it is necessary and meaningful to develop some new stabilization and synchronization strategies for the network with nonidentical nodes of different dimensions [4245]. In [43], by designing appropriate decentralized controllers, the authors devoted to establishing stabilization and synchronization criteria for CNs consisting of nonidentical nodes. Up to now, only a few researchers considered CNNs constructed by the nonidentical nodes of different dimensions [4648]. In [47], the authors investigated generalized synchronization of delayed CNNs with different dimensional nodes by making use of the Lyapunov functional method. To the best of knowledge, the problems of synchronization and passivity for CDDDRDNNs have not yet been investigated. Consequently, it is essential to put forth some efforts to study passivity and synchronization of CDDDRDNNs.

In terms of the above introduction, the main aim in this paper is to address passivity and synchronization of CDDDRDNNs without and with parametric uncertainties. On the one hand, we discuss the CDDDRDNNs without parametric uncertainties, and several conditions are derived to guarantee the considered network to achieve passivity and synchronization. On the other hand, the problems of robust synchronization and robust passivity for CDDDRDNNs with parametric uncertainties are also studied.

2. Preliminaries

Let the matrix , the notation signifies G is symmetric and negative (positive, seminegative, and semipositive) definite. represents the minimum (maximum) eigenvalue of the corresponding matrix. An open-bounded domain in with smooth boundary is defined by . For any , we have

Definition 1 (see [49]). Let and denote the input and output of a system. Assume that there exists a storage function which satisfiesfor any and , then the system with supply rate is dissipative. Moreover, a system is passive if the system is dissipative withwhere the matrix . Furthermore, assume that a system is dissipative within which , , and , then the system is strictly passive. Especially, if , then the system is called to be output-strictly passive; if , then the system is called to be input-strictly passive.

Lemma 2.1 (see [50]). Let be a cube and real-valued function satisfy . Then,where .

3. Passivity and Synchronization of CDDDRDNNs

3.1. Network Model

The CDDDRDNNs considered in this section is stated as follows:in which , denotes the state vector of ith neuron; ; ; ; , , and denote the activation functions for the lth neuron in neural network i; ; denotes the control input; the inner coupling matrix is defined by ; is a known matrix; is the coupling configuration matrix denoting coupling weight, which satisfies if node i and node j are connected, or else . In addition, the time-varying delay satisfies and .

Remark 1. As a special type of CNs, CNNs have attracted much attention due to their extensive applications on plenty of fields. So far, a large number of scholars have acquired some interesting research results about synchronization and passivity of CNNs [436]. Nevertheless, the considered CNs in the aforementioned literature are made up of identical nodes. As a matter of fact, it is utterly impractical that the networks have totally identical nodes in many practical situations. For instance, due to the differences of the parameters, it is impossible that the neurons in the nervous system of neural networks are entirely the same as each other. Consequently, it is significant to study CNNs composed of nonidentical nodes. To our knowledge, a few investigators have discussed CNs consisting of the same dimensional nonidentical nodes in recent years [3741]. However, the networks with nonidentical nodes of different dimensions can describe more practical networks. In addition, the considered networks in these existing works did not take the reaction-diffusion terms into account. Therefore, we pay our attention on the CRDNNs with different dimensional nodes. As far as we know, this is our first step toward addressing the passivity and synchronization problems of CDDDRDNNs.
For network (6), the initial value condition and boundary value condition are described bywhere is bounded and continuous on and .
Suppose that the functions and satisfy the following global Lipschitz condition; there exist positive constants and such thathold for all .
Let the constant vector be an equilibrium point of an isolated node of network (6). Then,where .
For the error vector , we havewhere and .
The output vector of the network (11) is given as follows:where and are the known matrices.
In the whole paper, we denote

3.2. Passivity Analysis

It follows from (11) and (12) that the following system with output and input can be obtained as follows:where and .

Theorem 1. System (14) reaches output-strict passivity if there are matrices , and satisfyingwhere .

Proof. Construct the Lyapunov functional for system (14) as follows:Then,By means of the boundary condition and Green’s formula, one can obtain the following:where . Let , one hasThen, we obtainObviously, there is a real matrix satisfyingThus,Let , for , it follows from boundary condition (8) that . In terms of Lemma 2.1, we can getTherefore,In addition, we can derive thatSimilarly, we haveBy (25)–(27), one hasThus,where . On the basis of (16), one getsThen,for any and . In other words,where .
The following results can be deduced by using the similar method.

Corollary 1. System (14) realizes passivity if there are matrices and satisfyingwhere .

Corollary 2. System (14) realizes input-strict passivity if there exist matrices , and satisfyingwhere

Remark 2. To the best of our knowledge, the concept of passivity is proposed for the first time in circuit analysis and has discovered comprehensive potential applications in lots of areas after that. Over the past few decades, some scholars have investigated the passivity of CNNs and CRDNNs and derived many meaningful results [2633]. Note that the passivity problem is solved in the abovementioned works based on the case that the input has identical dimension as the output. As far as we know, only a few passivity results have been obtained for the CRDNNs with different dimensional input and output until now [3436]. However, the networks considered in these works are coupled by identical nodes. Therefore, we devote ourselves to studying the passivity of CRDNNs consisting of different dimensional nodes (i.e., CDDDRDNNs), in which the input has different dimensions as output. Hence, the acquired passivity results are more general and less conservative in this paper.

3.3. Synchronization Analysis

Definition 2. Network (6) achieves synchronization if for all ,under the condition .

Theorem 2. Network (6) is synchronized if there are matrices satisfyingwhere .

Proof. Choose the same Lyapunov functional as (17) for system (11), then,where .
From (40), we haveFrom (17) and (40), one knows that all terms of are bounded and is nonincreasing. Hence, converges to a finite nonnegative real number. According to (41), we can infer that exists and is finite. Furthermore, since is bounded, it is easily derived thatHence, is not only existing but also is a nonnegative real number. Next, we will prove that . If not, one can getObviously, there is a real constant such thatHence,where . According to (40) and (45), we obtainIt follows from (46) thatThis is unreasonable. Consequently,Then, we have . Hence, network (6) is synchronized.

4. Robust Passivity and Robust Synchronization of CDDDRDNNs

4.1. Network Model

Taking the parameter uncertainties into account, a CDDDRDNN with uncertain parameters is stated as follows:in which represent the same senses as in model (6). The parameters can be changed within a certain parameter range of precisions as follows:

In addition, for convenience, we denotewhere .

According to (10), we can get the error system of network (49) as follows:where the ranges of , and are described by using (50).

4.2. Robust Passivity Analysis

The output vector of system (52) is defined similarly as (12). In terms of (12) and (52), the error system with output and input can be described bywhere and .

Theorem 3. If there are matrices , and satisfyingwhere , then, system (53) under the given ranges of parameters (50) is output-robustly passive.

Proof. Choose the same Lyapunov functional as (17) for system (52). Then,Obviously,Similar to the deduction of (25), one can getIn addition,According to (56)–(59), one getsHence,From (54), one can getThen,for any and . In other words,in which .
The following results can be deduced by using the similar method.

Corollary 3. System (53) under the given ranges of parameters (50) is robustly passive if there are matrices satisfyingwhere .

Corollary 4. System (53) under the given ranges of parameters (50) is input-robustly passive if there are matrices , and satisfyingwhere .

4.3. Robust Synchronization Analysis

Definition 3. Network (49) under the given ranges of parameter (50) realizes robust synchronization if for all , ,under the condition .

Theorem 4. Network (49) under the given ranges of parameters (50) achieves robust synchronization if there are matrices satisfyingwhere .

Proof. Select the same Lyapunov functional as (17) for system (52); then,where .
Then, can be proved similarly as in Theorem 2. Consequently, network (49) under the given ranges of parameters (50) realizes robust synchronization.

Remark 3. In Section 3, we deal with the passivity and synchronization problems of CDDDRDNNs and establish some adequate conditions to achieve the passivity and synchronization of network (6). Note that the parameters in matrices of network model (6) are fixed. However, it is utterly unrealistic for the networks with some certain parameters due to the noises of environment and equipment restrictions in some practical situations [1825]. Thus, it is necessary to consider the case that the parameters in matrices of network model (6) belong to some given ranges and investigate robust dynamical properties of the considered network. As far as we know, the robust synchronization and robust passivity of CDDDRDNNs with parametric uncertainties have never been studied. In this section, we present several robust synchronization and robust passivity criteria of CDDDRDNNs with uncertain parameters in Theorems 3 and 4 and Corollaries 3 and 4, respectively.

5. Numerical Examples

Example 1. Consider the following CDDDRDNNs:where , , and . The matrices are chosen as follows:

Case 1. Obviously, the equilibrium point of an isolated node of network (70) is and . It is easy to calculate the following matrices , and satisfying (15) and (16):and , whereOn the basis of Theorem 1, the network (70) with the input and output as described in (12) realizes output-strictly passivity. Figure 1 displays the simulation results.

Case 2. , and are similar as those in Case 1. By exploiting the MATLAB Toolbox, the matrix P satisfying (38) and (39) can be computed as follows:whereAccording to Theorem 2, the network (70) realizes synchronization. Figures 24 show the simulation results.

Example 2. Consider the following CDDDRNNs:in which , , , and . The matrices are chosen as follows: The parameters in network (76) can be changed in the precisions given as follows:

Case 1. Obviously, and the equilibrium point of an isolated node of network (76) is . It is not difficult to calculate the matrices , and satisfying (54) as follows:and , whereIn terms of Theorem 3, network (76) with the input and output as described in (12) under the given parameters defined in (78) realizes output-strictly passivity. Figure 5 displays the simulation results.

Case 2. , and are the same as those in Case 1. By exploiting the MATLAB Toolbox, the matrices P satisfying (68) can be computed as follows:whereAccording to Theorem 4, network (76) under the given ranges of parameters defined in (78) achieves robust synchronization. Figures 68 show the simulation results.

Remark 4. Section 3 is devoting to investigating the synchronization and passivity of CDDDRDNNs. First, the network model of CDDDRDNNs is presented in Section 3.1. In Section 3.2, the passivity of CDDDRDNNs with certain parameters is studied. Moreover, we establish some adequate conditions to ensure the network being output-strictly passive in Theorem 1, passive in Corollary 1, and input-strictly passive in Corollary 2, respectively. Then, in Theorem 2 of Section 3.3, a synchronization criterion is obtained for the considered network. Because the precise values of parameters are difficult to acquire because of noises of environment and equipment limitations, we address the problems of robust synchronization and passivity for CDDDRDNNs with parametric uncertainties in Section 4. The main distinction on two kinds of CDDDRDNNs in Section 3 and Section 4 is whether in the network model of CDDDRDNNs is uncertain or not. More precisely, in Section 4.1, we give the CDDDRDNN model with parametric uncertainties firstly. After that, a robust output-strict passivity criterion is proposed for CDDDRDNNs with parameter uncertainties in Theorem 3 of Section 4.2. Meanwhile, we establish the related robust passivity condition in Corollary 3 and robust input-strict passivity condition in Corollary 4, respectively. Then, a robust synchronization criterion is obtained for the considered network in Theorem 4 of Section 4.3. In Section 5, we select the most intricate output-strict passivity condition for verifying the validity of the obtained passivity results. Actually, the related passivity or input-strict passivity condition can be illustrated similarly. In order to avoid repetition, we omit the simulation results for showing the effectiveness of the obtained passivity results in corollaries. Therefore, in Case 1 and Case 2 of Example 1, the correctness of the output-strict passivity and synchronization conditions in Theorems 1 and 2 for CDDDRDNNs (70) with parametric certainties are demonstrated, respectively. Similarly, in Case 1 and Case 2 of Example 2, the robust output-strict passivity criterion and robust synchronization criterion in Theorem 3 and 4 for CDDDRDNNs (76) with uncertain parameters described by (78) are demonstrated, respectively.

6. Conclusion

The synchronization and passivity of CDDDRDNNs with and without parameter uncertainties have been investigated in this paper. First, several new criteria for CDDDRDNNs with parametric certainties have been derived to guarantee the passivity and synchronization by taking advantage of the Lyapunov functional method. Second, we have also studied the problems of robust synchronization and robust passivity for CDDDRDNNs with uncertain parameters. Third, two numerical examples have been provided to display the effectiveness of the obtained passivity and synchronization results. In our future work, it would be very interesting to study the pinning adaptive passivity and synchronization of CDDDRDNNs.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

The authors wish to express their sincere appreciation to Prof. Jinliang Wang for the fruitful discussions with him and good suggestions which helped to improve this paper. This work was supported in part by the Natural Science Foundation of Tianjin City under Grant 18JCQNJC74300, in part by the China Scholarship Council (No.: 201808120044), and in part by the National Natural Science Foundation of China under Grant 61773285. Dr. Yang is supported in part by the Advanced Forming Research Centre (AFRC) and Lightweight Manufacturing Centre (LMC) under the Route to Impact Programme 2019-2020 funded by Innovate UK High Value Manufacturing Catapult (Grant no.: AFRC_CATP_1469_R2I-Academy).