1.
Introduction
Artificial neural networks (ANN) mimic biological neurons in design. Numerous extensions of ANN have been developed based on ANN and are in use today [1], such as cellular neural networks (CNN). CNN, a subclass of ANN that Chua and Yang initially presented in [2,3], successfully addresses ANN's shortcomings by reducing the number of connections while maintaining the benefits of parallel processing. Additionally, neurons in a CNN can only communicate with neurons in the same region. As a result, CNN may simply be extended based on these characteristics without requiring structural changes.
As one of the most important extensions, the bidirectional associative memory cellular neural network (BAMCNN) model was first proposed by Kosko [4]. Two-layer neurons make up the pattern-matched hetero associative BAMCNN, which is a generalization of the single-layer auto-associative Hebbian network. Neurons in one layer are no interconnection, but they are interconnected with neurons in another layer fully. Based on these properties, BAMCNN has gained a lot of attentions since it was proposed [5,6,7].
In practical engineering applications, time delay and stochastic disturbances are inevitable due to the limited conversion speed of amplifier and the noise of signal transmission of electronic equipment, we can easily observe those two perturbations experimentally and numerically. Different time delays will lead to different response of the dynamical behaviours of the delayed systems. In our knowledge, the main types of time delay are constant delay [8], time varying delay [8], distributed delay [9], proportional delay [5] and so on [10]. Stochastic disturbances, where the structure of random disturbances is extremely fresh and complex, which is quite different from the traditional process. For BAMCNN affected by the above two disturbances, the research of dynamical behaviours of it gets more and more attention in decades [5,11,12,13]. In [11], Park et al. estimate the covergence rate of delayed BAM neural network and criteria of exponential stability is studied. The problem of delay-dependent and independent state estimation of BAMCNN is explored in [5]. Wang et al. [12] discussed the stability of a delayed higher-order stochastic BAM neural network. In [13], novel criterion are given for stability of a type hybrid BAM neural network with stochastic noises by Li and Shen.
It is worth to point out that the literature above is mainly explore the stability of BAM neural networks disturbed by time delays or stochastic disturbances without fuzzy logic. However, neural networks with fuzzy logic can model these issues better than general neural network for those physical events for which mathematical models are hard to obtain, dynamic properties are challenging to master, or the changes are particularly large. Therefore, in 1996, Yang and Yang combine fuzzy logic with CNN for the first time and discuss its stability in detail [14,15]. FCNN is a kind of CNN which include fuzzy logical in its structure, and also maintains the local connectivity of cells. With the use of fuzzy logic, we can integrate CNNs' low and high level information processing capabilities. And in [16], Yang et al. pointed out the differences between FCNN and CNN in mathematical morphological operations. Furthermore, with the gradual improvement of the theory of FCNN, various properties and applications of FCNN have been researched broadly [8,17,18,19,20,21].
In addition, many researchers have extended FCNN to fuzzy BAMCNN (FBAMCNN) in recent decades. The stability of FBAMCNN with delays and stochastic disturbance has also been extensively studied by Lyapunov method, Razumikhin-type method etc, see [22,23,24]. In [22], the stability of delayed cohen-grossberg FBAMCNN with markovian switching is investigated. In [23,24], Ali et al. derived novel criteria of robust stability and stability in mean-square of stochastic FBAMCNN respectively.
From the above discussions, we can see that all the above results mainly discuss the stability of FBAMCNN with perturbations, and do not explore the robustness of the stability of FBAMCNN with perturbations. The problem of the robustness of stability (RoS) was first proposed by Shen in [25], and has attracted wide attention in recent years [26,27]. However, as far as we know, there are few researchers to study the RoS of FBAMCNN with perturbations.
Motivated by the above discussions, we explore the robustness of the exponential stability of FBAMCNN disturbed by time-varying delays and stochastic disturbances in this paper. In short, our work and contribution are listed below.
● The RoS of delayed BAMCNN (DFBAMCNN) and stochastic DFBAMCNN (SDBAMCNN) are investigated by utilizing Gronwall inequality as well as other inequality techniques, the upper limits of delays and noise intensities to sustain their original stability are estimated.
● Compared to [26], fuzzy logic are included in the systems we considered in this paper, hence, their complexity are improved to a certain extent. In addition, we extend the single layer neural network to BAM neural network which also increases the difficulty of analysis. Furthermore, the FBAMCNN considered in this paper can handle imprecise or uncertain information better than BAMCNN. And, the results derived in this paper play an important role in the design and application of FBAMCNN.
Finally, there is a brief introduction to the main works of each section. We introduce the model of our system and the primaries we needed in the latter in Section 2. We explore the RoS of DFBAMCNN in Section 3, and we get the limit of time-varying delays. In Section 4, SDFBAMCNN is considered, and we get the max intensities of both time delay and stochastic noise. and Section 5 includes various numerical instances to test the usefulness of the results.
Notations: Denote R=(−∞,+∞), R+=[0,+∞), Rm={χ|χ={χ1,…,χm},χi∈R,i=1,2,…,m}. N+={1,2,⋯}. |⋅| represents the absolute value of real numbers and ||U(t)||=∑mi=1|Ui(t)|, where U(t)=(U1(t),⋯,Um(t))T. Complete filtered probability space (Ω,F,{Ft}t≥0,P) embraces all P-null sets, where {Ft}t≥0 is a right continuous filtration that satisfies the usual conditions. Scalar Brownian movement ℧(t) is defined at (Ω,F,{Ft}t≥0,P). Operator E is used to calculate mathematical expectations. Denote L2F0([−ˉG,0];Rn) as the family of all F0 measurable C([−ˉG,0];Rn) valued random variables ℏ={ℏ(θ):−ˉG≤θ≤0} such that sup−ˉG≤θ≤0E||ℏ(θ)||2<∞. λ(t) and υ(t) are delay functions which satisfy λ(t)′, υ′(t)≤℘∗<1, and we assume that they have boundaries λ and υ respectively. ⋀ and ⋁ denote AND and OR operations in fuzzy logic respectively.
2.
Primaries
Consider the following FBAMCNN:
with initial value (ϖ0,ζ0)T, where k,r∈N+ and ϖ0=(ϖ1(t0),…,ϖq(t0)), ζ0=(ζ1(t0),…,ζp(t0)). With the networks and external inputs disconnecting, ck and dr are the rates that present as the kth and rth neuron reset their potential to the isolated resting state. αkr and ωrk are the elements of fuzzy feedback MIN template; βkr and γrk are elements of fuzzy feedback MAX template; Γr(⋅) and Ξk(⋅) are the activation functions; Fkr and Grk, Ekr and Hrk are elements of fuzzy feed-forward MIN template and fuzzy feed-forward MAX template respectively; ϖk and ζr are the kth and rth neuron respectively; ur(t) and vk(t) are the states of DFBAMCNN (2.1); Both of Ik and Jr are constant external inputs.
Assume that (ϖ(t),ζ(t))T is one of solutions of FBAMCNN (2.1), and assume (ϖ∗,ζ∗)T is the equilibrium point (Ep) of FBAMCNN (2.1), where ϖ(t)=(ϖ1(t),ϖ2(t),…,ϖq(t)), ζ(t)=(ζ1(t),ζ2(t),…,ζp(t)), ϖ∗=(ϖ∗1,ϖ∗2,…,ϖ∗q), ζ∗=(ζ∗1,ζ∗2,…,ζ∗p). Let Λk(t)=ϖk(t)−ϖ∗k, Υr(t)=ζr(t)−ζ∗r and Γr(Υr(t))=fr(Υr(t)+ζ∗r)−fr(ζ∗r), Ξk(Λk(t))=gk(Λk(t)+ϖ∗k)−gk(ϖ∗k). Then FBAMCNN (2.1) is equivalent with
where initial value of FBAMCNN (2.2) is (Λ0,Υ0)T=(ϖ0,ζ0)T−(ϖ∗,ζ∗)T. After transform we can observe that the origin is Ep of FBAMCNN (2.2). Hence, the properties of origin point of FBAMCNN (2.2) is the same as the properties of the Ep of FBAMCNN (2.1). Then we give an assumption and a definition we need.
Assumption H(1): There exist lr>0 and lk>0 such that
and Γr(0)=0, Ξk(0)=0.
Next, the definition of globally exponential stability (GES) of FBAMCNN (2.2) is given below.
Definition 1. [28] FBAMCNN (2.2) is GES if
holds, where K and L are two positive constants. Φ(t)=(Λ1(t),⋯,Λq(t),Υ1(t),⋯,Υp(t))T is the state of FBAMCNN (2.2), and Θ=(ϕ1(0),…,ϕq(0),φ1(0),…,φp(0))T is the initial value of FBAMCNN (2.2).
Unless otherwise stated, FBAMCNN (2.1) is GES throughout this article.
Lemma 1. [14] For FBAMCNN (2.2), we have
where u and v are states of (2.2).
3.
Robustness of stability of DFBAMCNN
The following is the model of DFBAMCNN we considered in this part.
with initial conditions (ηk(t0),ϑr(t0))T=(ϕk(t0),φr(t0))T, k,r∈N+ where ϕ∈C([−ˉG,0];Rq), φ∈C([−ˉG,0];Rp). If λ(t)=υ(t)=0, the DFBAMCNN (3.1) degenerate to FBAMCNN (2.2).
Lemma 2. [9] The DFBAMCNN (3.1) can be seen as a special instance of the result in [9], thus, the solution (Λ(t),Υ(t))T is unique.
Then, we explore the robustness of DFBAMCNN (3.1).
Theorem 1. Let H(1) holds, DFBAMCNN (3.1) is said to be GES if G<min{Δ/2,ˉG}, where ˉG is the positive root of the following equation
where
Proof. By (2.2), (3.1), we have
Similarly,
Then from (3.3), (3.4),
Furthermore,
Let m1=max1≤k≤q|ck|, m2=max1≤r≤plrq∑k=1(|αkr|+|βkr|), m3=max1≤r≤p|dr|, m4=max1≤k≤qlkp∑r=1(|ωrk|+|γrk|). Then,
Since
and
Then, when t0+λ≤t,
Likewise, when t0+υ≤t,
We denote G=max{υ,λ}. Thus, for all t0+G≤t,
and
Let M1=max{m1m4υ+m2m4υ(1−℘∗)−1,m2m3λ+m2m4λ(1−℘∗)−1}, M2=max{m2[λ+2λ(1−℘∗)−1]+m2m4λ2(1−℘∗)−1,m2m4υ2(1−℘∗)−1+m4[υ+2υ(1−℘∗)−1]}. Thus, by Definition 1,
For simplicity, we denote M3=max{m1+m4+M1,m2+m3+M1}, A=||Λ(t)−η(t)||+||Υ(t)−ϑ(t)||, B=||η(s)||+||ϑ(s)||, then, when t≤t0+2Δ, by applying Gronwall-Bellman lemma,
Thus, when t0+G≤t≤t0+2Δ,
Noting that G<Δ/2, therefore,
for t0−G+Δ≤t≤t0−G+2Δ holds.
Since M1=max{m1m4υ+m2m4υ(1−℘∗)−1,m2m3λ+m2m4λ(1−℘∗)−1}, M2=max{m2[λ+2λ(1−℘∗)−1]+m2m4λ2(1−℘∗)−1,m2m4υ2(1−℘∗)−1+m4[υ+2υ(1−℘∗)−1]}, we denote M4=max{m1m4,m2m3}, M5=max{m2,m4} thus, M1≤M4G+M25G(1−℘∗)−1=C, M2≤M5[G+2G(1−℘∗)−1+M5G2(1−℘∗)−1]=D. Thus, M3≤max{m1+m4+C,m2+m3+C}=E by (3.13)–(3.15),
Let F(G)=(D+CL/K)exp(2EΔ)+Lexp[−K(Δ−G)], therefore, F(G) is strictly increasing for G. Thus, there must exists ˉG>0, such that F(G)<1, ∀G∈(0,ˉG).
Select F=−lnF/Δ, so F>0, when G∈(0,ˉG), from (3.16), we have
Thus, by mathematical induction and the existence and uniqueness of (3.9), an integer Z∈N+ exists such that when t≥t0+(Z−1)Δ,
where Y=supt0−G≤t≤t0−G+ΔB. So, ∀t>t0+Δ, there is an arbitrary integer Z such that
holds.
Obviously, this condition also holds for t0−G≤t≤t0−G+Δ. Thus, FBAMCNN (3.1) is GES.
Remark 1. Since inequality techniques are mainly used in this paper, the results obtained by Theorem 1 is sufficient condition for DFBAMCNN to maintain its exponential stability. That is to say, when two different time-varying delays are larger than the derived value, DFBAMCNN will lose its original stability, but the reverse is not necessarily true.
4.
Robustness of stability of SDFBAMCNN
Firstly, we give the model of SDFBAMCNN.
where ηk(t)=ϕk(t), ϑr(t)=φr(t), t∈[−ˉG,0]. Qk, Rr are constant noise intensities.
The definitions of mean square exponential stability (MSES) and almost surely globally exponential stability (ASGES) of SDFBAMCNN (4.1) are as follows.
Definition 2. [13] SDFBAMCNN (4.1) is said to be MSES, if A>0, B>0, for any t0∈R+, ϕ∈L2F0([−ˉG,0];Rq) and φ∈L2F0([−ˉG,0];Rp) such that
or
where U(t)=||η(t)||+||ϑ(t)||, U0=||ϕ||+||φ||, and ϕ=η(t0), φ=ϑ(t0).
Definition 3. [13] SDFBAMCNN (4.1) is said to be ASGES, if for any t0∈R+, ϕ∈L2F0([−ˉG,0];Rq) and φ∈L2F0([−ˉG,0];Rp), such that
or
almost surely.
From the Definitions 2 and 3 above, it means that MSES can not imply ASGES, but the reverse is not true. If assumption H(1) holds, MSES implies ASGES [29].
Theorem 2. Let H(1) holds, and m1-m4 are defined in Theorem 1, the SDFBAMCNN (4.1) is said to be MSES if there exist |G|≤ˉG/√2, G≤min{Δ/2,ˉG}, where ˉG and ˉG are the unique roots of the following two equations respectively.
and
where
Proof. By (2.2), (4.1), let G=max{Q,R}, from (3.7), similarly,
When t0≤t+G, let N=||Λ(t)−η(t)||+||Υ(t)−ϑ(t)||, we have
For t≤t0+G, we can obtain
and
Thus, similar to (3.8),
and
Thus,
and
Let
and
where ˊz=2G2m21m24+2G2m24m22(1−℘∗)−1, ˊz=2G2m23m22+2G2m22m24(1−℘∗)−1, ˆz=2G3m22m24(1−℘∗)−1+2Gm24[1+2(1−℘∗)−1], ˇz=2G3m24m22(1−℘∗)−1+2Gm22[1+2(1−℘∗)−1].
Then from (4.8), (4.9), we can get
From (4.5), we obtain
Let N3=max{(m1+m4)2+2N1+8G2,(m3+m2)2+2N1+8G2}, thus,
Then,
Denote S=supt0−G≤s≤t0+GE(B)2, applying Gronwall-Bellman lemma,
Therefore, when t0+G≤t≤Δ,
Noting that G≤min{ˉG,Δ/2}, for t0−G+Δ≤t≤t0−G+2Δ
Select H(G,G)=[(2N1+8G2)A/B+N2]exp{16GN3Δ}+2Aexp{−B(Δ−G)}, noting that Δ>lnA/B, therefore, H(0,0)<1. Since H(G,G) is strictly increasing for G, thus, there must be a ˉG, such that H(0,G)<1, when |G|<ˉG. Furthermore, for G, H(G,G) is also strictly increases, thus, ∃ˉG>0 such that H(G,G)<1 when |G|≤ˉG/√2 and G<min{ˉG,Δ/2}. We skip the second part of the proof here since it is the same as the discussion in Theorem 1.
Therefore, if |G|≤ˉG/√2 and G<min{ˉG,Δ/2} hold, the system (4.1) is MSES, furthermore, the system is also ASGES.
Remark 2. The bounds of disturbances we derived in Theorem 2 is not a simple superposition of the results of Theorem 1. In the derivation process, we can see that G and G in Theorem 2 are mutually restricted, and only one parameter satisfies the upper bounds we deduced is not enough to make SDFBAMCNN keep its original stability.
Remark 3. A brief comparison of our study and some of current literature is provided in Table 1. The elements of the comparison are BAM, fuzzy logic (F-L), CNN, time delays (TDs), stochastic disturbances (SDs), asymptotically stable (AS), GES, MSES, ASGES, robustness of stability (RoS). Furthermore, since there is fuzzy logic in the BAM neural network, its complexity is improved. In addition, BAMCNN with fuzzy logic can better simulate the human-like derivation style and better deal with fuzzy problems. By the way, the study of robustness in this paper offers a theoretical foundation for the construction of FBAMCNN.
5.
Examples
Example 1. Let p=q=2 and
and Γr(x)=12(|x+1|−|x−1|), Ξk(x)=tanhx.
Thus, the following is the form of the DFBAMCNN we considered.
Then from the principle of comparison, we know that the system without time delay
is GES with L=1, K=0.8.
By calculating, we get that m1=2, m2=0.8, m3=2, m4=1.2, M4=2.4, M5=1.2. We select ℘∗=0, Δ=0.2, therefore we can obtain ˉG=0.0047 from the following transcendental equation
Therefore, according Theorem 1, when G<min{Δ/2,ˉG}, system (5.1) is GES. In Figure 1, we take G=0.001<0.0047, hence, the states in Figure 1 is GES.
Example 2. Let p=q=2, and the SDFBAMCNN model that we taken into account is as follows:
where the parameters of (5.4) are as follows:
and select Γr(x)=12(|x+1|−|x−1|), Ξk(x)=tanhx.
By computing the parameters above, we can easily get m1=1, m2=0.1, m3=1, m4=0.08, ¯N3=1.21. On the other hand, by principle of comparison, we can get the system without time-varying delays and disturbances is GES with A=1 and B=0.9. We select ℘∗=0 and Δ=0.9. Then, from Theorem 2, we can get the following two equations:
and
Thus, we can easily get ˉG=0.0788 and ˉG=0.0256. From Theorem 2, the perturbed FBAMCNN (5.4) is said to be MSES if times delays υ(t), λ(t) and noise intensities Q, R are lower than the bounds we derived above, that is |G|≤ˉG and G≤min{ˉG,Δ/2}.
Figure 2 shows the states of SDFBAMCNN (5.4) with different initial value, where G=0.0133 and G=0.02. Since the max delay and the max intensity of noises are lower than the limits we derived, thus, SDFBAMCNN is MSES and ASGES.
Figures 3 and 4 depict the impacts of too large time delay and noise intensity. In Figure 3, G=0.01, G=0.08, we can easily observe that G is larger than ˉG, thus it is unstable. From Figure 4, it is clearly that G and G are both larger than the bounds of theoretical results, therefore it is also unstable.
Conclusions
This study examines the robustness of FBAMCNN when it is affected by time-varying delays and stochastic disturbances. Maximum duration of delays and the upper boundaries of noises must be identified in order for a perturbed FBAMCNN to remain GES. We may calculate these upper bounds of the interference by using inequality techniques. The results we derived provide a solid foundation for FBAMCNN applications and designs. Future study may focus on enhancing the upper limits and considering employing classical approaches to optimize the computation process, such as the LMI method and the Lyapunov function method. Furthermore, more sophisticated structural disturbances, such as Markov jump, impulses, state-dependent delays, and so on, can be taken into account.
Acknowledgements
The authors thank everyone who provided helpful suggestions for this article. This work was supported by the Natural Science Foundation of China under Grant nos. 62072164 and 12074111.
Conflict of interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.