Skip to main content

ORIGINAL RESEARCH article

Front. Neurosci., 22 April 2021
Sec. Neuromorphic Engineering
This article is part of the Research Topic Memristor Computing for Neuromorphic Systems View all 6 articles

Blinking Networks of Memristor Oscillatory Circuits in the Flux-Charge Domain

  • 1LMAH, FR-CNRS-3335, Université Le Havre Normandie, Le Havre, France
  • 2Department of Electronics, Politecnico di Torino, Turin, Italy

Multistability phenomena and complex nonlinear dynamics in memristor oscillators pave the way to obtain efficient solutions to optimization problems by means of novel computational architectures based on the interconnection of single–device oscillators. It is well-known that topological properties of interconnections permit to control synchronization and spatio–temporal patterns in oscillatory networks. When the interconnections can change in time with a given probability to connect two oscillators, the whole network acts as a complex network with blinking couplings. The work of has shown that a particular class of blinking complex networks are able to completely synchronize in a faster fashion with respect to other coupling strategies. This work focuses on the specific class of blinking complex networks made of Memristor–based Oscillatory Circuits (MOCs). By exploiting the recent Flux–Charge Analysis Method, we make clear that synchronization phenomena in blinking networks of memristor oscillators having stochastic couplings, i.e., Blinking Memristor Oscillatory Networks (BMONs), correspond to global periodic oscillations on invariant manifolds and the effect of a blinking link is to shift the nonlinear dynamics through the infinite (invariant) manifolds. Numerical simulations performed on MOCs prove that synchronization phenomena can be controlled just by changing the coupling amongst them.

1. Introduction

Synchronization of complex networks with interacting units is an active research topic with applications in many fields such as engineering, computer sciences, neural networks (both biological and not), neuromorphic circuit computing and information security. Arenas et al. (2008) formulated a comprehensive review in 2008, describing the impacts of this field of research. One of the most challenging problem in complex network is the study of spatio–temporal patterns emerging from synchronization phenomena and their relationship with the network topology and interactions' dynamics among the (both oscillatory and/or chaotic) network units (Pecora and Carroll, 1998; Belykh V. N. et al., 2004; Boccaletti et al., 2006).

In literature great attention has been paid to investigate synchronization of complex networks with fixed topology and constant couplings. Only in recent years researchers have begun to focus on time–varying coupling strengths, due to the greater resemblance of this type of networks to real world systems. Different approaches have been adopted to study synchronization properties of these complex dynamical networks. For instance, Wu and Chen (2008) have provided several criteria of global synchronization, in the case of linearly coupled networks with continuous time-varying coupling. Following a complex networked control systems approach, De Lellis et al. (2008) and DeLellis et al. (2009) have considered time-varying adaptive couplings that evolve with respect to the difference among the oscillators. Several other authors (Berner et al., 2019a,b; Menara et al., 2019; Feketa et al., 2020) have focused on cluster synchronization in networks of phase oscillators with adapting coupling based on the dynamical change of the coupling strength between the oscillators. Moreover, Berner et al. (2019a,b) explored how such complex systems behave by “splitting the networks” into different clusters of nonlinear oscillators grouped in such a way that all the oscillators in a poll have the same frequency. For the scope of this work it is also necessary to take into account the dynamics of networks formed by memristors, in particular the work by Ascoli et al. (2015). In their work the authors extensively studied the synchronization dynamics between two memristor-coupled Hindmarsh-Rose oscillatory neural cells through theoretical investigation and numerical verification. On the other hand, by exploiting the mathematical tools from the control theory of switched systems, Stilwell et al. (2006) have studied a network of oscillators with switching topology, in order to model networks where some connections may fail or may create over time. In their work they have demonstrated that complex network can synchronize even when the topology is time-varying and instantaneously disconnected. Their thesis stands, though, on two pillars that serve as a condicio sine qua non: first the different circuits must be able to synchronize in a static time-average fashion; secondly the transition between two different topology must be sufficiently fast. Synchronization criteria in the case of complex network with arbitrary switching topology and strategies for designing switching signals to obtain synchronization have been investigated by Zhao et al. (2009).

A particular class of complex networks with switching topology permits to introduce the concept of blinking complex network (Belykh I. V. et al., 2004; Hasler and Belykh, 2005; Hasler et al., 2013a,b) in which the topology evolves in time according to a stochastic process. In particular, blinking networks have the peculiar feature that, starting by a fixed topology (called pristine network), new "long–range links" between two network units are randomly added according to a fixed probability. Once the new topological configuration is set, it will remain constant for a given amount of time, then again new links are randomly created, and so on. Belykh I. V. et al. (2004) have demonstrated that such time–varying random switching (i.e., blinking) topology induces complete synchronization in the networks. By creating randomly selected couplings, the chance of creating interconnected shortcuts increases, lowering the synchronization threshold sensibly.

