
In this brief, we introduce a class of coupled delayed nonautonomous neural networks (CDNNs) with discontinuous activation function. Different from the conventional Lyapunov method, this brief uses the implementation of an indefinite derivative to deal with the nonautonomous system for the case that the topology between neurons is nonlinear coupling, and the system can achieve synchronization in fixed time by selecting the suitable control scheme. The settling time estimation of the system which can get rid of the dependence on the initial value is given. Finally, two examples are given to verify the correctness of the results in this paper.
Citation: Huijun Xiong, Chao Yang, Wenhao Li. Fixed-time synchronization problem of coupled delayed discontinuous neural networks via indefinite derivative method[J]. Electronic Research Archive, 2023, 31(3): 1625-1640. doi: 10.3934/era.2023084
[1] | Chao Yang, Juntao Wu, Zhengyang Qiao . An improved fixed-time stabilization problem of delayed coupled memristor-based neural networks with pinning control and indefinite derivative approach. Electronic Research Archive, 2023, 31(5): 2428-2446. doi: 10.3934/era.2023123 |
[2] | Xingting Geng, Jianwen Feng, Yi Zhao, Na Li, Jingyi Wang . Fixed-time synchronization of nonlinear coupled memristive neural networks with time delays via sliding-mode control. Electronic Research Archive, 2023, 31(6): 3291-3308. doi: 10.3934/era.2023166 |
[3] | Minglei Fang, Jinzhi Liu, Wei Wang . Finite-/fixed-time synchronization of leakage and discrete delayed Hopfield neural networks with diffusion effects. Electronic Research Archive, 2023, 31(7): 4088-4101. doi: 10.3934/era.2023208 |
[4] | Xiong Jian, Zengyun Wang, Aitong Xin, Yujing Chen, Shujuan Xie . An improved finite-time stabilization of discontinuous non-autonomous IT2 T-S fuzzy interconnected complex-valued systems: A fuzzy switching state-feedback control method. Electronic Research Archive, 2023, 31(1): 273-298. doi: 10.3934/era.2023014 |
[5] | Jun Guo, Yanchao Shi, Shengye Wang . Synchronization analysis of delayed quaternion-valued memristor-based neural networks by a direct analytical approach. Electronic Research Archive, 2024, 32(5): 3377-3395. doi: 10.3934/era.2024156 |
[6] | Yu-Jing Shi, Yan Ma . Finite/fixed-time synchronization for complex networks via quantized adaptive control. Electronic Research Archive, 2021, 29(2): 2047-2061. doi: 10.3934/era.2020104 |
[7] | Moutian Liu, Lixia Duan . In-phase and anti-phase spikes synchronization within mixed Bursters of the pre-Bözinger complex. Electronic Research Archive, 2022, 30(3): 961-977. doi: 10.3934/era.2022050 |
[8] | Yilin Li, Jianwen Feng, Jingyi Wang . Mean square synchronization for stochastic delayed neural networks via pinning impulsive control. Electronic Research Archive, 2022, 30(9): 3172-3192. doi: 10.3934/era.2022161 |
[9] | Jun Guo, Yanchao Shi, Weihua Luo, Yanzhao Cheng, Shengye Wang . Exponential projective synchronization analysis for quaternion-valued memristor-based neural networks with time delays. Electronic Research Archive, 2023, 31(9): 5609-5631. doi: 10.3934/era.2023285 |
[10] | Yong Zhao, Shanshan Ren . Synchronization for a class of complex-valued memristor-based competitive neural networks(CMCNNs) with different time scales. Electronic Research Archive, 2021, 29(5): 3323-3340. doi: 10.3934/era.2021041 |
In this brief, we introduce a class of coupled delayed nonautonomous neural networks (CDNNs) with discontinuous activation function. Different from the conventional Lyapunov method, this brief uses the implementation of an indefinite derivative to deal with the nonautonomous system for the case that the topology between neurons is nonlinear coupling, and the system can achieve synchronization in fixed time by selecting the suitable control scheme. The settling time estimation of the system which can get rid of the dependence on the initial value is given. Finally, two examples are given to verify the correctness of the results in this paper.
An artificial neural network is an important branch of a dynamic system, which has existed for more than a hundred years. From the initial basic research on the right-hand continuous differential equation [1,2,3], it has gradually developed into a comprehensive discipline, which not only includes the research on the theory of mathematics itself but also covers the applied research in many fields of applied engineering [4,5,6]. At the same time, due to the diversity of nature and the influence of many uncertain factors in practical engineering problems, the differential equation model needs to consider the effects of many conditions, such as time-delay [7], explosion [8], oscillation [9], impulse [10], Stochastic phenomenon [11] and so on, which will have an important impact on the existence, stability, periodicity and uniqueness of the model solution in the actual problems. In the specific field of artificial neural network systems, more and more scholars, whether in mathematics or engineering, take the model of discontinuous neural networks as the main research object. Due to the internal connection and interaction between different neurons in the neural network, the activation function of neurons in the considered time-delay model is discontinuous, and a series of coupling effects between neurons are studied to improve the general dynamic behavior of differential equations. At the same time, the synchronous stability dynamic behavior and control theory of neural network model are explored more deeply.
In dynamic systems, the neural network system is one of the disciplines most closely related to human body characteristics. The neural network system is based on the physiological structure characteristics of the human brain and corresponds to an organic topological dynamic system. In recent years, it has attracted countless experts and scholars to take neural network systems as the research object [12,13,14,15,16]. Corresponding to the discontinuous differential equation, the transmission between neural network signals are also usually a discontinuous process, so it is most practical to use discontinuous system to describe the model. This involves both Filippove functional differential inclusion theory and Forti's analysis tool [17,18,19]. The results of these right-hand discontinuous differential equations are mainly reflected in the conclusions of the existence [20], bifurcation [21], finite-time convergence [22], chaos [23], robustness [24] and uniqueness of the periodic solution of the system [25]. There are also many places worth studying in the development of artificial intelligence networks, big data cloud computing, machine learning and deep learning theory. On the other hand, the coupling relationship between different neurons in a general neural network is complex in practice, so the influence of the coupling relationship must be considered to make the neural network model more diversified and uncertain, and closer to the actual engineering state. Marcus and Westervelt pointed out in [26] that nonlinear coupling can change the stability state of neural networks, that is, the stability state of neural networks may change to an unstable state under the action of internal coupling. Therefore, after the internal coupling is introduced into the model, in order to maintain the stability state of the neural network model, more in-depth theoretical methods and more novel analysis tools are needed, such as optimizing the parameters of the model under the pattern recognition theory, and global optimization of neurons through the training method of machine learning. It is not only a challenge to the mathematical theory of functional differential inclusion framework, but also a need for more rigorous environmental analysis in the application of dynamic behavior results and learning methods of engineering technology models.
In engineering applications, the synchronization phenomenon plays a very important role in the neural network nodes, especially in some models with an external force or internal coupling relationships. If we ignore the influence of external force and only consider the coupling relationship between internal neurons, this synchronization is called self-synchronization, which is more extensive and ideal in practical engineering. Unfortunately, because every single node is interrelated, the synchronization phenomenon of this coupled neural network model with switching is not easy to design. With the development of sensor technology and computer technology, people have done a lot of empirical research on complex networks to understand their evolution laws (such as scale-free characteristics). In addition to exploring the basic mechanism of the statistical characteristics of these complex networks, researchers have also made substantial progress in the synthesis and analysis of dynamic behavior on complex networks.
The key point is to design suitable coupling laws and rules and obtain some coupling functions so that the states of all nodes in the considered system can be synchronized. Research shows that neural network synchronization is of great significance to control various more practical networks. For example, speed synchronization is the premise to solve the cluster control problem of a multi-agent dynamic systems [27]. Linear transformation technology is used to transform the flight problem of multiple aircraft formation into a synchronization problem [28]. The synchronization phenomenon itself is an important collective behavior in a neural network [29,30]. Synchronization can generally be divided into two types: local synchronization and global synchronization. Global synchronization is more widely used in practical applications because it can synchronize any given initial state. The methods adopted by researchers to achieve global synchronization are also diverse. For example, Lu in the article [31] introduced the concepts of the distance between node states and synchronization manifold, and proposed a new global synchronization research method of the coupled neural network system. In reference [32], the coupled linear system is studied by state-feedback control. For non-strongly connected networks or problems without directed spanning trees, the literature [33,34,35] studied the synchronous traction control theory of complex networks, which can be used for the characteristics of network topology such as strong connection, undirected network connection, scale-free characteristic network or stochastic network, and can realize global traction synchronous control under the stability framework.
The research on the FTS problem of nonlinear systems is still in its infancy, and its application lags behind. It is urgent and of great significance to further develop and study the FTS. We urgently need to establish some effective FTS criteria. Generally speaking, it is almost impossible to obtain the accurate time value of the FTS issue, so an important index of studying FTS is to estimate its stability time with high precision. In addition to establishing some standards to gain FTS for nonlinear dynamic systems, i. The important problem is how to optimally estimate the fixed convergence time.
In short, the synchronization problem of complex networks in engineering, especially considering the late start of the research on the coupling problem between neurons, the functional differential inclusion theory applied to it is not very complete, the specific application is relatively one-sided, and there are no new methods and tools, but it itself is a hot issue with a wide range of applications. This also urgently needs the efforts of scholars to further improve and develop the application of functional differential equation theory in complex neural networks, further explore and study the general dynamic behavior of discontinuous neural network systems and better realize the FTS of the system.
Based on the above statements, this brief provides a state-feedback control scheme and adaptive control scheme for FTS of the CDNNs with indefinite derivative. The main contributions of this paper are summarized as follows:
⋄ This paper comprehensively considers a class of CDNNs system, and the activation function is discontinuous, which is more complex than the previous literature models.
⋄ We consider the variable coefficient nonautonomous system, and use the Lyapunov method of indefinite derivative, it is state-dependent and further expands the convergence accuracy of the system. The restriction that the V-function must be negative definite is broken.
⋄ By designing an appropriate controller and considering the FTS problem of CDNNs, this paper can ensure that the system can achieve synchronization faster and the settling time is shorter.
In order to get our main results, this part gives some basic definitions, lemmas and assumptions, which can be obtained from some basic references [36,37,38,39,40,41].
In this section we introduce a mathematical model of CDNNs as follows:
˙x(t)=−Dx(t)+Af(x(t))+Bf(x(t−τ(t)))+I(t), | (2.1) |
where x(t)=(x1(t),x2(t),…,xn(t))T∈Rn is the state variable of the ith neuron at time t; D=diag(d1,d2,…,dn) denotes the self-inhibition with di>0 and when disconnected from the network and input, the neuron will reset its potential to the resting state in the isolated state; A=(aij)n×n and B=(bij)n×n represent the non-delay connection strength and the delayed connection strength of jth neuron on the ith neuron, respectively; f(x(t))=(f1(x1(t)),…,fn(x2(t)),…,fn(xn(t)))T expresses the activation function of jth neuron. Moreover, I=(I1,I2,…,In)T is a input vector, and τ(t) denotes to the time-varying transmission delay with 0≤τ(t)≤τ.
Now in this brief one presents that the activation function fi(⋅) is piecewise for i∈1,2,…,n, then we can gain the solution of model (2.1) as follows:
˙x(t)∈−Dx(t)+AF(x(t))+BF(x(t−τ(t)))+I(t), | (2.2) |
where F(x)≜K[f(x)]=(K[f1(x)],K[f2(x)],…,K[fn(x)]), which K[fi(x)]=[min{fi(x−),fi(x+)},max{fi(x−),fi(x+)}].
By the framework of Filippov [39] and the measurable selection theorem [40]. If x(t) is a continuous solution of (2.1) in [−τ,T), and x is absolutely continuous on any compact subinterval of [0,T). Then we can have
˙x(t)=−Dx(t)+Aγ(t)+Bγ(t−τ(t))+I(t), | (2.3) |
where γ(t)∈K[f(x(t))] is a measurable function.
Definition 2.1 (see [36]). If the CDNNs (2.1) is finite-time stabilized to the equilibrium point x∗, for the solution of CDNNs (2.1) x(t), there exists a time T∗(x0,t0) such that limt→T∗‖x(t)−x∗‖=0 and ‖x(x)−x∗‖≡0 for all t>T∗. Moreover, if the time T∗(x0,t0) which is bounded on any initial state point x0∈Rn, the equilibrium point of CDNNs (2.1) is said to be fixed-time stabilized, that is, there exists a constant Tmax>0 such that T∗(x0,t0)≤t0+Tmax, which T∗(x0,t0) is called settling time.
The aim of this brief is to solve the FTS issue of considered system. Before that, we give the following basic assumption of CDNNs.
Hypothesis. For f∈GD, there exist nonnegative constants α and β such that
‖F[f(x)−f(y)]‖=supξ∈F[f(x)−f(y)]‖ξ‖≤α‖x−y‖+β. |
Definition 2.2 (see [4]). If the function ψ:R+→R+ is continuous and strictly increasing with ψ(0)=0, ψ is called a K-function and it can be expressed as ψ∈K. Moreover, if lims→+∞ψ(s)=+∞ holds, the function ψ is called a K∞-function with ψ∈K∞.
Lemma 2.3 (C-Regular see [40]). The function V:Rn→Rn is C-Regular if and only if V(x) satisfies:
1) regularity in Rn;
2) V(x)>0 for x≠0 and V(0)=0;
3) V(x)→+∞ as ‖x‖→+∞.
Lemma 2.4 (Chain Rule see [40]). V(x) is C-regular and for x(t) denotes absolute continuity function in [t0,+∞)→Rn, then V(x(t)) is differentiable for a.e. t≥t0, and dV(x(t))dt=<L(t),dx(t)dt>, L(t)∈∂V(x(t)).
Lemma 2.5 (see [33]). If the graph F is undirected, and the adjacency matrix is D=[dij] and the corresponding Laplacian matrix is L, for arbitrary x=(x1,x2,…,xn)∈Rn, one can obtain
xTLx=12n∑i,j=1cij(xi−xj)2. |
Lemma 2.6 (see [41]). For the positive numbers λ1,λ2,…,λn and 0<θ<ϑ, then one can have
(n∑i=1λϑi)1/ϑ≤(n∑i=1λθi)1/θ≤n1θ−1ϑ(n∑i=1λϑi)1/ϑ. |
Remark 2.7. The nonlinear activation function f in this brief is different from the previous literature on neural network dynamics, because our system may no longer satisfy the conventional Lipschitz condition. Different from the previous researches, the biggest difference in our model is that we recognize that the activation function of neurons is discontinuous. In addition, the internal system of neurons is not an independent system, they affect and connect with each other. The nonlinear coupling relationship considered in this paper makes the system closer to engineering practice and more complex, which generalizes the conclusion in the previous literature.
In this section, we consider the FTS problem for N identical discontinuous CDNNs (2.1) with nonlinear coupling. Firstly, one takes the system (2.1) as the driving system, the corresponding N response system equation is described as follows:
˙yi(t)=−Dyi(t)+Af(yi(t))+Bf(yi(t−τ(t)))+I(t)+mN∑j=1cijϕ(yj−yi)+ui(t), | (3.1) |
where yi(t)=(yi1(t),yi2(t),…,yin(t))T∈Rn(i=1,2,…,N) are the state variable of the ith neuron; m is the coupling strength, ϕ is the nonlinear coupling function. Matrix C=[cij] denotes the adjacency matrix of subsystems, which corresponding Laplacian matrix is represented as L, and all of them are applicable to undirected weighted networks. ui(t) is the controller.
Then subtracting (2.1) from (3.1), we can get the following error dynamical systems:
˙ei(t)=−Dei(t)+A˜fi(t)+B˜fi(t−τ(t))+mN∑j=1cijϕ(ej−ei)+ui(t), |
where i=1,2,…,N, ei(t)=yi(t)−x(t), ˜fi(t)=f(yi(t))−f(x(t)), ˜fi(t−τ(t))=f(yi(t−τ(t)))−f(x(t−τ(t))).
Then according to the theories of set-valued maps and differential inclusions, we can have
˙ei(t)∈−Dei(t)+AK[˜fi(t)]+BK[˜fi(t−τ(t))]+mN∑j=1cijϕ(ej−ei)+ui(t)⊆−Dei(t)+A(K[fi(yi(t))]−K[f(x(t))])+B(K[f(yi(t−τ(t)))]−[f(x(t−τ(t)))])+mN∑j=1cijϕ(ej−ei)+ui(t), |
or, through the Filippov regularization discussed above, for a.e. t∈[0,T), there exist measurable functions ˜γj(t)∈K[f(yi(t))], γ∗j(t)∈K[f(x(t))], one can have
˙ei(t)=−Dei(t)+Aγi(t)+Bγi(t−τ(t))+mN∑j=1cijϕ(ej−ei)+ui(t), | (3.2) |
where γi(t)=˜γi(t)−γ∗i(t).
For the sake of convenience, we denote A=(aij)nk,l=1, B=(bij)nk,l=1 and amax=max1≤k,l≤n|akl|, bmax=max1≤k,l≤n|bkl|.
Moreover, the nonlinear coupling function ϕ in this brief can be described as:
ϕ(ν)=ν+SIGN(ν)Ξ, | (3.3) |
where Ξ=(1,1,…,1)T, SIGN(ν)=diag(sign(ν1),sign(ν2),⋯,sign(νn)); when sign(νi)=1 with νi>0; sign(νi)=0 with vi=0; sign(vi)=−1 with vi<0; and the controller is designed by:
ui(t)=Q(t)SIGN(ei(t))|ei(t)|−piSIGN(ei(t))|ei(t)|θ−qiSIGN(ei(t))|ei(t)|ϑ−riSIGN(ei(t)), | (3.4) |
where 0<θ<1, ϑ>1, and Q(t) is a K∞-function.
Then the main results in this paper are given by the following theorems.
Theorem 3.1. If the activation function f of the system is assumed as the above Hypothesis. The response system (3.1) with nonlinear coupling (3.3) and novel controller (3.4) synchronize to the drive system (2.1) in a fixed-time if the following two equals hold for every i∈N:
(H) dmin>αamax+nαbmax and ri>nβ(amax+bmax).
Proof. In order to get the fixed time result, the proof needs to be divided into the following two steps:
Step 1: Firstly, choose a non-negative function V(t,e) as follows:
V(t,e)=12N∑i=1eTi(t)ei(t)=12eT(t)e(t). |
Taking the derivative of V(t,e) along the trajectories of (3.2)
˙V(t,e)=N∑i=1eTi(t)˙ei(t)=N∑i=1eTi(t)(−Dei(t)+Aγi(t)+Bγi(t−τ(t))+mN∑j=1cijϕ(ej−ei)+ui(t))=−N∑i=1eTi(t)Dei(t)+N∑i=1eTi(t)Aγi(t)+N∑i=1eTi(t)Bγi(t−τ(t))+mN∑i=1eTi(t)N∑j=1cij(ej−ei+SIGN(ej−ei))+N∑i=1eTi(t)[Q(t)SIGN(ei(t))|ei(t)|−piSIGN(ei(t))|ei(t)|θ−qiSIGN(ei(t))|ei(t)|ϑ−riSIGN(ei(t))]. | (3.5) |
According to the Hypothesis of function f, one can have
eTi(t)Aγi(t)≤n∑k=1n∑l=1eik(t)aklγil(t)≤amaxn∑k=1n∑l=1|eik(t)||γil(t)|≤amaxn∑k=1n∑l=1|eik(t)||αeil(t)+β|≤αamaxn∑k=1n∑l=1|eik(t)||eil(t)|+nβamaxn∑k=1|eik(t)|; | (3.6) |
eTi(t)Bγi(t−τ)≤n∑k=1n∑l=1eik(t)bklγil(t−τ)≤bmaxn∑k=1n∑l=1|eik(t)||γil(t−τ)|≤bmaxn∑k=1n∑l=1|eik(t)||αeil(t−τ)+β|≤αbmaxn∑k=1n∑l=1|eik(t)||eil(t−τ)|+nβbmaxn∑k=1|eik(t)|≤nαbmax2(n∑k=1e2ik(t)+n∑l=1e2il(t−τ))+nβbmaxn∑k=1|eik(t)|; | (3.7) |
According to lemma 2.5, we know that for adjacency and symmetric matrix C=[cij]n×n in undirected topological graph, there exists a Laplace matrix L corresponding to it, then
N∑i,j=1cijeTi(ej−ei)=N∑i,j=1cjieTj(ei−ej)=−12N∑i,j=1cji(ej−ei)T(ej−ei)=−12N∑i,j=1n∑k=1cij(ejk−eik)2=−N∑i=1eTi(t)Lei(t). | (3.8) |
The same as (3.8), one can have
N∑i,j=1cijeTiSIGN(ej−ei)=N∑i,j=1cjieTjSIGN(ei−ej)=−12N∑i,j=1cij|ej−ei|. | (3.9) |
Combining the above Eqs (3.6)–(3.9), the Eq (3.5) can be reduced to
dV(t,e)dt≤(−dmin+αamax+nαbmax)N∑i=1n∑k=1e2ik(t)+(−ri+nβ(amax+bmax))N∑i=1n∑k=1|eik(t)|+Q(t)N∑i=1n∑k=1e2ik(t)−N∑i=1n∑k=1pi|eik(t)|1+θ−N∑i=1n∑k=1qi|eik(t)|1+ϑ. | (3.10) |
Recalling the inequality lemma 2.6 and by the assumption of this theorem, one can get N∑i=1n∑k=1|eik(t)|1+θ≥(N∑i=1n∑k=1|eik(t)|2)1+θ2=V1+θ2(t,e) and N∑i=1n∑k=1|eik(t)|1+ϑ≥n1θ−1ϑ(N∑i=1n∑k=1|eik(t)|2)1+ϑ2=n1θ−1ϑV1+ϑ2(t,e), then the Eq (3.5) can be reduced to
dV(t,e)dt≤Q(t)V(t,e)−˘pV1+θ2(t,e)−˘qV1+ϑ2(t,e), | (3.11) |
where ˘p=min1≤i≤N{pi} and ˘q=min1≤i≤N{qi}⋅n1θ−1ϑ.
Step 2: Then we will show the FTS of the drive-response error system (3.2) and give the settling time T∗(e0,t0), which is bounded without e0 by new indefinite derivative method.
Because 0<1+θ2<1 and 1+ϑ2>1, multiplying both sides of (3.11) by V−1+θ2(t,e), one can have
21−θdV1−θ2(t,e)dt=V−1+θ2(t,e)dV(t,e)dt≤Q(t)V1−θ2(t,e)−˘p−˘qVϑ−θ2(t,e), | (3.12) |
let W(t,e)=V1−θ2(t,e), then we can expand the inequality (3.12) as
dW(t,e)dt≤1−θ2Q(t)W(t,e)−1−θ2˘p≤Q(t)W(t,e)−1−θ2˘p, | (3.13) |
multiplying both sides of (3.13) by e−∫tt∗Q(ς)dς, for a.e. t≥t∗ we get
d[W(t,e)e−∫tt∗Q(ς)dς]dt≤−1−θ2˘p⋅e−∫tt∗Q(ς)dς. | (3.14) |
Integrate both sides of (3.14) from t∗ to t and according to the definition of K∞-function, which implies ∫tt0Q(s)ds≤−λ(t−t0)+M, then one can get
W(t,e(t))e−∫tt∗Q(ς)dς≤W(t∗,e(t∗))−1−θ2˘p∫tt∗e−∫ςt∗Q(s)dsdς≤W(t∗,e(t∗))−1−θ2˘p∫tt∗eλ(ς−t∗)−Mdς=W(t∗,e(t∗))−(1−θ)˘p2λeMeλ(ς−t∗)|tt∗=W(t∗,e(t∗))−(1−θ)˘p2λeM(eλ(t−t∗)−1)=W(t∗,e(t∗))+(1−θ)˘p2λeM−(1−θ)˘p2λeMeλ(t−t∗), | (3.15) |
which implies
V1−θ2(t,e)≤e∫tt∗Q(ς)dς[V1−θ2(t∗,e(t∗))+(1−θ)˘p2λeM−(1−θ)˘p2λeMeλ(t−t∗)]. | (3.16) |
Moreover, from (3.11) it's easily to see that dV(t,e)dt≤Q(t)V(t,e), which yields for t∗>t0
V1−θ2(t∗,e(t∗))≤V1−θ2(t0,e0)e(1−θ)M2≜Υ. | (3.17) |
Combined with (3.16) and (3.17), it is easy to see V(t,e(t))≡0 if the following inequality holds:
Υ+(1−θ)˘p2λeM−(1−θ)˘p2λeMeλ(t−t∗)≤0, | (3.18) |
which yield
t≥t∗+1λln(1+2λeMΥ(1−θ)˘p), | (3.19) |
where t∗ is a priori condition to make inequality (3.17) true, it is not difficult to find that when t0 and e0 are determined, one can find the corresponding t∗, then according to (3.16)–(3.19) and the fact e∫tt∗Q(ς)dς>0, when t≥T∗(t0,e0)=t∗+1λln(1+2λeMΥ(1−θ)˘p), one can obtain V(t,e(t))≡0. Then the FTS can be finally realized and the settling time can be estimated by T∗(t0,e0).
The corresponding adaptive controller of (3.4) can be designed as
ui(t)=Q(t)SIGN(ei(t))|ei(t)|−ΔiSIGN(ei(t))|ei(t)|θ−ΠiSIGN(ei(t))|ei(t)|ϑ−ΛiSIGN(ei(t))Ξ, | (3.20) |
where Δi=diag(ζi1,ζi2,…,ζin), Πi=diag(πi1,πi2,…,πin), Λi=diag(ϵi1,ϵi2,…,ϵin), Ξ=(1,1,…,1)T and for k=1,2,…,n the controller rules of ζik πik and ϵik satisfy:
˙ζik=pik|eik(t)|1+θ and ˙πik=qik|eik(t)|1+ϑ, ˙ϵik=rik|eik(t)|, |
where pik, qik and rik are adaptive coefficients need to be determined.
Theorem 3.2. If the condition of theorem 3.1 holds and the activation function f of the system is assumed as the above Hypothesis. The response system (3.1) with nonlinear coupling (3.3) can synchronize to the drive system (2.1) in a fixed-time by adding the adaptive controller (3.20) and choosing the suitable adaptive coefficients.
Proof. We construct the following Lyapunov function:
V(t,e(t))=12N∑i=1eTi(t)ei(t)+N∑i=1n∑k=112pik(ζik−pik)2+N∑i=1n∑k=112qik(πik−qik)2+N∑i=1n∑k=112rik(ϵik−rik)2+n2N∑i=1αbmax∫tt−τeTi(s)ei(s)ds, |
Taking the derivative of V(t,e) along the trajectories of (3.2)
˙V(t,e)=N∑i=1eTi(t)˙ei(t)+n2N∑i=1αbmax(eTi(t)ei(t)−eTi(t−τ)ei(t−τ))−N∑i=1eTi(t)(Q(t)SIGN(ei(t))|ei(t)|−ΔiSIGN(ei(t))|ei(t)|θ−ΠiSIGN(ei(t))|ei(t)|ϑ−ΛiSIGN(ei(t))Ξ)+N∑i=1n∑k=1(ζik−pik)|eik(t)|1+θ+N∑i=1n∑k=1(πik−qik)|eik(t)|1+ϑ+N∑i=1n∑k=1(ϵik−rik)|eik(t)| | (3.21) |
By using the proof of theorem 3.1, the above Eq (3.21) can be simplification and consolidation as
˙V(t,e)=−N∑i=1eTi(t)Dei(t)+N∑i=1eTi(t)Aγi(t)+N∑i=1eTi(t)Bγi(t−τ(t))+mN∑i=1eTi(t)N∑j=1cij(ej−ei+SIGN(ej−ei))+n2N∑i=1αbmax(eTi(t)ei(t)−eTi(t−τ)ei(t−τ))+Q(t)N∑i=1n∑k=1e2ik(t)−N∑i=1n∑k=1pik|eik(t)|1+θ−N∑i=1n∑k=1qik|eik(t)|1+ϑ−N∑i=1n∑k=1rik|eik(t)|. | (3.22) |
Recalling the inequalities (3.6)–(3.9) and the assumption of this theorem, one can reduce ˙V(t,e) to
dV(t,e)dt≤(−dmin+αamax+nαbmax)N∑i=1n∑k=1e2ik(t)+(−rik+nβ(amax+bmax))N∑i=1n∑k=1|eik(t)|+Q(t)N∑i=1n∑k=1e2ik(t)−N∑i=1n∑k=1pik|eik(t)|1+θ−N∑i=1n∑k=1qik|eik(t)|1+ϑ≤Q(t)V(t,e)−˘pV1+θ2(t,e)−˘qV1+ϑ2(t,e), |
where ˘p=min1≤i≤N,1≤k≤n{pik} and ˘q=min1≤i≤N,1≤k≤n{qik}⋅n1θ−1ϑ.
Then according to the Step 2 of the theorem 3.1, the FTS of the drive-response error system can be achieved. Moreover, the settling time T∗(t0,e0) can be estimated by (3.19).
Remark 3.3. The key to the proof in this paper is that there is a non-negative Q(t) term. Compared with the literature [4], the assumption of Q(t) only needs to make m and λ nonnegative, which expands the scope of Q(t) and obtains more general results, which shows that this paper generalizes the previous conclusions.
Remark 3.4. Unlike the fixed time stability theorem in previous literature [14,25,36], the derivative of V(t) designed in this paper is not required to be non-negative, but an indefinite derivative. The system still achieves FTS in this case. Moreover, the conclusion can be applied to both discontinuous systems and continuous systems by omitting the conventional V-function condition, therefore, our conclusion is more general than the existing literature.
Remark 3.5. There are many interesting changes in the internal topological relationship of a neural network, such as clustering, multilayer-NN, leader-follower, impulse and other models. The relatively novel methods in this paper can be applied to the above types. In fact, once the derivative of V(x) function does not need to meet the negative qualitative conditions, the selectable range of V(x) function will be expanded. As a general conclusion, the results of this paper provide a wide application of Lyapunov theory.
In this part, in order to gain the validity of our proposed method, we introduce two numerical examples and simulations to prove its effectiveness.
Example 4.1. For i=1,2,3,4,5, the three-dimensional model and its coefficients can be described as follows:
dyi(t)dt=−Dyi(t)+Af(yi(t))+Bf(yi(t−τ))+mN∑j=1cij(yj−yi+SIGN(yj−yi)Ξ)+ui(t), | (4.1) |
where m=1, D=(900090009); A=(1202100−11); B=(2−1002−2−202); The discontinuous activation function f is expressed as follows:
f(s)={ s+0.4, s>0; s−0.4, s≤0. |
Let α=1, β=0.4, one can easily see that the Hypothesis in this paper of f holds.
Moreover, we randomly select a relationship between different neurons of coupling network, and its topology rule and the corresponding adjacency matrix can be shown as follows:
![]() |
and the corresponding Laplace matrix λmin(L)=0.
Now we choose the controller
ui(t)=Q(t)SIGN(ei(t))|ei(t)|−piSIGN(ei(t))|ei(t)|θ−qiSIGN(ei(t))|ei(t)|ϑ−riSIGN(ei(t))Ξ, |
with Q(t)=11+t2, pi=qi=1, ri=5 for every i∈N, and θ=0.5, ϑ=2, one can check that:
dmin=9>8=αamax+nαbmax and ri=5>4.8=nβ(amax+bmax). |
Then the assumptions of theorem 3.1 hold, the CDNNs (4.1) with nonlinear coupled can achieve FTS by adding the suitable controller. The simulation results are shown in Figure 1(a). Moreover, the settling time can be estimated as T∗(t0,e0)=0.328. A numerical example verifies our theoretical analysis and research results.
Example 4.2. Reconsider the model (4.1) i.e., let N=8, and its topology rule and the corresponding adjacency matrix can be shown as follows:
![]() |
And the corresponding Laplace is L, one can see that λmin(L)=0, α=1 and β=0.4. Then Now we choose the adaptive controller (3.20) with Q(t)=11+t2, pi=qi=2, ri=4 for every i∈N, and θ=0.5, ϑ=2, then we can check the conditions of Theorem 3.2 are satisfied. According to theorem 3.2, the CDNNs (4.1) with nonlinear coupled can achieve FTS. The simulation results can be shown in Figure 1(b). Moreover, the settling time is estimated as T∗(t0,e0)=0.301. $
This paper briefly introduces the FTS of complex CDNNs with discontinuous systems and time-delay. The main methods are based on Lyapunov functional and undirected topological graph theory, the new state-feedback controller and the corresponding adaptive controller schemes are established in the form of vectors. We especially use the use the method of indefinite derivative to solve the FTS problem of the CDNNs, which is independent of the initial value. The restriction that V-function must be negative definite is broken. Finally, we verify the correctness and effectiveness of the experimental and theoretical methods in this paper through experimental analysis and numerical simulation. In addition, our control method and the calculation technique of indefinite derivative established are relatively novel in this brief, and they can be extended to many fields, such as interconnected fuzzy neural networks [42], multi-agent systems [43], uncertain impulsive static neural networks [44], stochastic information constraints [45].
This work is supported by the National Natural Science Foundation of China (11501054, 11801042), Scientific Research Foundation of Hunan Provincial Education Department (19B064, 21B0771), and Training Program for Excellent Young Innovators of Changsha (kq20106072).
All authors declare that they have no conflict of interest.
[1] | X. Liang, T. Yamaguchi, On the analysis of global and absolute stability of nonlinear continuous neural networks, Ieice Trans. Fund. Electr., 80 (1997), 223–229. |
[2] |
A. Guez, E. Protopopsecu, J. Barhen, On the stability, storage capacity, and design of nonlinear continuous neural networks, IEEE Trans. Syst. Man Cybernetics, 18 (1988), 80–87. https://doi.org/10.1109/21.87056 doi: 10.1109/21.87056
![]() |
[3] |
J. Hu, Synchronization conditions for chaotic nonlinear continuous neural networks, Chaos Solitons Fractals, 41 (2009), 2495–2501. https://doi.org/10.1016/j.chaos.2008.09.026 doi: 10.1016/j.chaos.2008.09.026
![]() |
[4] | Z. Cai, L. Huang, Z. Wang, fixed-time stability criteria for discontinuous nonautonomous systems: Lyapunov method with indefinite derivative, IEEE Trans. Cybernetics, 41 (2009), 2495–2501. |
[5] |
H. Rostro-Gonzalez, B. Cessac, T. Vieville, Parameter estimation in spiking neural networks: A reverse-engineering approach, J. Neural Eng., 9 (2012), 26024–26037. https://doi.org/10.1088/1741-2560/9/2/026024 doi: 10.1088/1741-2560/9/2/026024
![]() |
[6] |
S. Smith, R. Escobedo, A deployed engineering design retrieval system using neural networks, Trans. Neural Networks, 8 (1997), 847–851. https://doi.org/10.1109/72.595882 doi: 10.1109/72.595882
![]() |
[7] |
C. Aouiti, F. Miaadi, Finite-time stabilization of neutral hopfield neural networks with mixed delays, Neural Process. Lett., 48 (2018), 1645–1669. https://doi.org/10.1007/s11063-018-9791-y doi: 10.1007/s11063-018-9791-y
![]() |
[8] |
Q. Li, J. Yu, B. Mu, X. Sun, BP neural network prediction of the mechanical properties of porous NiTi shape memory alloy prepared by thermal explosion reaction, Mater. Sci. Eng. A, 419 (2006), 214–217. https://doi.org/10.1016/j.msea.2005.12.027 doi: 10.1016/j.msea.2005.12.027
![]() |
[9] |
S. H. Strogatz, I. N. Stewart, Coupled oscillators and biological synchronization, Sci. Am., 269 (1993), 102–109. https://doi.org/10.1038/scientificamerican1293-102 doi: 10.1038/scientificamerican1293-102
![]() |
[10] |
Z. Cai, L. Huang, Z. Wang, X. Pan, S. Liu, Periodicity and multi-periodicity generated by impulses control in delayed Cohen–Grossberg-type neural networks with discontinuous activations, Neural Networks, 143 (2021), 230–245. https://doi.org/10.1016/j.neunet.2021.06.013 doi: 10.1016/j.neunet.2021.06.013
![]() |
[11] |
X. Yang, J. Cao, Finite-time stochastic synchronization of complex networks, Appl. Math. Model., 34 (2010), 3631–3641. https://doi.org/10.1016/j.apm.2010.03.012 doi: 10.1016/j.apm.2010.03.012
![]() |
[12] |
J. Cortes, Finite-time convergent gradient flows with applications to network consensus, Automatica, 42 (2006), 1993–2000. https://doi.org/10.1016/j.automatica.2006.06.015 doi: 10.1016/j.automatica.2006.06.015
![]() |
[13] |
M. R. Mufti, H. Afzal, F. Rehman, N. Ahmed, Stabilization and synchronization of 5-D memristor oscillator using sliding mode control, J. Chin. Inst. Eng., 41 (2018), 667–677. https://doi.org/10.1080/02533839.2018.1534558 doi: 10.1080/02533839.2018.1534558
![]() |
[14] |
S. Yang, C. Li, T. Huang, Finite-time stabilization of uncertain neural networks with distributed time-varying delays, Neural Comput. Appl., 28 (2017), 667–677. https://doi.org/10.1007/s00521-016-2421-6 doi: 10.1007/s00521-016-2421-6
![]() |
[15] |
L. Liu, J. Sun, Finite-time stabilization of linear systems via impulsive control, Int. J. Control, 81 (2008), 905–909. https://doi.org/10.1080/00207170701519060 doi: 10.1080/00207170701519060
![]() |
[16] |
L. Wang, F. Xiao, Finite-time consensus problems for networks of dynamic agents, IEEE Trans. Autom. Control, 55 (2007), 950–955. https://doi.org/10.1109/TAC.2010.2041610 doi: 10.1109/TAC.2010.2041610
![]() |
[17] |
M. Forti, P. Nistri, Global convergence of neural networks with discontinuous neuron activations, IEEE Trans. Circuits Syst., 50 (2003), 1421–1435. https://doi.org/10.1109/TCSI.2003.818614 doi: 10.1109/TCSI.2003.818614
![]() |
[18] |
M. Forti, P. Nistri, D. Papini, Global exponential stability and global convergence in finite time of delayed neural networks with infinite gain, IEEE Trans. Neural Networks, 16 (2005), 1449–1463. https://doi.org/10.1109/TNN.2005.852862 doi: 10.1109/TNN.2005.852862
![]() |
[19] |
M. Forti, M. Grazzini, P. Nistri, L. Pancioni, Generalized Lyapunov approach for convergence of neural networks with discontinuous or non-Lipschitz activations, Phys. D Nonlinear Phenom., 214 (2006), 88–99. https://doi.org/10.1016/j.physd.2005.12.006 doi: 10.1016/j.physd.2005.12.006
![]() |
[20] |
H. Wu, Y. Li, Existence and stability of periodic solution for BAM neural networks with discontinuous neuron activations, Comput. Math. Appl., 56 (2008), 1981–1993. https://doi.org/10.1016/j.camwa.2008.04.027 doi: 10.1016/j.camwa.2008.04.027
![]() |
[21] |
B. Wang, J. Jian, Stability and Hopf bifurcation analysis on a four-neuron BAM neural network with distributed delays, Commun. Nonlinear Sci. Numer. Simul., 15 (2010), 189–204. https://doi.org/10.1016/j.cnsns.2009.03.033 doi: 10.1016/j.cnsns.2009.03.033
![]() |
[22] |
L. Zhang, L. Huang, Z. Cai, Finite-time stabilization control for discontinuous time-delayed networks: New switching design, Neural Networks, 75 (2016), 84–96. https://doi.org/10.1016/j.neunet.2015.11.009 doi: 10.1016/j.neunet.2015.11.009
![]() |
[23] |
Z. Yi, G. Xu, X. Qin, Z. Jia, Improvement and application of transient chaos neural networks, Procedia Eng., 24 (2011), 479–483. https://doi.org/10.1016/j.proeng.2011.11.2680 doi: 10.1016/j.proeng.2011.11.2680
![]() |
[24] |
K. Wang, N. Michel, Robustness and perturbation analysis of a class of nonlinear systems with applications to neural networks, IEEE Trans. Circuits Syst., 41 (1994), 24–32. https://doi.org/10.1109/81.260216 doi: 10.1109/81.260216
![]() |
[25] |
L. Duan, L. Huang, Z. Cai, Existence and stability of periodic solution for mixed time-varying delayed neural networks with discontinuous activations, Neurocomputing, 123 (2014), 255–265. https://doi.org/10.1016/j.neucom.2013.06.038 doi: 10.1016/j.neucom.2013.06.038
![]() |
[26] |
C. Marcus, R. Westervelt, Stability of analog neural networks with delay, Phys. Rev. A, 39 (1989), 347–359. https://doi.org/10.1103/PhysRevA.39.347 doi: 10.1103/PhysRevA.39.347
![]() |
[27] |
H. Su, X. Wang, Z. Lin, Flocking of multi-agents with a virtual leader, IEEE Trans. Autom. Control, 54 (2009), 293–307. https://doi.org/10.1109/TAC.2008.2010897 doi: 10.1109/TAC.2008.2010897
![]() |
[28] |
G. Wen, Z. Duan, W. Ren, G. Chen, Distributed consensus of multi-agent systems with general linear node dynamics and intermittent communications, Int. J. Robust Nonlinear Control, 24 (2014), 2438–2457. https://doi.org/10.1002/rnc.3001 doi: 10.1002/rnc.3001
![]() |
[29] |
X. Shi, X. Sun, Y. Lv, Q. Lu, H. Wang, Cluster synchronization and rhythm dynamics in a complex neuronal network with chemical synapses, Int. J. Non-linear Mech., 70 (2015), 112–118. https://doi.org/10.1016/j.ijnonlinmec.2014.11.030 doi: 10.1016/j.ijnonlinmec.2014.11.030
![]() |
[30] |
X. Sun, J. Lei, M. Perc, J. Kurths, G. Chen, Burst synchronization transitions in a neuronal network of subnetworks, Chaos, 21 (2011), 016110. https://doi.org/10.1063/1.3559136 doi: 10.1063/1.3559136
![]() |
[31] |
W. Lu, T. Chen, New approach to synchronization analysis of linearly coupled ordinary differential systems, Phys. D Nonlinear Phenom., 213 (2006), 214–230. https://doi.org/10.1016/j.physd.2005.11.009 doi: 10.1016/j.physd.2005.11.009
![]() |
[32] |
H. Zhang, F. L. Lewis, A. Das, Optimal design for synchronization of cooperative systems: State feedback, observer and output feedback, IEEE Trans. Autom. Control, 56 (2011), 1948–1952. https://doi.org/10.1109/TAC.2011.2139510 doi: 10.1109/TAC.2011.2139510
![]() |
[33] |
Z. Wang, L. Huang, Y. Wang, Y. Zuo, Synchronization analysis of networks with both delayed and non-delayed couplings via adaptive pinning control method, Commun. Nonlinear Sci. Numer. Simul., 15 (2010), 4202–4208. https://doi.org/10.1016/j.cnsns.2010.02.001 doi: 10.1016/j.cnsns.2010.02.001
![]() |
[34] |
X. Li, X. Wang, G. Chen, Pinning a complex dynamical network to its equilibrium, IEEE Trans. Circuits Syst. I, 51 (2004), 2074–2087. https://doi.org/10.1109/TCSI.2004.835655 doi: 10.1109/TCSI.2004.835655
![]() |
[35] |
T. Chen, X. Liu, W. Lu, Pinning Complex Networks by a Single Controller, IEEE Trans. Circuits Syst. I, 54 (2006), 1317–1326. https://doi.org/10.1109/TCSI.2007.895383 doi: 10.1109/TCSI.2007.895383
![]() |
[36] |
A. E. Polyakov, D. V. Efimov, W. Perruquetti, Finite-time and fixed-time stabilization: Implicit Lyapunov function approach, Automatica, 51 (2015), 332–340. https://doi.org/10.1016/j.automatica.2014.10.082 doi: 10.1016/j.automatica.2014.10.082
![]() |
[37] | J. P. Aubin, A. Cellina, Differential Inclusions: Set-Valued Maps and Viability Theory, Springer-Verlag, Berlin, Heidelberg, 1984. https://doi.org/10.1007/978-3-642-69512-4 |
[38] | J. P. Lasalle, The Stability of Dynamical Systems, Society for Industrial and Applied Mathematics, 1976. |
[39] | A. F. Filippov, Differential Equations with Discontinuous Righthand Sides, Springer Dordrecht, 1988. https://doi.org/10.1007/978-94-015-7793-9 |
[40] | F. H. Clarke, Optimization and Nonsmooth Analysis, Society for Industrial and Applied Mathematics, 1990. |
[41] | G. H. Hardy, Inequalities, 2nd edition, Cambridge University Press, 1988. |
[42] |
A. S. Abdulhussien, A. T. AbdulSaddaa, K. Iqbal, Automatic seizure detection with different time delays using SDFT and time-domain feature extraction, J. Biomed. Res., 36 (2022), 48-57. https://doi.org/10.7555/JBR.36.20210124 doi: 10.7555/JBR.36.20210124
![]() |
[43] |
Y. Zhang, C. Mu, Y. Zhang, Y. Feng, Heuristic dynamic programming-based learning control for discrete-time disturbed multi-agent systems, Control Theory Technol., 19 (2021), 339–353. https://doi.org/10.1007/s11768-021-00049-9 doi: 10.1007/s11768-021-00049-9
![]() |
[44] |
F. Miaadi, X. Li, Impulse-dependent settling-time for finite time stabilization of uncertain impulsive static neural networks with leakage delay and distributed delays, Math. Comput. Simul., 182 (2021), 259–276. https://doi.org/10.1016/j.matcom.2020.11.003 doi: 10.1016/j.matcom.2020.11.003
![]() |
[45] |
N. Garcia, C. Kawan, S. Yuksel, Ergodicity conditions for controlled stochastic nonlinear systems under information constraints: A volume growth approach, SIAM J. Control. Optim., 59 (2021), 534–560. https://doi.org/10.1137/20M1315920 doi: 10.1137/20M1315920
![]() |
1. | Xiaofeng Chen, Synchronization of heterogeneous harmonic oscillators for generalized uniformly jointly connected networks, 2023, 31, 2688-1594, 5039, 10.3934/era.2023258 | |
2. | Ningning Zhao, Yuanhua Qiao, Jun Miao, Lijuan Duan, New predefined-time stability results of impulsive systems with time-varying impulse strength and its application to synchronization of delayed BAM neural networks, 2024, 129, 10075704, 107724, 10.1016/j.cnsns.2023.107724 |