Abstract
This paper investigates exponential synchronization for stochastic complex dynamical networks with reaction–diffusion terms and S-type distributed delays. Based on a generalized Halanay inequality and Poincaré inequality, adaptive control strategies for exponential synchronization are established by constructing a simple Lyapunov–Krasovskii functional candidate and utilizing the truncation method. Some numerical examples are provided to demonstrate the effectiveness of the obtained results. Finally, the proposed adaptive synchronization theoretical results are successfully applied to image encryption.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Complex dynamical networks widely exist in our life, such as communication networks, social networks, power grids, cellular networks, and secure communication. The behavior of complex dynamical networks has good explanation of real-world phenomena [15, 22]. Therefore, many researchers have intensively studied the dynamical behavior and topologies of complex dynamical networks [3, 5, 12, 25, 32, 36]. In particular, synchronization is undoubtedly the important collective behavior because of its mathematical importance and potential applications [21, 24]. The synchronized nodes share the same patterns by some control strategies, such as feedback control [10, 38], impulsive control [2, 37], sample-data control [17, 34], and adaptive control [1, 11].
In realistic world, stochastic perturbations are unavoidable in the propagation of electric potential in a neuron and brings essential change to the neural networks [46]. Generally speaking, two types of stochastic perturbations are introduced into the analysis of stochastic complex dynamical networks (SCDNs): Markovian jumping parameters and finite dimensional Brownian motions, both of which have attracted much attention of researchers [18, 19]. Proper control strategies are derived to synchronize the state trajectory of SCDNs [8, 30, 35]. Recently, the diffusion phenomena are also considered in SCDNs because the electrons sometimes move in nonhomogeneous field. The state variables of SCDNs with reaction–diffusion terms are related to both time and space such that the synchronization criteria should be established in Hilbert space instead of Euclidean Space [13]. Hence, it is necessary to investigate the synchronization of SCDNs with reaction–diffusion terms [2, 4, 7, 29, 37].
On the other hand, image encryption has attracted intensive attention [41,42,43,44] because the security of confidential digital images is very important in public transmission. In recent years, many researchers have focused on chaos-based encryption algorithms which rely on the dynamics of the systems [40, 45]. For instance, Zhang and Wang [45] investigated a new spatiotemporal dynamics with fractional order differential logistic map and spatial nonlinear coupling, which are more suitable for encryptions than the former adjacent coupled map lattices. Synchronization of delayed chaotic system in secure communication was also studied in [4, 20, 33]. In [4], Chen et al. presented a new impulsive synchronization criterion of two identical reaction–diffusion neural networks with discrete and unbounded distributed delays. The developed impulsive synchronization method is applied to build a spatiotemporal chaotic cryptosystem. Further development about application of delayed neural networks to image encryption refers to [4, 9] and references therein. S-type distributed delay not only includes discrete time delay and distributed time delay but also has better description of hysteresis phenomena in networks, and stochastic delayed system may have promising application to image encryption. But there is relatively less work on synchronization and application of SCDNs with reaction–diffusion terms and S-type distributed delays.
Motivated by above discussion, we study SCDNs with reaction–diffusion terms and S-type distributed delays, aiming to develop adaptive strategies for synchronization and apply the theoretical results to image encryption. The novelty of our contribution lies in the following aspects: (1) Adaptive synchronization is investigated for SCDNs with reaction–diffusion terms and S-type distributed delays which are infinite delays; (2) the S-type distributed delays are handled by a novel generalized Halanay inequality and the truncation method so that the used Lyapunov-Krasovskii functional candidate is a sample one without distributed term; (3) the synchronization criteria are established in Hilbert space due to the existence of reaction–diffusion terms; (4) the adaptive synchronization results are successfully applied to image encryption based on a spatiotemporal cryptosystem proposed in [4].
Notations
\({\mathbb {H}}=(H_0^1({\mathbb {O}}))^n\) and \({\mathbb {L}}=(L^2({\mathbb {O}}))^n\) are Hilbert spaces with norms \(\Vert {\varvec{u}}\Vert _{{\mathbb {H}}} = (\sum _{i=1}^n\sum _{j=1}^l \int _{{\mathbb {O}}}(\frac{\partial u_i}{\partial x_j})^2{\text {d}}{\varvec{x}})^{\frac{1}{2}}\) and \(\Vert {\varvec{u}} \Vert _{{\mathbb {L}}} = ( \sum _{i=1}^n \int _{{\mathbb {O}}} | u_i |^2 {\text {d}}{\varvec{x}})^{\frac{1}{2}}\). \((\cdot ,\cdot )\) is the inner product of \({\mathbb {L}}\). \((\varOmega , {\mathcal {F}},P)\) is a complete probability space with filtration \(\{{\mathcal {F}}_t\}_{t\ge 0}\). \({\mathbb {C}}= C((-\infty ,0],{\mathbb {L}})\) represents the Banach space of all continuous functions from \((-\infty ,0]\) to \({\mathbb {L}}\) with norm \(\Vert {\varvec{\varphi }} \Vert _{\mathbb {C}}=\sup _{\theta \le 0}\Vert {\varvec{\varphi }}(\theta ) \Vert \). \({\mathscr {L}}((L^2({\mathbb {O}}))^m,{\mathbb {L}})\) represents the space of all linear bounded operators from \((L^2({\mathbb {O}}))^m\) into \({\mathbb {L}}\) with operator norm. \(\Vert {\varvec{A}}\Vert _F\triangleq (tr({\varvec{AA}}^T))^{\frac{1}{2}}\) is the Frobenius norm of \({\varvec{A}}\in {\mathbb {R}}^{n\times n}\), and tr is the trace operator. For any continuous \({\mathcal {F}}_t\)-adapted \({\mathbb {L}}\)-valued stochastic process \({\varvec{u}}(t,{\varvec{x}})(\omega ): \varOmega \rightarrow {\mathbb {L}}\), we define a continuous \({\mathcal {F}}_t\)-adapted \({\mathbb {C}}\)-valued stochastic process \({\varvec{u}}_t(\omega )={\varvec{u}}(t+\theta ,{\varvec{x}})(\omega )\) and \(\Vert {\varvec{u}}_t\Vert _{\mathbb {C}}= \sup _{\theta \le 0} {\mathcal {E}} \Vert {\varvec{u}}(t+\theta ) \Vert \), \(\omega \in \varOmega \), \({\varvec{x}}\in {\mathbb {O}}\), \(t\ge 0\) where \({\mathcal {E}}(\cdot )\) is the expectation operator. \({\mathbb {C}}_{{\mathcal {F}}_0}^b\) denotes the family of \({\mathcal {F}}_0\)-measurable bounded \(C((-\infty ,0],{\mathbb {R}}^n)\)-valued stochastic variables \({\varvec{\phi }}\) with \({\mathcal {E}}\Vert {\varvec{\phi }} \Vert _{\mathbb {C}} <\infty \). \(L_{{\mathcal {F}}_t}(\varOmega ,{\mathbb {L}})\) is the family of \({\mathbb {L}}\)-valued \({\mathcal {F}}_t\)-measurable random variables \(\xi \) with \({\mathcal {E}}\Vert \xi \Vert ^2<\infty \).
2 Problem formulation and preliminaries
In this paper, we consider the following SCDNs with reaction–diffusion terms and S-type distributed delays
where \(t\ge 0,\ {\varvec{x}}\in {\mathbb {O}}\), \({\varvec{s}}(t,{\varvec{x}})=(s_1(t,{\varvec{x}}),s_2(t,{\varvec{x}}),\cdots ,s_n(t,{\varvec{x}}))^T\), \(\nabla \cdot ({\varvec{D}}({\varvec{x}})\circ \nabla {\varvec{s}})=(\sum _{j=1}^l \frac{\partial (D_{1j}\frac{\partial s_1}{\partial x_j})}{\partial x_j}, \cdots ,\sum _{j=1}^l \frac{\partial (D_{nj}\frac{\partial s_n}{\partial x_j})}{\partial x_j})^T\), \({\varvec{D}}({\varvec{x}})=(D_{ij}({\varvec{x}}))_{n\times l}\), \(D_{ij}({\varvec{x}})\ge {\hat{D}}_{ij}>0\), and \(\circ \) denotes Hadamard product [13]. \(\int _{-\infty }^0 {\text {d}}{\varvec{\eta }}(\theta ){\varvec{s}}(t+\theta ,{\varvec{x}})\) is Lebesgue-Stieltjes integrable, and \(\eta _{ij}(\theta )\) (\(i,j=1,2,\ldots ,n\)) is non-decreasing bounded variation function which satisfies \(\int _{-\infty }^0 d\eta _{ij}(\theta ) = {\hat{\eta }}_{ij} >0\). \({\varvec{I}}(t)=(I_1(t),\ldots ,I_n(t))^T\) is an external input. \({\mathbb {O}}\) is an open bounded and connected subset of \({\mathbb {R}}^l\) with a sufficient regular boundary \(\partial {\mathbb {O}}\). \({\varvec{w}}(t)\) is a Brownian motion defined on the complete probability space and \({\varvec{g}}\in M_2^{n,m}(0,t)\).
\(\{\gamma _t,t\ge 0\}\) is a right-continuous Markov process on the probability space which takes values in the finite space \({\mathbb {M}}=\{1,2,\ldots ,M\}\) with jumping transfer matrix \(\Pi =\{\pi _{mn}\}\ (m,n\in {\mathbb {M}})\) given by
where \(\varDelta t>0\) and \(\lim _{\varDelta t\rightarrow 0} o(\varDelta t)/\varDelta t = 0\), \(\pi _{mn} \ge 0\) is the transition rate from m to n if \(m \ne n\) and \(\pi _{mm}=-\sum _{n \ne m}\pi _{mn}\). The Brownian motion is independent of Markov process. The matrices \({\varvec{A}}(\gamma _t)\), \({\varvec{B}}_1(\gamma _t)\) and \({\varvec{B}}_2(\gamma _t)\) are real-valued Markovian jumping parameters. For the sake of simplicity, we denote \({\varvec{A}}(\gamma _t)\), \({\varvec{B}}_1(\gamma _t)\), \({\varvec{B}}_2(\gamma _t)\) by \({\varvec{A}}_m\), \({\varvec{B}}_{1m}\), \({\varvec{B}}_{2m}\) for \(\gamma _t=m\in {\mathbb {M}}\). Then, when \(\gamma _t=m\), the above SCDNs can be rewritten as
where \({\mathcal {S}}({\varvec{s}})=\int _{-\infty }^0 {\text {d}}{\varvec{\eta }}(\theta ){\varvec{s}}(t+\theta ,{\varvec{x}})\). We consider neural network (2) as drive system. The response SCDNs consisting of N linearly coupled identical nodes are described as
where \({\varvec{u}}_i(t,{\varvec{x}})=(u_{i1}(t,{\varvec{x}}),u_{i2}(t,{\varvec{x}}),\ldots ,u_{in}(t,{\varvec{x}}))^T\) and \(i=1,2,\ldots ,N\), \(m\in {\mathbb {M}}\). \({\varvec{U}}_i(t,{\varvec{x}})\) is the control input. \({\varvec{G}}_m\) is the inner coupling positive definite matrix, and \((c_{ij})_{N \times N}\) is the coupling matrix which satisfies \(c_{ii}=-\sum _{j\ne i} c_{ij}\) and \(c_{ij}>0\) if node j is connected to node i, otherwise, \(c_{ij}=0\). Defining \({\varvec{v}}_i(t,{\varvec{x}})={\varvec{u}}_i(t,{\varvec{x}})-{\varvec{s}}(t,{\varvec{x}})\) as the synchronization error of the drive system (2) and response system (3), the error system with initial condition and Dirichlet boundary condition can be expressed by
where
Then, we list the definitions and lemmas which will be used throughout the paper.
Definition 1
[16] The drive system (2) and response system (3) are globally exponentially synchronized in mean square, if there exist positive constants M and \(\lambda \), such that
Definition 2
[28] Let \(\tilde{{\mathbb {C}}}=C([t-\tau ,t],{\mathbb {R}}^n)\), \(\tau \ge 0\), \({\varvec{\varPsi }}(t,{\varvec{x}},{\varvec{y}})\in C({\mathbb {R}}^+\times {\mathbb {R}}^n\times \tilde{{\mathbb {C}}},{\mathbb {R}}^n)\). \({\varvec{\varPsi }}(t,{\varvec{x}},{\varvec{y}})=(\varPsi _1,\varPsi _2,\ldots ,\varPsi _n)^T\) is called an M-function, if
-
(i)
for every \(t\in {\mathbb {R}}^+\), \({\varvec{x}}\in {\mathbb {R}}^n\), \({\varvec{y}}^{(1)},{\varvec{y}}^{(2)} \in \tilde{{\mathbb {C}}}\),
$$\begin{aligned} {\varvec{\varPsi }}(t,{\varvec{x}},{\varvec{y}}^{(1)})\le {\varvec{\varPsi }}(t,{\varvec{x}},{\varvec{y}}^{(2)}),\ \text {for}\ {\varvec{y}}^{(1)}\le {\varvec{y}}^{(2)}, \end{aligned}$$where \({\varvec{y}}^{(1)}=(y_1^{(1)},\ldots ,y^{(1)}_n)^T\), \({\varvec{y}}^{(2)}=(y_1^{(2)},\ldots ,y^{(2)}_n)^T\);
-
(ii)
every ith element of \({\varvec{\varPsi }}((t,{\varvec{x}},{\varvec{y}})\) satisfies
$$\begin{aligned} \varPsi _i(t,{\varvec{x}}^{(1)},{\varvec{y}}) \le \varPsi _i(t,{\varvec{x}}^{(2)},{\varvec{y}}),\ {\text {for}}\, {\text {any}}\ {\varvec{y}}\in \tilde{{\mathbb {C}}},\ t\ge t_0, \end{aligned}$$where arbitrary \({\varvec{x}}^{(1)}\le {\varvec{x}}^{(2)}\) belonging to \({\mathbb {R}}^n\) and having the same ith component \(x^{(1)}_i=x^{(2)}_i\), \({\varvec{x}}^{(1)}=(x^{(1)}_1,x^{(1)}_2,\ldots ,x^{(1)}_n)^T\), \({\varvec{x}}^{(2)}=(x^{(2)}_1,x^{(2)}_2,\ldots ,x^{(2)}_n)^T\).
Lemma 1
(Poincaré inequality [23]) Let\({\mathbb {O}}\)be an open bounded smooth domain in\({\mathbb {R}}^l\), then
where the constant\(\alpha >0\)depends on the size of the domain\({\mathbb {O}}\).
Lemma 2
[31] Let\({\varvec{x}}\in {\mathbb {R}}^n\), \({\varvec{y}}\in {\mathbb {R}}^n\)and\(\rho >0\). Then, we have
Lemma 3
[47] Assume that\({\varvec{A}},\)\({\varvec{B}}\)are\(N\times N\)Hermitian matrices. Suppose that\(\lambda _1\ge \lambda _2\ge \cdots \ge \lambda _N\), \(\mu _1\ge \mu _2\ge \cdots \ge \mu _N\)and\(\rho _1\ge \rho _2\ge \cdots \ge \rho _N\)are the eigenvalues of\({\varvec{A}}\), \({\varvec{B}}\)and\({\varvec{A}}+{\varvec{B}},\)respectively. Then, one has\(\lambda _i+\mu _N\le \rho _i \le \lambda _i+\mu _1\), \(i=1,2,\ldots ,N\).
Lemma 4
[27] Let\({\varvec{x}}(t)=(x_1(t),\ldots ,x_n(t))^T\), \({\varvec{y}}(t)=(y_1(t),\ldots ,y_n(t))^T\), \(\bar{{\varvec{x}}}(t)\)\(=\sup _{-\tau \le \theta \le 0}{\varvec{x}}(t+\theta )\), and\(\bar{{\varvec{y}}}(t)=\sup _{-\tau \le \theta \le 0}{\varvec{y}}(t+\theta )\). Then,\({\varvec{x}}(t)<{\varvec{y}}(t)\)for\(t\ge t_0\), if the following conditions
hold, where\({\varvec{\varPsi }}(t,{\varvec{x}},{\varvec{y}})\)is an M-function.
Throughout the paper, we assume that the neuron activation functions satisfy the following condition: \(\Vert {\varvec{f}}({\varvec{\varsigma }}_1)-{\varvec{f}}({\varvec{\varsigma }}_2)\Vert ^2 \le L^2\Vert {\varvec{\varsigma }}_1-{\varvec{\varsigma }}_2\Vert ^2\) and \(\Vert {\varvec{g}}({\varvec{\varsigma }}_1,{\varvec{\varsigma }}_2)-{\varvec{g}}(\hat{{\varvec{\varsigma }}}_1,\hat{{\varvec{\varsigma }}}_2)\Vert ^2 \le L^2 (\Vert {\varvec{\varsigma }}_1-\hat{{\varvec{\varsigma }}}_1\Vert ^2+\Vert {\varvec{\varsigma }}_2-\hat{{\varvec{\varsigma }}}_2\Vert ^2)\), where \({\varvec{\varsigma }}_1,{\varvec{\varsigma }}_2,\hat{{\varvec{\varsigma }}}_1,\hat{{\varvec{\varsigma }}}_2\in {\mathbb {R}}^n\).
3 Main results
In this section, we will derive adaptive strategy and adaptive pinning strategy for exponential synchronization of SCDNs with reaction–diffusion terms and S-type distributed delays. First, the following generalized Halanay inequality is introduced to establish the sufficient conditions of adaptive synchronization.
Lemma 5
(Generalized Halanay Inequality) If\(\varPhi (t)\ge 0\)satisfies
-
(i)
\(\varPhi (t)\le M\), \(t\in (-\infty ,0]\);
-
(ii)
for any\(\epsilon \ge 0\), there exists\(\tau \ge 0\)such that
$$\begin{aligned} \frac{\mathrm{d}\varPhi (t)}{\mathrm{d}t}\le -a\varPhi (t)+b\sup _{-\tau \le \theta \le 0}\varPhi (t+\theta )+o(\epsilon ), t\in [0,+\infty ), \end{aligned}$$where\(b>0\), \(a-b>0\), \(o(\epsilon )\ge 0\), and\(\lim _{\epsilon \rightarrow 0} o(\epsilon ) = 0\), then there exists a positive constant\(\lambda \) such that \(\varPhi (t) \le M e^{-\lambda t}\) for \(t\in [0,+\infty )\).
Proof
For \(\tau \in [0,+\infty )\), let us consider the following function
where \(\lambda \in [0,+\infty )\). Since \(a-b>0\) and \(b>0\), we obtain \(\delta (0)>0\) and \(\delta (\lambda )\) is continuous and monotonous, furthermore, \(\delta (\lambda )\rightarrow -\infty \) as \(\lambda \rightarrow +\infty \). Thus, there exists a constant \(\lambda _0>0\) such that \(-\lambda _0+a-b e^{\lambda _0\tau }>0\). Let \(\varPsi (t,x,y)=-ax+by+o(\epsilon )\) and \(y(t)=M e^{-\lambda _0 t}+o(\epsilon )/(a-b)\). From Definition 2, we know that \(\varPsi (t,x,y)\) is an M-function. Obviously, when \(t\in (-\infty ,0]\), \(\varPhi (t)\le M < y(t)\). For \(t\ge 0\), we have
From Lemma 4, we know that \(\varPhi (t) \le M e^{-\lambda _0 t}+o(\epsilon )/(a-b)\). As \(\epsilon \rightarrow 0\), we obtain that \(\varPhi (t) \le M e^{-\lambda _0t}\) for \(t\in [0,+\infty )\). \(\square \)
Remark 1
Lemma 5 generalizes the classical Halanay inequality [6] to inequality defined on \((-\infty ,+\infty )\). By employing Lyapunov method and Lemma 5, dynamical behavior (such as stability and synchronization) for a class of systems with infinite delays can be analyzed.
Adaptive strategy is a classical method to tune drive-response systems toward reaching synchronization. The adaptive controller can be expressed by
where \(k_i(t)\) is the adaptive coupling strength.
Theorem 1
The drive system (2) and response system (3) are exponentially synchronous in mean square when the adaptive law is designed as\({\dot{k}}_i(t)=\rho _i \Vert {\varvec{v}}_i(t,{\varvec{x}}) \Vert ^2\) (\(i=1,2,\ldots ,N\)) where\(\rho _i\)is an arbitrary positive constant.
Proof
Given \({\varvec{\phi }}_i\in {\mathbb {C}}_{{\mathcal {F}}_0}^b\) and fixed system mode \(m\in {\mathbb {M}}\) arbitrarily, we write \({\varvec{v}}_i(t,{\varvec{x}})={\varvec{v}}_i(t,{\varvec{x}};{\varvec{\phi }}_i)\) and define a Lyapunov–Krasovskii functional candidate by
where \({\tilde{k}}\) is a positive constant to be determined. We denote \(V(t,{\varvec{v}}_1(t,{\varvec{x}}),\ldots ,{\varvec{v}}_N(t,{\varvec{x}}),\gamma _t=m)\) by V(t). Thanks to Itô formula, we have
where
Taking expectation of \(\mathrm{d}V(t)\), we know that
From Gauss formula, Dirichlet boundary condition and Poincaré inequality, we have
where \(i=1,2,\ldots ,N\) and \(j=1,2,\ldots ,n\), furthermore,
From Lemma 2, we obtain
and
Since \(\int _{-\infty }^0 d\eta _{ij}(\theta ) = {\hat{\eta }}_{ij}>0\) (\(i,j=1,2,\ldots ,n\)) and \(\eta _{ij}(\theta )\) is non-decreasing bounded variation function, there exists a constant \(\tau \ge t\) such that \(\int _{-\infty }^{-\tau } d\eta _{ij}(\theta )\le \epsilon \) for any \(\epsilon \ge 0\) and \(i,j=1,2,\ldots ,n\). So,
and
Obviously,
From Lemma 2, we get
and
Thus,
where \(c_j = \max _{i=1,2,\ldots ,n} \{c_{ji}\}\). Besides,
Thus, combining (11)–(23), we have
where \(\beta _m\) is the maximum eigenvalue of \({\varvec{\Lambda }}_m\), \({\varvec{\Lambda }}_m=-\alpha ^2\hat{{\varvec{D}}}-\alpha ^2\hat{{\varvec{D}}}^T-{\varvec{A}}_m-{\varvec{A}}^T_m+{\varvec{B}}_{1m}{\varvec{B}}_{1m}^T+{\varvec{B}}_{2m}{\varvec{B}}_{2m}^T+2N {\varvec{G}}_{m}{\varvec{G}}_{m}^T+(2L^2+\sum _{i=1}^N c_i^2){\varvec{I}}\), \(b = 2(2L^2+\sum _{i=1}^N c_i^2)\Vert \hat{{\varvec{\eta }}}\Vert _F^2\) and \(c=2(2L^2\)\(+\sum _{j=1}^N c_j^2){\mathcal {E}}\sum _{i=1}^N\Vert {\varvec{\phi }}_i\Vert _{\mathbb {C}}^2\). The constant \({\tilde{k}}\) can be properly chosen as \({\tilde{k}} = \max _m \{0,\beta _m+b+1\}\), then one can get \(\beta _m-{\tilde{k}}+b<0\). Besides, \({\mathcal {E}}\sum _{i=1}^N \Vert {\varvec{v}}_i(t,{\varvec{x}})\Vert ^2 \le {\mathcal {E}}\sum _{i=1}^N \Vert {\varvec{\phi }}_i\Vert _{\mathbb {C}}^2\) for \(t\in (-\infty ,0]\). From Lemma 5, we see that there exists a positive constant \(\lambda \) such that \({\mathcal {E}}\sum _{i=1}^N \Vert {\varvec{v}}_i(t,{\varvec{x}})\Vert ^2 \le e^{-\lambda t}{\mathcal {E}}\sum _{i=1}^N \Vert {\varvec{\phi }}_i\Vert _{\mathbb {C}}^2\). Then, the drive system (2) and response system (3) are globally exponentially synchronous in mean square. \(\square \)
Remark 2
When \({\varvec{\sigma }}({\varvec{\varsigma }}_1,{\varvec{\varsigma }}_2)=0\), the error system (4) becomes Markovian jumping complex dynamical networks with reaction–diffusion terms and S-type distributed delays which include Markovian jumping networks and deterministic networks with time-varying delays [39, 48].
As we know, the S-type distributed delays include time-varying delays and distributed time delays. Then, we have Corollary 1 for SCDNs (25) with reaction–diffusion terms and mixed time delays
where
Corollary 1
If the following conditions hold,
-
(i)
\(0\le \tau (t)\le {\tilde{\tau }}\), \(0\le \zeta (t)\le \kappa e^{-\lambda t}\) where \(t\ge 0\), \({\tilde{\tau }}\), \(\kappa \), and \(\lambda \) are positive constants;
-
(ii)
\(\Vert \tilde{{\varvec{\sigma }}}({\varvec{\varsigma }}_1,{\varvec{\varsigma }}_2,{\varvec{\varsigma }}_3)\Vert ^2 \le L^2 (\Vert {\varvec{\varsigma }}_1\Vert ^2+\Vert {\varvec{\varsigma }}_2\Vert ^2+\Vert {\varvec{\varsigma }}_3\Vert ^2)\), \({\varvec{\varsigma }}_1,{\varvec{\varsigma }}_2,{\varvec{\varsigma }}_3\in {\mathbb {R}}^n\),
then the error system (25) and the corresponding drive-response system with adaptive controller (7) are exponentially synchronous in mean square.
From Theorem 1, SCDNs can synchronize by adaptive control strategy on the whole networks. However, it is sometimes impractical to impose control inputs on all nodes of SCDNs, especially large-scale SCDNs. To reduce the number of controlled nodes, pinning control is applied to a fraction of networks. The adaptive pinning controller can be expressed by
where the first p nodes are pinned with adaptive controller and the adaptive law is designed as \({\dot{k}}_i(t)=\rho _i \Vert {\varvec{v}}_i(t,{\varvec{x}}) \Vert ^2\) (\(i=1,2,\ldots ,N\)). Then, we have the following result.
Theorem 2
The drive system (2) and response system (3) with adaptive pinning controller (26) are exponentially synchronous in mean square, if\({\bar{\beta }}+\lambda _{p+1}+b<0\)where\({\bar{\beta }}\)is the maximum eigenvalue of\(\bar{{\varvec{\Lambda }}}_m\), \(\bar{{\varvec{\Lambda }}}_m=-\alpha ^2\hat{{\varvec{D}}}-\alpha ^2\hat{{\varvec{D}}}^T-{\varvec{A}}_m-{\varvec{A}}_m^T+{\varvec{B}}_{1m}{\varvec{B}}_{1m}^T+{\varvec{B}}_{2m}{\varvec{B}}_{2m}^T+2N{\varvec{G}}_{m}{\varvec{G}}_{m}^T+2L^2{\varvec{I}}_n\)for\(m\in {\mathbb {M}}\), \(\lambda _1\ge \lambda _2\ge \cdots \ge \lambda _N\)are the eigenvalues of the matrix\(\bar{{\varvec{C}}}\), \(\bar{{\varvec{C}}}=\sum _{j=1}^N diag(c_{j1},c_{j2}\cdots ,c_{jN})\), and\(b = 2(2L^2+\sum _{i=1}^N c_i^2)\Vert \hat{{\varvec{\eta }}}\Vert _F^2\).
Proof
Consider the following Lyapunov–Krasovskii functional
where \({\bar{k}}=\lambda _1-\lambda _{p+1}\). As (8)–(24), we know that
where
and \(\otimes \) denotes the Kronecker product. Since \(\bar{{\varvec{C}}}-2\bar{{\varvec{K}}}\) is a symmetric matrix, there exists an orthogonal matrix \({\varvec{O}}\) satisfying \(\bar{{\varvec{C}}}-2\bar{{\varvec{K}}} = {\varvec{O}}^T diag({\bar{\lambda }}_1,\ldots ,{\bar{\lambda }}_N){\varvec{O}}\) where \({\bar{\lambda }}_1\ge {\bar{\lambda }}_2\ge \cdots ,{\bar{\lambda }}_N\) are the eigenvalues of the matrix \(\bar{{\varvec{C}}}-2\bar{{\varvec{K}}}\). According to Lemma 3, one has
Thus,
where
From Lemma 5 and \({\bar{\beta }}+\lambda _{p+1}+b<0\), we know that the drive system (2) and response system (3) are globally exponentially synchronous in mean square. \(\square \)
Remark 3
Most of the existing criteria are established for systems with finite delays [1, 14, 26], whereas adaptive control and adaptive pinning control strategies in this paper are derived for stochastic systems with reaction–diffusion terms and S-type distributed delays which are infinite delays. Due to the existence of reaction–diffusion terms and S-type distributed delays, inequality with infinite delay is derived for the synchronization criteria in Hilbert space.
Remark 4
In most of existing works about distributed time delays [2, 4, 18, 19, 48], a Lyapunov–Krasovskii functional candidate with distributed term is usually constructed. In contrast, as the infinite delays here are handled by a generalized Halanay inequality and truncation method, the criteria in this paper are obtained by constructing a simple Lyapunov–Krasovskii functional candidate without the distributed terms.
4 Numerical examples
In this section, some numerical examples are given to illustrate the effectiveness of the obtained results.
Example 1
Consider a 2-D SCDN with mixed time delays whose parameters are taken as follows: \(\tilde{{\varvec{D}}}=0\), \({\mathbb {M}}=\{1,2\}\),
The delay and activation functions are taken as
The response system consists of 10 coupled identical nodes with structure shown in Fig. 1a. The initial conditions are chosen as \({\varvec{s}}(\theta ) = [1.5,0.5]^T\) for drive system and proper negative constants for 10 nodes of the response system for \(\theta \in [-1,0]\). From Corollary 1, the drive-response systems with adaptive controller (7) are exponentially synchronous. Figure 2 depicts the time trajectory of drive-response system and the error system (node 6) without control. From Fig. 2, we see that the drive signal (red line in Fig. 2a) and the response signal (blue line in Fig. 2a) have different dynamical behaviors and the error signal (green line in Fig. 2b) does not evolve toward zero. Thus, the uncontrolled system is not synchronous. In contrast, Fig. 3 illustrates the controlled systems with adaptive controller. Obviously, the drive and response signals in Fig. 3a share the same patterns and the error signal in Fig. 3b becomes zero after 8. Therefore, the system with the adaptive controller is synchronous, which corresponds to the theoretical analysis.
Time trajectory of the uncontrolled system (node 6) in Example 1. a The drive signal (red line) and response signal (blue line). b The error signal
Time trajectory of the controlled system (node 6) in Example 1. a The drive signal (red line) and response signal (blue line). b The error signal (green line) and control input (blue line)
Example 2
Then, we consider a 1-D SCDN with reaction–diffusion terms and time delays. The parameters and functions are taken as \(D=0.1\), \({\mathbb {M}}=\{1,2\}\), \(A_1 = 0.05\), \(A_2 = 0.1\), \(B_{11} = 0.4\), \(B_{12} = 0.35\), \(B_{21} = 0.3\), \(B_{22} = 0.4\), \(G_{1}=1\), \(G_2=0.1\), \(f(\varsigma _1) = \tanh (\varsigma _1)\), \(g(\varsigma _1,\varsigma _2) = f(\varsigma _1+\varsigma _2)\), \(I(t) = \sin (t)\), \({\mathcal {S}}(s) = s(t-\tau (t),x)\) and \(\tau (t)=\frac{e^t}{e^t+1}\). The response system consists of 5 identical nodes with structure shown in Fig. 1b. From Theorem 1, we know that the drive-response system with adaptive controller (7) can be exponentially synchronous. The dynamical behaviors of uncontrolled error system and controlled one (node 5) are shown in Fig. 4.
The error signals of uncontrolled (left) and controlled system (right) in Example 2
Remark 5
Examples 1 and 2 illustrate the effectiveness of the obtained results for SCDNs with different types of time delays, network topologies and reaction–diffusion terms. From the contrast of the uncontrolled and controlled systems in Figs. 2, 3 and 4, we see that adaptive controller is a practical tool to synchronize the networks.
5 Application to image encryption
In this section, we will apply the adaptive synchronization of a 2-D SCDN to image encryption based on the spatiotemporal cryptosystem proposed in [4]. The parameters of the drive-response system are taken as follows: \({\mathbb {M}}=\{1\}\), \({\mathbb {O}}=[-10,10]\), \(N=1\), \(\tilde{{\varvec{D}}}=10^{-4}{\varvec{I}}\), \(\tilde{{\varvec{A}}}={\varvec{I}}\), \(\tilde{{\varvec{B}}}_3={\varvec{0}}\), \({\varvec{I}}(t)={\varvec{0}}\), \(\tilde{{\varvec{f}}}({\varvec{\varsigma }})=\tanh ({\varvec{\varsigma }})\), \(\tau (t)=\frac{e^t}{1+e^t}\), \(\zeta (t)=0\), \(\tilde{{\varvec{g}}}({\varvec{\varsigma }}_1,{\varvec{\varsigma }}_2,{\varvec{\varsigma }}_3)={\varvec{\varsigma }}_1\),
The error signals of uncontrolled system in Sect. 5
The error signals of controlled system in Sect. 5
The initial conditions are chosen as
and
where \(-1\le \theta \le 0\) and \({\mathbb {O}}_k=[-10+0.2k,-9.9+0.2k]\) (\(k\in {\mathbb {N}}\)), otherwise, \(s_1(\theta ,x)=s_2(\theta ,x)=u_1(\theta ,x)=u_2(\theta ,x)=0\). The dynamical behavior of the uncontrolled error system can be found in Fig. 5, which is obviously unstable. Then, the adaptive control input (7) is added into the error system. According to Corollary 1, the controlled system is synchronous as shown in Fig. 6.
Next, we apply the adaptive synchronization results derived above to image cryptosystem proposed in [4], whose flowchart is shown in Fig. 7. We replace the drive system and response system by the aforementioned 2-D SCDN. To demonstrate the security and effectiveness, we use four different images including Lena (gray \(512\times 512\)), Lady (color \(256\times 256\)), Pepper (color \(512\times 512\)), and SanDiego (color \(1024\times 1024\)), as shown in Fig. 8. Then, the cryptosystem is evaluated by key space analysis and statistical analysis as follows.
5.1 Key space analysis
The used encryption algorithm includes the following keys: the parameters of the spatiotemporal chaotic neural networks, the sampling spatial points, and synchronous time. As stated in [4], the key space is large enough in theory to resist the brute-force attack. In addition, the drive-response system considered here is stochastic chaotic system. The stochastic Brownian motion \({\varvec{w}}(t)\) can also be treated as the secret key, which is irreproducible. Thus, the uncertainty of Brownian motion has also improved the security of the encryption algorithm.
5.2 Statistical analysis
To demonstrate the robustness of cryptosystem, we perform analysis of histogram, mean square error, peak signal-to-noise ratio, entropy, and correlation of the plain images and ciphered images. The ciphered images should process certain random properties, which means the decrease in variance of histogram, the low peak signal-to-noise ratio, closeness of entropy to 8, and small correlation of plain images and ciphered images and of two adjacent pixels in ciphered images. Figures 9 and 10 illustrate the plain images, ciphered images, decrypted images, and the corresponding histograms. It can be observed that the ciphered images are quite different from the plain images whereas the decrypted images are identical with the plain images. Figures 11, 12 and 13 depict the correlation distribution of two adjacent pixels in horizontal, vertical, and diagonal directions. The significant reduction in correlation indicates that the correlation of adjacent pixels in the plain images has been removed.
The quantification of the ciphered results is presented in Table 1, 2 and 3, including variance of histogram [42], mean square error (MSE), peak signal-to-noise ratio (PSNR) [9], entropy, and correlation of the plain images and ciphered images (CPC), and correlations of two adjacent pixels [4]. From Figs. 9, 10, and Table 1, we see that the variances of histograms of ciphered images significantly decrease compared with those of plain images. The uniformity of the histograms of the ciphered images makes statistic attacks difficult. As a result, the proposed method is able to resist chosen-plaintext or known-plaintext attacks. From Table 2, the average PSNR 7.96 of Lady, Pepper, SanDiego is smaller than the value 7.99 in [9] and the entropy 7.9993 of Lena is closer to 8 than value 7.9941 in [4]. The correlations of two adjacent pixels in Table 3 corresponds to the description of Figs. 11, 12 and 13, which also implies the random-like appearances of the ciphered images.
The complexity of the used encryption scheme is performed compared with schemes in [4] and [9]. The time-consuming part here lies in the construction of spatiotemporal chaotic sequences generated by the above SCDN. The time complexity is \(\varTheta (4\times M \times N)\), which is same as Chen’s algorithm [4], because we exactly use Chen’s frame. The main difference is that the Brownian motion is pre-generated before construction of chaotic sequences, which hardly causes extra time consume. In contrast to Lakshmanan’s scheme [9], the used scheme has lower computational cost, because the scheme only depends on the diffusion operation. But implementing the permutation operation in encryption scheme may improve the performance and may not cause significant computational cost. Hence, the future work of encryption scheme will focus on the permutation operation.
6 Conclusion
In this paper, we develop some criteria of exponential synchronization for SCDNs with reaction–diffusion terms and S-type distributed delays. First, we introduce a generalized Halanay inequality to handle the S-type distributed delays. Then, adaptive control and adaptive pinning control strategies of exponential synchronization are established by utilizing Poincaré inequality and constructing simple Lyapunov–Krasovskii functional candidate without the distributed terms. Finally, we present two numerical examples and apply a 2-D SCDN to a spatiotemporal cryptosystem proposed in [4]. Experimental results, including decrease in variance of histogram decreases, low PSNR, closeness of entropy to 8, and small correlation between plain images and ciphered images, show effective application of the obtained theoretical results. The future work will focus on implementing the permutation operation in encryption scheme, since NPCR (number of pixels change rate) and UACI (unified average changing intensity) cannot reach desired performance and the permutation operation hopefully overcomes the issues.
References
Ahmed MAA, Liu Y, Zhang W, Alsaadi FE (2017) Exponential synchronization via pinning adaptive control for complex networks of networks with time delays. Neurocomputing 225:198–204
Ali MS, Yogambigai J (2017) Finite-time robust stochastic synchronization of uncertain markovian complex dynamical networks with mixed time-varying delays and reaction–diffusion terms via impulsive control. J Franklin Inst 354(5):2415–2436
Arenas A, Díaz-Guilera A, Pérez-Vicente CJ (2006) Synchronization reveals topological scales in complex networks. Phys Rev Lett 96(11):114,102
Chen WH, Luo S, Zheng WX (2016) Impulsive synchronization of reaction–diffusion neural networks with mixed delays and its application to image encryption. IEEE Trans Neural Netw Learn Syst 27(12):2696–2710
Chen X, Zhao Z, Song Q, Hu J (2017) Multistability of complex-valued neural networks with time-varying delays. Appl Math Comput 294:18–35
Halanay A (1966) Differential equations: stability, oscillations, time lags. Academic Press, New York
Kao Y, Gao C, Han W (2010) Global exponential robust stability of reaction–diffusion interval neural networks with continuously distributed delays. Neural Comput Appl 19(6):867–873
Kwon OM, Lee SM, Park JH (2010) Improved delay-dependent exponential stability for uncertain stochastic neural networks with time-varying delays. Phys Lett A 374(10):1232–1241
Lakshmanan S, Prakash M, Lim CP, Rakkiyappan R, Balasubramaniam P, Nahavandi S (2018) Synchronization of an inertial neural network with time-varying delays and its application to secure communication. IEEE Trans Neural Netw Learn Syst 29(1):195–207
Lee TH, Park JH, Jung HY, Lee SM, Kwon OM (2012) Synchronization of a delayed complex dynamical network with free coupling matrix. Nonlinear Dyn 69(3):1081–1090
Li XJ, Yang GH (2016) Fls-based adaptive synchronization control of complex dynamical networks with nonlinear couplings and state-dependent uncertainties. IEEE Trans Cybern 46(1):171–180
Liang J, Gong W, Huang T (2016) Multistability of complex-valued neural networks with discontinuous activation functions. Neural Netw 84:125–142
Liang X, Wang L, Wang Y, Wang R (2016) Dynamical behavior of delayed reaction–diffusion hopfield neural networks driven by infinite dimensional wiener processes. IEEE Trans Neural Netw Learn Syst 27(9):1816–1826
Liu W, Guan ZH (2011) Global exponential synchronization of stochastic switching networks with time-varying delay. Asian J Control 13(6):893–902
Pastor-Satorras R, Rubi M, Diaz-Guilera A (2003) Statistical mechanics of complex networks. Springer, Berlin
Qin J, Gao H, Zheng WX (2015) Exponential synchronization of complex networks of linear systems and nonlinear oscillators: a unified analysis. IEEE Trans Neural Netw Learn Syst 26(3):510–521
Rakkiyappan R, Sakthivel N, Cao J (2015) Stochastic sampled-data control for synchronization of complex dynamical networks with control packet loss and additive time-varying delays. Neural Netw 66:46–63
Saravanakumar R, Ali MS, Karimi HR (2017) Robust \(h_{\infty }\) control of uncertain stochastic markovian jump systems with mixed time-varying delays. Int J Syst Sci 48(4):862–872
Senana S, Ali MS, Vadivel R, Arik S (2017) Decentralized event-triggered synchronization of uncertain markovian jumping neutral-type neural networks with mixed delays. Neural Netw 86:32–41
Sheikhan M, Shahnazi R, Garoucy S (2013) Synchronization of general chaotic systems using neural controllers with application to secure communication. Neural Comput Appl 22(2):361–373
Steura E, Tyukinb I, Nijmeijera H (2009) Semi-passivity and synchronization of diffusively coupled neuronal oscillators. Physica D 238(21):2119–2128
Strogatz SH (2001) Exploring complex networks. Nature 410:268–276
Temam R (2012) Infinite-dimensional dynamical systems in mechanics and physics. Springer, Berlin
Uhlhaas PJ, Singer W (2006) Neural synchrony in brain disorders: relevance for cognitive dysfunctions and pathophysiology. Neuron 52(1):155–168
Wang L (2016) Global well-posedness and stability of the mild solutions for a class of stochastic partial functional differential equations. Sci China Math 47:371–382
Wang L, Wang Y (2011) Global exponential stabilization for a class of distributed parameter control systems with Markovian jumping parameters and time-varying delay. J Vib Control 17(6):873–880
Wang L, Xu D (2003) Global exponential stability of hopfield reaction–diffusion neural networks with time-varying delays. Sci China Inform Sci 46(6):466–474
Wang L, Zhang R, Wang Y (2009) Global exponential stability of reaction–diffusion cellular neural networks with s-type distributed time delays. Nonlinear Anal RWA 10(2):1101–1113
Wang L, Zhao H (2014) Synchronized stability in a reaction–diffusion neural network model. Phys Lett A 378(48):3586–3599
Wang W, Li L, Peng H, Xiao J, Yang Y (2014) Stochastic synchronization of complex network via a novel adaptive nonlinear controller. Nonlinear Dyn 76(1):591–598
Wang Z, Liu Y, Yu L, Liu X (2006) Exponential stability of delayed recurrent neural networks with Markovian jumping parameters. Phys Lett A 356(4):346–352
Wei T, Wang L, Wang Y (2017) Existence, uniqueness and stability of mild solutions to stochastic reaction–diffusion Cohen–Grossberg neural networks with delays and wiener processes. Neurocomputing 239:19–27
Wen S, Zeng Z, Huang T, Meng Q, Yao W (2015) Lag synchronization of switched neural networks via neural activation function and applications in image encryption. IEEE Trans Neural Netw Learn Syst 26(7):1493–1502
Wu ZG, Park JH, Su H, Song B, Chu J (2013) Exponential synchronization for complex dynamical networks with sampled-data. SIAM J Control Optim 51(1):3486–3510
Wu ZG, Shi P, Su H, Chu J (2013) Stochastic synchronization of markovian jump neural networks with time-varying delay using sampled data. IEEE Trans Cybern 43(6):1796–1806
Xu D, Wang X, Yang Z (2013) Further results on existence-uniqueness for stochastic functional differential equations. Sci China Math 56(6):1169–1180
Yang X, Cao J, Yang Z (2013) Synchronization of coupled reaction–diffusion neural networks with time-varying delays via pinning-impulsive controller. SIAM J Control Optim 51(5):3486–3510
Yu W, Chen G, Lü J, Kurths J (2013) Synchronization via pinning control on general complex networks. SIAM J Control Optim 51(2):1395–1416
Zhang Q, Lu J, Lü J, Tse CK (2008) Adaptive feedback synchronization of a general complex dynamical network with delayed nodes. IEEE Trans Circuits Syst II 55(2):183–187
Zhang YQ, He Y, Wang XY (2018) Spatiotemporal chaos in mixed linear-nonlinear two-dimensional coupled logistic map lattice. Physica A 490:148–160
Zhang YQ, Wang XY (2014) Spatiotemporal chaos in mixed linear-nonlinear coupled logistic map lattice. Physica A 402:104–118
Zhang YQ, Wang XY (2014) A symmetric image encryption algorithm based on mixed linear-nonlinear coupled map lattice. Inf Sci 273:329–351
Zhang YQ, Wang XY (2015) A new image encryption algorithm based on non-adjacent coupled map lattices. Appl Soft Comput 26:10–20
Zhang YQ, Wang XY, Liu J, Chi ZL (2016) An image encryption scheme based on the MLNCML system using DNA sequences. Opt Lasers Eng 82:95–103
Zhang YQ, Wang XY, Liu LY, He Y, Liu J (2017) Spatiotemporal chaos of fractional order logistic equation in nonlinear coupled lattices. Commun Nonlinear Sci Numer Simul 52:52–61
Zhao DW, Wang LH, Zhi YF, Zhang J, Wang Z (2015) The robustness of multiplex networks under layer node-based attack. Sci Rep 6:24,304
Zhou J, Lu J, Lü J (2008) Pinning adaptive synchronization of a general complex dynamical network. Automatica 44:996–1003
Zhu Q, Cao J (2011) Exponential stability of stochastic neural networks with both Markovian jump parameters and mixed time delays. IEEE Trans Syst Man Cybern Part B 41(2):341–353
Acknowledgements
The authors would like to thank the editor, associate editor, and reviewers for their constructive comments and fruitful suggestions, which greatly improved this manuscript. The work was partly supported by National Natural Science Foundation of China (No. 11771014), Fundamental Research Funds for Central Universities (No. 06500073), and China Scholarship Council (File No. 201706330011).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wei, T., Yao, Q., Lin, P. et al. Adaptive synchronization of stochastic complex dynamical networks and its application. Neural Comput & Applic 31, 6879–6892 (2019). https://doi.org/10.1007/s00521-018-3501-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00521-018-3501-6
Keywords
- Adaptive synchronization
- Stochastic complex dynamical network
- S-type distributed delay
- Reaction–diffusion
- Image encryption