The study and the development of blinking complex networks finds its importance especially in boosting functional properties of bio–inspired and neuromorphic circuits acting on the topology of synaptic connections. Neuromorphic circuits made of (1 or 2-d) arrays of silicon neurons exploits its analog nature, among other architectural characteristics, to enhance their computational efficiency and speed, but one of the main drawback is the necessity of a very high number of wired connections between the computational elements (e.g., large numbers of synapses is also used to overcome low resolution in synaptic weights—see also Chicca et al., 2014). Strategies that involve solely the reduction of the required connections, for instance reshaping the network topology adding a sum cell which has inputs and outputs that are not connected to all cells has been exploited by Seiler and Nossek (1993). This approach has permitted to reduce the number of connections for a Winner Take All architecture, however it did not take into account that most of the connections had to cross a wide part of the circuit, thus still rendering it not feasible. A more effective approach to this is to generate long distance connections, activated and deactivated randomly, in such a way that the network computations performance is the same as that of a corresponding locally–connected non–switching (averaged) network. The successful use of blinking/switching networks for solving this kind of issue has been proven, for example in a similar case to the one introduced by Seiler et al., by means of a Winner Take All locally–connected architecture (Devoe and Devoe, 2012). These results highlight the importance of the study of the synchronization dynamics of blinking networks since they can be one representative of the feasibility factors of real world neuromorphic computation.

This work focuses on Blinking Memristor Oscillatory Networks (BMONs) made of memristor–based nonlinear oscillators interacting via blinking couplings. A thorough study of nonlinear dynamics and bifurcation phenomena in memristor oscillators have been recently carried out by means of the Flux-Charge Analysis Method (FCAM). Such circuit methodology permits to show that the state space in the (voltage–current)–domain [i.e., (vi)-domain] can be decomposed into invariant manifolds, where the dynamical behavior of the memristor oscillator may correspond to different complex attractors. In addition, bifurcation phenomena can be induced either by parameters on a fixed manifold (as in the classical theory of dynamical systems) or by changing the invariant manifold but with fixed parameters (a.k.a. bifurcation without parameters).

The ultimate goal of the manuscript is to show that blinking couplings in complex networks of memristor oscillators induce bifurcations without parameters so that the whole dynamics of a BMON takes place on an invariant manifold where periodic oscillations correspond to synchronized states. In this manuscript analysis of nonlinear dynamics and numerical simulations are focused on a specific BMON in which each oscillator is a third–order dynamical system describing the Chua's circuit with a memristor replacing the nonlinear resistor, but the FCAM provides the theoretical framework to grasp the role of network topology in BMONs including Memristor–based Oscillator Circuit (MOCs) of any order. It is also worth noting that bifurcation without parameters, and then the shift of nonlinear dynamics from one manifold to another, can be obtained by applying suitable charges or flux sources via time-varying voltage and/or current pulses with finite time duration (Corinto and Forti, 2017b). This work shows that BMONs exhibit analogous nonlinear phenomena without any external input. Moreover, we show that for memristor oscillators not having all the same initial conditions it is possible to change the invariant manifold on which the nonlinear dynamics takes place only by acting on the coupling topology. Our numerical investigations of BMONs shows how the creation of time–varying long–range random connections results into switching between invariant manifolds and then into synchronization.

At first, a brief introduction to the memristor oscillators is presented showing the internal dynamics and the numerical formulations of such systems in the flux-charge domain. Secondly it will be shown how the change of the topology of interacting memristor oscillators affects invariant manifolds on which nonlinear dynamics occur. Finally, synchronization phenomena in BMONs are analyzed via numerical simulations.

2. Problem Setup and Background

Let us briefly recall some results obtained in Corinto and Forti (2017a) for a MOC in the flux-charge domain. The nonlinear oscillator consists in a modified version of the well-known Chua's circuit where the nonlinear resistor is replaced by a memristor. The cited paper details and extends the results obtained in Corinto et al. (2011) For further details regarding the circuit model and its analysis please refer to Corinto and Forti (2017a). The State Equations (SEs) in dimensionless form1 are the following (tt0):

dx(t)dt=α(-x(t)+y(t)-n(x(t)))+X0dy(t)dt=x(t)-y(t)+z(t)    (1)dz(t)dt=-βy(t)

with the initial conditions

x(t0)=φM(t0)y(t0)=φL(t0)z(t0)=φL(t0)-φM(t0)+RqC2(t0).

where φM(t0) is the initial flux across the memristor, φL(t0) is the initial flux across the inductor, whereas qC2(t0) is the initial charges of capacitor 2. Moreover, we have

n(x)=Rf(x(t))=R(-87x+463x3)    (2)

and

X0=α(n(φM(t0))+φM(t0)+RC1vC1(t0)-LiL(t0)).    (3)

Readers interested in the circuit–theoretic definitions of the state variables, parameters and circuit analysis can refer to the study reported in Corinto and Forti (2017a).

Hereinafter and throughout the paper we set the following initial states and parameters:

φL(t0)=LiL(t0)=0,vC1(t0)=0,C1=1,R=1.    (4)

As shown in Corinto and Forti (2017a), the state space of the MOC in the (v, i)-domain can be decomposed in infinitely many three-dimensional manifolds M(Q0) defined, for any Q0 ∈ ℝ as

M(Q0)={w=(vC1,vC2,iL,φM)T4Q(w)=Q0},

with

Q(w)=f(φM)+1RφM+C1vC1-LRiL.    (5)

Furthermore, these manifolds are positive invariant for the dynamics of the MOC in the (v, i)–domain. Therefore, at instant t = t0 the system is on the manifold M(Q0), with Q0 = Q(w(t0)) and there it stays. The value of Q(w(t0)) depends on the memristor initial conditions and the circuit parameters.

PROPOSITION 1. Let us suppose the parameters and initial states as in (4) and φM(t0) ∈ {−1.5, 0, 1.5}. Therefore, Q(w(t0)) = 0, that is the nonlinear dynamics of the MOC is on the so-called zero-manifold M(0). Thus, every trajectory defined by [x(t), y(t), z(t)] evolves on a three–dimensional space M(0) embedded in ℝ4.

PROOF. According to the definition of f in (2), it is easy to see that f(x)+xR=f(x)+x=0 for all x ∈ {−1.5, 0, 1.5}. Therefore, by using (4) and the definition of Q in (5), we deduce:

Q(w(t0))=f(φM(t0))+1RφM(t0)+C1vC1(t0)-LRiL(t0)=0.

By extending (1), let us consider a one-dimensional array of N diffusively2 coupled MOCs described in the flux–charge domain by (i = 1, …, N):

dxi(t)dt=α(-xi(t)+yi(t)-n(xi(t)))+Xc0,i              + kNidik(xk(t)-xi(t))dyi(t)dt=xi(t)-yi(t)+zi(t)    (6)dzi(t)dt=-βyi(t)

where Ni is the sphere of influence of ith MOC and dik=αRik with dik = dki. Following the same procedure for X0 in (3), the parameters (4) permit to derive

Xc0,i=α(n(φM,i(t0))+φM,i(t0))-kNidik(φM,k(t0)-φM,i(t0)).    (7)

Analogously as in the single MOC, it is possible to prove that the state space of the Network of Memristor-based Oscillatory Circuits (NMOCs) in the (v, i)-domain is foliated by an infinite number of 3N–dimensional manifolds defined, for any Q0=(Q0,1,,Q0,N)N as

Mc(Q0)={wc4NQi(wc)=Q0,i,i=1,,N},

with wi = (vC1, i, vC2, i, iL,i, φM,i), wc=(w1,,wN)T and

Qi(wc)=f(φM,i)+1RφM,i+C1vC1,i-LRiL,i-kNi1Rik(φM,k-φM,i),    (8)

From (7) and (8), we easily deduce that

Xc0,i=αRQi(wc)i=1,,N    (9)

In the next sections we exploit NMOCs described by (6) and (7) in the flux–charge domain to make clear the influence of the couplings dik on synchronization phenomena. In particular, by assuming that dik describes blinking links added to a pristine complex network (i.e., an underlying networks with fixed topology) then the NMOC acts as a BMON.

3. Coupling Effects on Invariant Manifolds Embedding Nonlinear Dynamics

Nonlinear dynamics and global attractors of a single MOC described by (1) with X0 in (3) can be controlled by applying suitable time-varying voltage and/or current pulses with finite time duration (Corinto and Forti, 2017b). The concept of bifurcation without parameters is the crucial tool to enable the programming of nonlinear dynamics via invariant manifolds. For instance, a sequence of period–doubling bifurcations (without parameters) leading from a periodic oscillation to a chaotic attractor can be induced by means of pulses applied to the MOC; each pulse has the effect of shifting the trajectory (due to the change of X0) from an invariant manifold on which the MOC exhibits a periodic behavior to an invariant manifold with a double–scroll chaotic attractor (Corinto and Forti, 2017b). In other words, bifurcations without parameters make possible to tune nonlinear dynamics of a MOC by selecting via pulses an invariant manifold embedding all the attractors.

This section shows how nonlinear dynamics and invariant manifolds of NMOCs described by (6) and (7) are influenced by the coupling terms dik (i.e., by the network topology).

First of all, it is possible to see that when all the memristors have the same initial conditions, the coupling terms dik play a role on the dynamics of the network [since they are present on the network Equations (6)], but they do not influence the manifold embedding the dynamics of the whole NMOC.

PROPOSITION 2. Let us consider the NMOC (6). If all the initial conditions of memristors are the same [i.e., φM,i(t0) = φ0, ∀i = 1, …, N], then the attractors of the NMOC belong to an invariant manifold that is independent on the coupling parameters dik.

PROOF. It is easy to notice that when the initial conditions of each memristor are the same, that is φM,i(t0) = φ0 for all i = 1, …, N, then

kNidik(φM,k(t0)-φM,i(t0))=0.

Moreover, we have

Qi(wc(t0))=f(φM,i(t0))+1RφM,i(t0)+C1vC1,i(t0)-LRiL,i(t0)                                                       -kNi1Rik(φM,k(t0)-φM,i(t0))                      =f(φM,i(t0))+1RφM,i(t0)+C1vC1,i(t0)-LRiL,i(t0)    (10)                      =Q(wi(t0)),  i=1,,N

with Q defined as in (5). Therefore, the invariant manifold Mc(Q0) is independent on the coupling.

Thus, in order to induce bifurcations without parameters by means of the couplings and then change the invariant manifold embedding the attractors of the NMOC, at least one initial condition of the memristors has to be different. Without loss of generality, let us suppose that the memristor initial condition in the first oscillator is different with respect to the others. Therefore, we can prove the following result:

PROPOSITION 3. Let us consider the NMOC (6) with the memristor initial conditions:

φM,i(t0)=φ0  i1φM,1(t0)=φ~0φ0.

Let us suppose that the global dynamics of the NMOC evolves on the manifold Mc(Q0), with Q(wc(t0)) = Q0 = (Q0,1, …, Q0,N) defined as in (8).

Moreover, let us suppose to add a link between the nodes i1 and j1, that are not yet linked. Therefore, we have the following two cases:

if i1 ≠ 1 and j1 ≠ 1, as in Figure 1B, the NMOCs Equations (6) are modified but the dynamics of the network still evolves on the manifold Mc(Q0)

if i1 = 1, as in Figure 1C, not only the NMOCs Equations (6) change as in the previous case, but the nonlinear dynamics of the NMOC shift from the invariant manifold Mc(Q0) to the manifold Mc(Q0), where Q0=(Q0,1,,Q0,N) with

Q0,1=Q0,1-1R1,j1(φM,j1(t0)-φM,1(t0))=Q0,1-1R1,j1Δφ0Q0,j1=Q0,j1+1R1,j1Δφ0Q0,i=Q0,ii{1,j1},

and Δφ0=φ0-φ~0.

PROOF. Let us suppose:

φM,i(t0)=φ0  i1φM,1(t0)=φ~0φ0

and Δφ0=φ0-φ~0.

In this case, the NMOCs Equation (6) become:

dxi(t)dt=α(-xi(t)+yi(t)-n(xi(t)))+Xc0,i          + kNidik(xk(t)-xi(t))dyi(t)dt=xi(t)-yi(t)+zi(t)    (11)dzi(t)dt=-βyi(t)

with

Xc0,i= {α(n(φ˜0)+φ˜0)kNidikΔφ0, if i=1  α(n(φ˜0)+φ˜0)+d1iΔφ0           if iN1:i1α(n(φ0)+φ0),                             if iN1       (12)

Moreover, according to (8), for any tt0 the global dynamics of the NMOC (11) evolves on the manifold Mc(Q0), with Q(wc(t0)) = Q0 = (Q0,1, …, Q0,N) and

Q0,1=f(φM,1)+1RφM,1(t0)              kN11R1k(φM,k(t0)         φM,1(t0))         =f(φ˜0)+1Rφ˜0kN11R1kΔφ0iN1:i1,Q0,i=f(φM,i)+1RφM,i(t0)                                                  kNi1Rik(φM,k(t0)                                           φM,i(t0))                                           =f(φ0)+1Rφ0+1R1iΔφ0,
iN1Q0,i=f(φM,i)+1RφM,i(t0)kNi1Rik(φM,k(t0)                              φM,i(t0))                              =f(φ0)+1Rφ0.    (13)

Let us suppose now to add a link between the nodes i1 and j1, that are not yet linked. We can have two different cases (see Figure 1):

1. if i1≠1 and j1 ≠ 1, as in Figure 1B, the NMOCs Equations (6) are modified. Indeed, for the x-components of the MOCs with indexes i1 and j1 we have additional coupling terms due to the new link:

dxi1(t)dt=α(-xi1(t)+yi1(t)-n(xi1(t)))+Xc0,i1                     +kNi1di1k(xk(t)-xi1(t))+di1j1(xj1(t)-xi1(t))
dxj1(t)dt=α(-xj1(t)+yj1(t)-n(xj1(t)))+Xc0,j1    (14)                      +kNj1dj1k(xk(t)-xj1(t))+di1j1(xi1(t)-xj1(t))

while the other equations do not change.

It is important to notice that, since φM,i1(t0) = φM,j1(t0), the addition of the new link does not change the expression of Xc0,11 and Xc0,j1. Therefore, for all i = 1, …, N, the Xc0,i terms are still the same, and from the relation between Xc0,i and Q0,i in (9), we can deduce that the network still evolves on the manifold Mc(Q0),

2. if i1 = 1, as in Figure 1C, not only the NMOCs Equations (6) change as in the previous case, but also the coefficients Xc0,1 and Xc0,j1. In fact, we have the new coefficients:

Xc0,1=Xc0,1-d1j1Δφ0Xc0,j1=d1j1Δφ0

This implies that the nonlinear dynamics of the NMOC shift from the invariant manifold Mc(Q0) to the manifold Mc(Q0), where Q0=(Q0,1,,Q0,N) with

Q0,1=Q0,1-1R1,j1(φM,j1(t0)-φM,1(t0))=Q0,1-1R1,j1Δφ0Q0,j1=Q0,j1+1R1,j1Δφ0,

while Q0,i=Q0,i does not change for all i different from 1 and j1.

The next section shows the application of this analysis to the numerical study of synchronization phenomena in NMOCs and BMONs.

FIGURE 1
www.frontiersin.org

Figure 1. Network of N coupled MOCs. (A) For simplicity, we suppose a sphere of influence of radius one and zero boundary conditions. The memristor initial state of the first MOC is different with respect of the other ones. When we add a link between node i1 and node j1 ≠ 1, we have two possibilities: either (B) i1 ≠ 1 or (C) i1 = 1.

4. Spatio–Temporal Synchronization Phenomena

This section presents the numerical analysis of spatio–temporal synchronization phenomena in NMOCs in two specific cases of interest: (a) the addition of just one single link in order to make clear the effect of a connection on the manifold shift; (b) the inclusion of blinking interconnections having a given probability to connect two MOCs. As preliminary step, we show the effect of the memristor initial conditions in such NMOC with fixed diffusive topology.

4.1. NMOC With Fixed Diffusive Topology

Let us consider N = 4 MOCs forming a NMOC whose SEs are given by (6) and such that each MOC has an influence sphere of radius r = 1, that is Ni={i-1,i,i+1} for i = 1, …, 4. Moreover, zero boundary conditions are considered. We suppose that each oscillator has the following circuit parameters: α = 9.5 and β = 15. Moreover, let us consider as the ith MOC's initial conditions:

xi(0)=φ0,i  yi(0)=0  zi(0)=-φ0,i+φ¯0,i,

with

φ0,1=φ~0=0  φ¯0,1=RqC2,1(0)=1.1φ0,i=φ0=-1.5  φ¯0,i=RqC2,i(0)=-1  i1.    (15)

Therefore, here Δφ0 = −1.5.

With this choice of memristor initial conditions, we have n(φ~0)+φ~0=n(φ0)+φ0=0. Each uncoupled MOC (i.e., dik = 0) exhibits a double-scroll attractor belonging to the zero–manifold, since, as we have shown in Proposition 1, Q0 = 0 when φM(t0) ∈ {−1.5, 0, 1.5}.

Moreover, with this choice of initial conditions, it follows that

Xc0,i={kNidikΔφ0, if i=1+d1iΔφ0                if iN1:i10,                                  if iN1.    (16)

Hence, the nonlinear dynamics of the NMOC is not on the 3N-dimensional zero-manifold Mc(0), but from (13) we deduce that the manifold of the NMOC is Mc(Q0), with:

Xc0,i={kNi1R1kΔφ0, if i=11R1iΔφ0                     if iN1:i10,                                    if iN1.    (17)

In the following, let us consider a fixed topology defined by a diffusive (space–invariant) couplings with dik = d = 0.05α. In this case, Q0 is the following:

Q0,i={kN11R1kΔφ0=1R12Δφ0=0.075 if i=11R12Δφ0=0.075,                                            if i=2              0                                                                                      if i{1,2}.    (18)

Thus, due to the choice of different memristor initial conditions and the coupling (diffusive topology), the global evolution of the NMOC is not on the zero-manifold and the first three oscillators synchronize nearly in–phase, while the last one is still chaotic (see Figure 2).

FIGURE 2
www.frontiersin.org

Figure 2. (A) Phase portrait and (B) time series of a network of four diffusively coupled MOCs. The oscillators are nearly in-phase synchronized except for the fourth one.

4.2. Addition of One Link

We are interested in investigating what happens when we add a link between the i1-th and the j1 MOCs of the NMOC having the fixed diffusive topology analyzed in the previous section. For this purpose, we consider the NMOC with fixed diffusive topology from t = 0 to t = 500, then we add a link at t = 500 with di1, j1 = d and analyze the dynamic behavior of the whole NMOC till t = 1, 000. Indeed, according to section 3, the SEs of the NMOC including the additional link change as in (14).

In the choice of i1 and j1, we have here three possibilities:

(a) i1 = 1 and j1 = 3: since these two MOCs have different memristor initial conditions, at t = 500 the nonlinear dynamics of the whole NMOC shifts from the invariant manifold Mc(Q0) to Mc(Q0), where Q0=(Q0,1,,Q0,N) with

Q0,1=Q0,1-1R1,3Δφ0=0.15,Q0,2=Q0,2=-0.075Q0,3=Q0,3+1R1,3Δφ0=-0.075,
Q0,4=Q0,4=0.

In this case, the addition of the link does not modify the synchronization properties of the network (see Figure 3).

(b) i1 = 1 and j1 = 4: also in this case the memristor initial conditions are different, therefore the dynamic evolution of the NMOC for any t≥500 takes place on the invariant manifold Mc(Q0), where Q0=(Q0,1,,Q0,4) with

Q0,1=Q0,1-1R1,4Δφ0=0.15,Q0,2=Q0,2=-0.075
Q0,3=Q0,3=0Q0,4=Q0,4+1R1,4Δφ0=-0.075.

As represented in Figure 4, the new link makes the fourth MOC to synchronize with the others, and then the whole NMOC exhibits in–phase synchronization among the memristor–based oscillator circuits.

(c) i1 = 2 and j1 = 4: in this case the two MOCs have identical memristor initial conditions, therefore the network remains on the manifold Mc(Q0). As it is possible to see in Figure 5, the addition of the link gives rise to a (global) periodic state corresponding to a in–phase synchronization among the oscillators in the NMOC.

The three cases (a)–(c) makes clear that adding suitable links in NMOCs with fixed topology can induce synchronization phenomena. In particular, for the case under study the adding of a link connecting the fourth MOC is essential to obtain in-phase synchronization because it was out-of-phase in the MNMOC with fixed diffusive couplings. A more general case is considered in the next section by investigating larger NMOCs with fixed diffusive topology and where new links are added with a given probability and for a fixed time. We refer to such case as BMONs.

FIGURE 3
www.frontiersin.org

Figure 3. (A) Phase portrait and (B) time series of a network of four diffusively coupled MOCs when a link between the first and the third oscillator is added at t = 500. The oscillators in the network are not synchronized.

FIGURE 4
www.frontiersin.org

Figure 4. (A) Phase portrait and (B) time series of a network of four diffusively coupled MOCs when a link between the first and the fourth oscillator is added at t = 500. The addition of this link makes all the oscillators to synchronize in phase.

FIGURE 5
www.frontiersin.org

Figure 5. (A) Phase portrait and (B) time series of a network of four diffusively coupled MOCs when a link between the second and the fourth oscillator is added at t = 500. The addition of the new link makes the fourth MOC to synchronize with the others.

4.3. Blinking Memristor Oscillatory Networks (BMONs)

Several works in literature (Berner et al., 2019a,b; Menara et al., 2019; Feketa et al., 2020) have investigated networks of phase oscillators with adapting coupling based on the dynamical change of the coupling strength between the oscillators in order to obtain cluster synchronization. In the following we adopt the approach of Belykh I. V. et al. (2004), Hasler and Belykh (2005), and Hasler et al. (2013a,b) and we consider Blinking Memristor Oscillatory Networks, that is networks with a fixed topology (the so-called pristine network) and where new long-range links are randomly added and removed at each time period τ.

The Blinking Memristor Oscillatory Networks is defined as follows (i = 1, …, N):

dxi(t)dt=α(-xi(t)+yi(t)-n(xi(t)))+Xc0,i             +k=1Ndik(t)(xk(t)-xi(t))dyi(t)dt=xi(t)-yi(t)+zi(t)    (19)dzi(t)dt=-βyi(t)

where

Xc0,i=α(n(φM,i(t0))+φM,i(t0)k=1ndik(t)(φM,k(t0)φM,i(t0)).

Following Belykh I. V. et al. (2004), Hasler and Belykh (2005), Hasler et al. (2013a,b), once divided the time axis into intervals of length τ, we consider the coupling coefficients as follows:

dik(t)={d if kNidsikm if k is not included in Ni, and (m1)τ             <t<mτ,

with Ni={i-1,i,i+1} (i = 1, …, N), d = 0.075α, for all i, and sikm equal to 1 with probability p and equal to 0 with probability 1−p. Also in this case, zero-boundary conditions are considered. Therefore, it means that the corresponding pristine network (whose links are always present for each t) is a diffusive MOC network where each oscillator has a sphere of influence of radius 1. In addition, new long-range links are added with a probability p and during time intervals of length τ. In the following, we consider a switching probability of p = 0.03 and τ = 0.1. It is possible to see, as shown also in Belykh I. V. et al. (2004), that adding long-range links improve the synchronizations properties of the network.

Here we have considered N = 30. Moreover, we suppose that each oscillator has the following circuit parameters: α = 9.5 and β = 15. As in the previous case, we suppose that all the oscillators have identical initial conditions except the first one:

xi(0)=φ0,i  yi(0)=0  zi(0)=-φ0,i+φ¯0,i,

with

φ0,1=φ~0=0  φ¯0,1=1.1φ0,i=φ0=-1.5  φ¯0,i=-1  i1.    (20)

Thus, Δφ0 = −1.5.

The numerical simulations of the pristine (i.e., fixed topology) diffusive network, reported in Figure 6, show that the network dynamics is such that the majority of the oscillators are on the large limit cycle surrounding the double-scroll except few of them. Moreover, the oscillators are not synchronized, as it is possible to see in the phase portraits of Figure 7. It is interesting to notice that in this case the last MON is on the large limit cycle while in the previous diffusive network of four MOCs, the last one was chaotic. Since the boundary conditions for both the cases are the same, we presume that the different behavior is due to the number of oscillators in the two networks.

FIGURE 6
www.frontiersin.org

Figure 6. Pristine diffusive network of N = 30 MOCs. Several oscillators (but not all) are on the large amplitude limit cycle.

FIGURE 7
www.frontiersin.org

Figure 7. Phase portraits in the case of a diffusive array of N = 30 MOCs. Only some oscillators are synchronized.

Figure 8 shows a realization of the BMON (19). Thanks to the addition of time-dependent on–off long-range links the blinking network, unlike the pristine one, exhibits in-phase synchronization.

FIGURE 8
www.frontiersin.org

Figure 8. A realization of a blinking array of N = 30 MOCs. All the oscillators synchronize in phase.

Let us investigate how the blinking topology affects the invariant manifold on which the BMON evolves. According to (17), the pristine network at time t = 0 is on the manifold Mc(Q0) with

Q0,i={kN11R1kΔφ0=1R12Δφ0=0.1125  if i=11R12Δφ0=0.1125,                                            if i=20                                                                                        if i{1,2}.    (21)

As seen in section 3, if a new link is added between two oscillators with different memristor initial conditions, the whole BMON changes of invariant manifold on which nonlinear attractors occur. Therefore, in our BMON, at each time we add a new long-range link, depending if it involves the first MOC or not, the whole BMON can switch from one manifold to another. In Figure 9, the components Qi(t) = Qi(wc(t)) (i = 1, …, 30) of Q(wc(t)) as function of time are represented. It is worth noting that these components are piece-wise constant since each manifold is positive invariant, so the system stays on one manifold till a new link (between MOCs with different memristor initial conditions) is added or removed. Clearly, the component Q1 is the one who switches the most, since it changes each time we add a link with the first MOC as edge destination. On the contrary, for i≥3, the components Qi change only if the new links involve the first MOC and the ith MOC. As we have pointed out in section 3, if the two edges of the new link are different from 1, the BMON evolves on the same invariant manifold. Finally, the component Q2 does not change at all, since the link from the first and the second MOC (the only one who could make change this component) is already present in the pristine network. All the possible new links that involve the second MOC are among it and a j-th oscillator (with j≥4), but, since these MOCs have the same memristor initial conditions, the manifold embedding the evolution of the BMON does not change.

FIGURE 9
www.frontiersin.org

Figure 9. Components Qi (i = 1, …, 30) of Q[wc(t)] as function of time for the blinking network under study. At each blink, new non-local links are added and the whole network possibly changes of manifold.

For further information we have also considered the average system whose SEs are the same as (19), with (for ik)

dik(t)={d     if nodes i and k are connected in the pristine        network    pd  if not.    (22)

It is interesting to notice that in this case the average system does not exhibit in-phase synchronization because of the last MOC (see Figure 10). Indeed, the fact that the average BMON synchronizes is a sufficient but not necessary condition in order to have the synchronization of the blinking network (Belykh I. V. et al., 2004). Moreover, in our case, due to the different memristor initial conditions, the MOCs are not identical as in Belykh I. V. et al. (2004). Thus, as stated in the beginning of this work, we show that for memristor oscillators not having all the same initial conditions it is possible to change the invariant manifold on which the nonlinear dynamics takes place only by acting on the coupling topology. The numerical procedures that exploit the FCAM analysis method, of BMONs shows how the creation of time–varying long–range random connections results into switching between invariant manifolds which leads them to synchronization. Our results show that nonlinear dynamical effects generated by the blinking action of couplings and the consequent switching among invariant manifolds is needed in order to achieve a in-phase synchronization for the whole BMON.

FIGURE 10
www.frontiersin.org

Figure 10. Phase portrait of the average system of N = 30 MOCs. All the oscillators, except the last one, synchronize in phase.

5. Conclusion

In this paper we have considered a network of memristor nonlinear oscillators in the Flux-Charge Analysis Method (FCAM) framework, in order to show that it is possible to tune nonlinear dynamics of complex networks of memristor–based oscillators by simply adding new links among the oscillators, thus by acting on the blinking coupling topology. This has been done under the hypothesis of different memristor initial conditions. The FCAM permits to interpret the dynamical evolution of the whole blinking network of memristor oscillators as the periodic/chaotic attractors occurring on different invariant manifolds. Numerical simulation show that the synchronization properties can be improved by adding blinking long-range links and consequently by randomly switching of the invariant manifold.

Data Availability Statement

The original contributions presented in the study are included in the article/supplementary material, further inquiries can be directed to the corresponding author/s.

Author Contributions

VL and FC supervised and developed the mathematical model described in the paper. JS performed the simulations. FC wrote abstract and section 1. VL and JS wrote sections 3–7. All authors contributed in the analysis of the results and in writing the manuscript.

Funding

This work was supported by the Ministero degli Affari Esteri e della Cooperazione Internazionale (MAECI) under the project n. PGR00823.

Conflict of Interest

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

Footnotes

1. ^In this work we consider the following dimensions: time is in [μs], the resistors expressed in [], the currents are in [A], voltages are in [mV] and capacities are expressed in [nF].

2. ^The circuit implementation of diffusive coupling is realized by linear resistors Rik connecting the ith and kth MOCs through xi and xk.

References

Arenas, A., Díaz-Guilera, A., Kurths, J., Moreno, Y., and Zhou, C. (2008). Synchronization in complex networks. Phys. Rep. 469, 93–153. doi: 10.1016/j.physrep.2008.09.002

CrossRef Full Text | Google Scholar

Ascoli, A., Lanza, V., Corinto, F., and Tetzlaff, R. (2015). Synchronization conditions in simple memristor neural networks. J. Frankl. Instit. 352, 3196–3220. doi: 10.1016/j.jfranklin.2015.06.003

CrossRef Full Text | Google Scholar

Belykh, I. V., Belykh, V. N., and Hasler, M. (2004). Blinking model and synchronization in small-world networks with a time-varying coupling. Phys. D 195, 188–206. doi: 10.1016/j.physd.2004.03.013

CrossRef Full Text | Google Scholar

Belykh, V. N., Belykh, I. V., and Hasler, M. (2004). Connection graph stability method for synchronized coupled chaotic systems. Phys. D 195, 159–187. doi: 10.1016/j.physd.2004.03.012

CrossRef Full Text | Google Scholar

Berner, R., Fialkowski, J., Kasatkin, D., Nekorkin, V., Yanchuk, S., and Schöll, E. (2019a). Hierarchical frequency clusters in adaptive networks of phase oscillators. Chaos 29:103134. doi: 10.1063/1.5097835

PubMed Abstract | CrossRef Full Text | Google Scholar

Berner, R., Schöll, E., and Yanchuk, S. (2019b). Multiclusters in networks of adaptively coupled phase oscillators. SIAM J. Appl. Dyn. Syst. 18, 2227–2266. doi: 10.1137/18M1210150

CrossRef Full Text | Google Scholar

Boccaletti, S., Latora, V., Moreno, Y., Chavez, M., and Hwang, D.-U. (2006). Complex networks: structure and dynamics. Phys. Rep. 424, 175–308. doi: 10.1016/j.physrep.2005.10.009

CrossRef Full Text | Google Scholar

Chicca, E., Stefanini, F., Bartolozzi, C., and Indiveri, G. (2014). Neuromorphic electronic circuits for building autonomous cognitive systems. Proc. IEEE 102, 1367–1388. doi: 10.1109/JPROC.2014.2313954

CrossRef Full Text | Google Scholar

Corinto, F., Ascoli, A., and Gilli, M. (2011). Nonlinear dynamics of memristor oscillators. IEEE Trans. Circ. Syst. I 58, 1323–1336. doi: 10.1109/TCSI.2010.2097731

CrossRef Full Text | Google Scholar

Corinto, F., and Forti, M. (2017a). Complex dynamics in arrays of memristor oscillators via the flux-charge method. IEEE Trans. Circ. Syst. I 65, 1040–1050. doi: 10.1109/TCSI.2017.2759182

CrossRef Full Text | Google Scholar

Corinto, F., and Forti, M. (2017b). Memristor circuits: pulse programming via invariant manifolds. IEEE Trans. Circ. Syst. I 65, 1327–1339. doi: 10.1109/TCSI.2017.2740999

CrossRef Full Text | Google Scholar

De Lellis, P., di Bernardo, M., and Garofalo, F. (2008). Synchronization of complex networks through local adaptive coupling. Chaos 18:037110. doi: 10.1063/1.2944236

PubMed Abstract | CrossRef Full Text | Google Scholar

DeLellis, P., di Bernardo, M., and Garofalo, F. (2009). Novel decentralized adaptive strategies for the synchronization of complex networks. Automatica 45, 1312–1318. doi: 10.1016/j.automatica.2009.01.001

PubMed Abstract | CrossRef Full Text | Google Scholar

Devoe, M., and Devoe, M. W. Jr. (2012). Cellular neural networks with switching connections. Automatica 45, 1312–1318.

Google Scholar

Feketa, P., Schaum, A., and Meurer, T. (2020). Synchronization and multi-cluster capabilities of oscillatory networks with adaptive coupling. IEEE Trans. Autom. Control. doi: 10.1109/TAC.2020.3012528. [Epub ahead of print].

CrossRef Full Text | Google Scholar

Hasler, M., and Belykh, I. (2005). Blinking long-range connections increase the functionality of locally connected networks. IEICE Trans. Fund. Electron. Commun. Comput. Sci. 88, 2647–2655. doi: 10.1093/ietfec/e88-a.10.2647

CrossRef Full Text | Google Scholar

Hasler, M., Belykh, V., and Belykh, I. (2013a). Dynamics of stochastically blinking systems. Part I: finite time properties. SIAM J. Appl. Dyn. Syst. 12, 1007–1030. doi: 10.1137/120893409

CrossRef Full Text | Google Scholar

Hasler, M., Belykh, V., and Belykh, I. (2013b). Dynamics of stochastically blinking systems. Part II: asymptotic properties. SIAM J. Appl. Dyn. Syst. 12, 1031–1084. doi: 10.1137/120893410

CrossRef Full Text | Google Scholar

Menara, T., Baggio, G., Bassett, D. S., and Pasqualetti, F. (2019). Stability conditions for cluster synchronization in networks of heterogeneous kuramoto oscillators. IEEE Trans. Control Netw. Syst. 7, 302–314. doi: 10.1109/TCNS.2019.2903914

CrossRef Full Text | Google Scholar

Pecora, L. M., and Carroll, T. L. (1998). Master stability functions for synchronized coupled systems. Phys. Rev. Lett. 80:2109. doi: 10.1103/PhysRevLett.80.2109

CrossRef Full Text | Google Scholar

Seiler, G., and Nossek, J. A. (1993). Winner-take-all cellular neural networks. IEEE Trans. Circ. Syst. II 40, 184–190. doi: 10.1109/82.222817

CrossRef Full Text | Google Scholar

Stilwell, D. J., Bollt, E. M., and Roberson, D. G. (2006). Sufficient conditions for fast switching synchronization in time-varying network topologies. SIAM J. Appl. Dyn. Syst. 5, 140–156. doi: 10.1137/050625229

CrossRef Full Text | Google Scholar

Wu, W., and Chen, T. (2008). Global synchronization criteria of linearly coupled neural network systems with time-varying coupling. IEEE Trans. Neural Netw. 19, 319–332. doi: 10.1109/TNN.2007.908639

PubMed Abstract | CrossRef Full Text | Google Scholar

Zhao, J., Hill, D. J., and Liu, T. (2009). Synchronization of complex dynamical networks with switching topology: a switched system point of view. Automatica 45, 2502–2511. doi: 10.1016/j.automatica.2009.07.013

CrossRef Full Text | Google Scholar

Keywords: neural network, biologically plausible neural networks, memristor, complex dynamics, nonlinear oscillators

Citation: Lanza V, Secco J and Corinto F (2021) Blinking Networks of Memristor Oscillatory Circuits in the Flux-Charge Domain. Front. Neurosci. 15:618607. doi: 10.3389/fnins.2021.618607

Received: 17 October 2020; Accepted: 22 March 2021;
Published: 22 April 2021.

Edited by:

Martin Ziegler, Technische Universität Ilmenau, Germany

Reviewed by:

Thomas Meurer, University of Kiel, Germany
Alon Ascoli, Technische Universität Dresden, Germany

Copyright © 2021 Lanza, Secco and Corinto. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: Valentina Lanza, valentina.lanza@univ-lehavre.fr

Disclaimer: All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.