Abstract

Synchronization is one of the most important emerging collective behaviors in nature, which results from the interaction in groups of organisms. In this paper, network synchronization of discrete-time dynamical systems is studied. In particular, network synchronization with fireflies oscillators like nodes is achieved by using complex systems theory. Different cases of interest on network synchronization are studied, including for a large number of fireflies oscillators; we consider synchronization in small-world networks and outer synchronization among different coupled networks topologies; for all presented cases, we provide appropriate ranges of values for coupling strength and extensive numerical simulations are included. In addition, for illustrative purposes, we show the effectiveness of network synchronization by means of experimental implementation of coupled nine electronics fireflies in different topologies.

1. Introduction

In nature, several complex behaviors emerge from the interaction among living organisms to generate a common benefit, for example, synchronization in shoaling fish to avoid predators, organization of ants to build the nest, flock of birds, and pod of dolphins, and one of the most spectacular synchronization cases is the firefly flashing in Southeast Asia and North America. In [1, 2] some studies on synchronization of fireflies are reported. Such insects use their bioluminescence for mating purposes where thousands of male fireflies flash at the same time in a rhythmic form to attract the attention of nearby females. Synchronization was introduced by C. Huygens when he was surprised with the synchronization of two pendulum clocks coupled mutually by the wall; an experiment of Huygens’s clocks is studied in [3]. In the last decades, synchronization has been studied on chemical, biological, and ecological systems and electronics devices [47]. Thus, synchronization is the effect to produce the same dynamic behavior in two or more elements when they are coupled with physical links; in addition, synchronization can be classified into two types, mutual synchronization (bidirectional coupling) and master-slave synchronization (unidirectional coupling); these two types of synchronization are widely discussed in [8, 9].

The fireflies are considered as oscillators that are coupled by light pulses. The coupling and synchronization of oscillators have been studied by scientists since the 60s in biological systems; see, for example, [1013]. In 1990, Mirollo and Strogatz published an article where a mathematical model is introduced to couple and synchronize an oscillator by pulses in [14]; they assume that all the oscillators in the system are identical; this model was pioneer to explain the synchronization in complex systems such as neurons, cells of the heart, and fireflies. Another work about the analysis of oscillators coupled by pulses was presented by Ernst et al. in [15] based on the Mirollo-Strogatz model but with coupling cancellation; other approximations to modeling fireflies synchronization have been proposed in [16, 17]. Therefore, the study and analysis on synchronization of fireflies can help to understand the emergence of collective behavior in other organisms and their applications such as robotics and communications.

In this paper, we use a dynamical model to synchronize in several topologies based on the coupling matrix. First, the model of a firefly is presented and simulated; then, five fireflies are coupled in nearest-neighbor network, star network, and small-world network, where the synchronization is achieved in all the reported cases. We use the MatLab software to simulate the synchronization process that is verified with the graphics of temporal dynamics, phase, and error among the nodes. Additionally, we extend the analysis to outer synchronization of two and three coupled networks; we prove the effectiveness of the proposed synchronization scheme with numerical results and experimental implementation. This paper is organized as follows. In Section 2 we give a brief review on complex dynamical networks. In Section 3, the proposed firefly dynamical discrete simple model is presented. Network synchronization of different topologies is shown in Section 4. In Section 5, the outer synchronization of two and three networks is presented. In Section 6, experimental implementation of fireflies is presented. Finally, some conclusions are mentioned in Section 7.

2. Preliminaries

In this section, we give a brief review on synchronization of complex dynamical networks.

2.1. Synchronization of Complex Networks

We consider a complex network is composed of identical nodes, linearly and diffusively coupled through the first state of each node. In this network, each node constitutes an -dimensional discrete-time map. The state equations of this network are described bywhere are the state variables of the node and is the input signal of the node and is defined bywhere the constant represents the coupling strength of the complex network and is constant 0-1 matrix linking coupled state variables. Meanwhile, is the coupling matrix, which represents the coupling topology of the complex network. If there is a connection between node and node , then ; otherwise, for . The diagonal elements of coupling matrix are defined asIf the degree of node is , then , .

Now, suppose that the complex network is connected without isolated clusters. Then, is a symmetric irreducible matrix. In this case, it can be shown that zero is an eigenvalue of with multiplicity and all the other eigenvalues of are strictly negative; see [18, 19].

In accordance with [19], the complex network (1)-(2) is said to achieve (asymptotically) synchronization ifDiffusive coupling condition (3) guarantees that the synchronization state is a solution, , of an isolated node; that is,where can be an equilibrium point, a periodic orbit, or a chaotic attractor. Thus, stability of the synchronization state,of complex network (1)-(2) is determined by the dynamics of an isolated node, that is, function and solution , the coupling strength , the inner linking matrix , and the coupling matrix .

3. Dynamics of a Simple Firefly Discrete Model

In this section, a simple firefly discrete-time mathematical model is described, in order to be used as fundamental nodes to construct different coupled networks.

The simple dynamical model of a firefly is expressed by means of the following discrete-time system based on [20]where is the simple representation of a firefly in discrete-time, is the angular frequency in radians with the blink frequency, is the sampling time, and is the number of iterations.

Isolated firefly (7) does not receive stimulus from any other firefly in the network, and it is flashing with a period of time of seconds. If a firefly blinks with a certain period, we take on the sequence of flashes as a circular unitary motion; see Figure 1, where the angular position is a point in the unitary circle and a short flash or pulse of the firefly occurs when a rotation is completed.

Figure 2 shows the behavior of isolated firefly (7) for initial conditions , , , and iterations (note that, for appreciation purposes, we use the interpolation option of the Matlab simulation software).

4. Network Synchronization of Coupled Fireflies in Different Connection Topologies

In this section, network synchronization of coupled fireflies (7) in different topologies and the corresponding numerical results are reported. In the following cases of study, we assume that all the fireflies are connected, without self-loops and without multiple edges between two fireflies. To be consistent with notation in complex network (1)-(2), we have considered the following change of variable:

4.1. Nearest-Neighbor Coupled Network

First, we consider a complex network according to (1)-(2) composed of coupled fireflies periodic oscillators (7) as fundamental nodes in nearest-neighbor coupled topology; see Figure 3. The corresponding state equations to this dynamical network are arranged as follows: the first firefly is given bythe second firefly is given bythe third firefly is given bythe fourth firefly is given byand the fifth firefly is given bywithThe corresponding coupling matrix for the network shown in Figure 3 is given byFor illustrative purposes, we present the scenario where the oscillators fireflies of the network are uncoupled (isolated fireflies). From (9) to (28) by choosing , the control inputs ; therefore, the five isolated fireflies of the network are unsynchronized assuming different initial conditions. Figures 4 and 5 show the collective behavior of five isolated fireflies oscillators: temporal dynamics of states and for , synchronization errors for , and phase diagrams among the oscillators fireflies versus for , with initial conditions , , , , , , , and . Consider now the scenario, where the oscillators fireflies of the network are coupled in nearest-neighbor topology (see Figure 3). For network synchronization purposes, we increase the coupling strength values of , for . Let with the same initial conditions as well as in uncoupled nearest-neighbor network. Figure 6 shows the temporal dynamics and errors, where is computed to observe the behavior of the error among the angular frequencies of the synchronized oscillators.

In Figure 7, we can appreciate the phase diagrams, where, after a transient, the involved signals overlap in a line of 45 degrees denoting synchronization. From Figures 6 and 7, we can deduce that, with this coupling strength and initial conditions, the network is synchronized. We obtained a range of coupling strength numerically. We compute (for , so the calculation range of is approximate) a sweep of from to at intervals of . After removing the first iterations of each of the states, we compare the error between states and for , where if the sum of absolute value of the errors is greater than , then we established that the network is not synchronized (i.e., after iterations if , we established that there is no synchronization in the network). Figure 8 shows a diagram that we called synchronization diagram, where the value of 0 denotes no synchronization and the value of 1 denotes synchronization; thus, we can see the range , where the nodes in the network are synchronized.

4.2. Star Coupled Network

Now, we consider a complex network according to (1)-(2) composed of coupled fireflies periodic oscillators (7) as fundamental nodes in star coupled topology; see Figure 9. The corresponding state equations to this dynamical network are arranged as follows: the first firefly is given bythe second firefly is given bythe third firefly is given bythe fourth firefly is given byand the fifth firefly is given bywithThe corresponding coupling matrix for the network shown in Figure 9 is given bywhere subscript refers to the star network. We carry out the numerical simulations in the star network with and initial conditions , , , , , , , and . Taking into account the above conditions, we obtain similar results as in the nearest-neighbor network and synchronization among the nodes was achieved. Figure 10 shows the synchronization diagram, where we can see the range , where the nodes in the network are synchronized.

4.3. Small-World Coupled Network

A network with complex coupled topology can be represented by a random graph, but our intuition tells us clearly that many real complex networks are neither completely random nor completely regular. Something that we must emphasize is that most of the biological, technological, and social networks lie between these two extremes. These systems are highly clustered as regular arrays; however, they have a characteristic path length, like random networks; see [21]. These types of networks are called small-world networks, in analogy to the small-world phenomenon (popularly known as six degrees of separation).

In general terms, these networks are regular arrangements made by connections or reconnections of pairs of randomly chosen nodes. Even a very small number of these added connections, commonly called shortcuts, do not change the local properties (very high clustering typical of a regular network) and cause those typical random networks values to be present in the average path length; see [22].

Now, we consider a complex network according to (1)-(2) composed of coupled fireflies periodic oscillators (7) as fundamental nodes in small-world coupled topology; see Figure 11. The corresponding state equations to this dynamical network are arranged as follows: the first firefly is given bythe second firefly is given bythe third firefly is given bythe fourth firefly is given byand the fifth firefly is given bywithThe corresponding coupling matrix for the network shown in Figure 11 is given bywhere subscript refers to the small-world network.

We carry out the numerical simulations in the small-world network with and initial conditions , , , , , , , and . Taking into account the above conditions, we obtain similar results as in the nearest-neighbor and star networks and synchronization among the nodes was achieved. Figure 12 shows the synchronization diagram, where we can see the range , where the nodes in the network are synchronized.

With diffusive coupling, a network topology plays an important role in synchronization; see [23, 24]. We can corroborate this by analyzing and comparing the synchronization diagrams of the three topologies presented so far.

4.4. Small-World Coupled Network in Mass

Now, we use nodes in small-world network, with the only purpose to emulate the interaction of fireflies and its synchronization in mass.

Starting from a nearest-neighbor coupled topology, we add connections with the same probability to build a small-world network, resulting in an average degree of . For obvious reasons, we omit representations of the coupling matrix and graph on small-world network with . Figure 13 shows the synchronization with the simple model proposed. Initial conditions are and , where is randomly selected from to , with , , , and . Figure 13 shows the simulation results, where synchronization is achieved for a small-world network with nodes.

5. Outer Synchronization

Outer synchronization occurs among coupled complex networks, which means that the corresponding nodes of the coupled networks will achieve synchronization [2529]. The interaction among communities (or networks) is something that exists in our real world. One important example is the infectious disease that spreads among different communities. For example, avian influenza spreads among domestic and wild birds, afterward infecting human beings unexpectedly; AIDS, mad cow disease, bird flu, and SARS were originally spread between two communities (or networks). This means that the study of dynamics among coupled networks is necessary and important [30]. We use the complex network theory that was shown in Section 2 to couple a pair of nodes between two networks and obtain synchronization among the nodes of the networks (outer synchronization).

5.1. Outer Synchronization of Two Networks

Suppose two networks are the following: one in nearest-neighbor coupled topology and another in star coupled topology, and these networks are coupled as in Figure 14. First we show the case where the two networks are decoupled. Figure 15 shows two synchronization states belonging to each one of the networks; that is, the nodes of each network are synchronized, but the two networks are unsynchronized. Also, we can observe that the angular frequencies of the two networks tend to different values, so it is obvious that the two networks are not synchronized. If we couple the two networks, that is, if we connect of the nearest-neighbor network with of the star network, and we use a coupling strength with initial conditions as previously mentioned in Sections 4.1 and 4.2, outer synchronization is obtained as shown in Figure 16, where we clearly see that the dynamics of the states and as well as the states and tend to the same value, and errors among the states of the two networks will be zero. As expected, the synchronization time for both networks is greater than the synchronization time of a single network even with the increase of the coupling constant , so in this case we simulate iterations.

Figure 17 shows the synchronization diagram, where we can see the range , where the nodes among the two networks are synchronized. We perform the numerical verification to the cases shown in Figure 18 with and initial conditions as previously mentioned in Sections 4.1, 4.2, and 4.3, achieving synchronization in each of the presented combinations.

5.2. Outer Synchronization of the Three Different Topologies

To complement the study of outer synchronization, we present the outer synchronization among the networks that have been presented in this paper.

Consider three networks (Figures 3, 9, and 11). We omit the case where networks are decoupled. Assume that the networks are coupled as in Figure 19. The corresponding results for the coupling among the three networks (Figure 19) are shown in Figure 20, where , , and the initial conditions are those previously used in Sections 4.1, 4.2, and 4.3. We also include a phase diagram in Figure 21, where the abscissa axis is the average of the states and the ordinate axis is the state ; we use in order to eliminate the transient whereby outer synchronization can be verified. Figure 22 shows the synchronization diagram, where we can see the range , where the nodes among the three networks are synchronized.

6. Electronic Implementation

Electronic firefly has been proposed in [31] to emulate the firefly flashing process. Nine circuits representing fireflies were built and synchronized in [32]. Here, we reproduce such circuit and we coupled nine fireflies in different topologies to realize the experimental fireflies synchronization. A firefly can be constructed with electronic components as 555 IC, resistances, capacitors, LEDs, IR, and phototransistors (Figure 23). The nine electronic fireflies are in a 3 × 3 array constructed in a 17 × 19 cm phenolic plate (Figure 24(a)). Experimental results are shown in Figure 24, where synchronization of coupled fireflies in different topologies is achieved. Synchronization was verified with the sensing pulses on a digital oscilloscope (Figure 25) [20]. The synchronization time is instantaneous because coupling strength is considered strong based on [32].

7. Conclusions

In this paper, network synchronization and outer synchronization problems with simple firefly discrete models have been investigated by using the theory of complex systems. The simulation results show the effective synchronization and outer synchronization with the simple model proposed. All the results presented help to understand how the collective behaviors work in nature and in living systems such as fireflies, crickets chirping, heart cell, neurons, and women’s menstrual cycles. In addition, experimental network synchronization with nine electronic fireflies was presented.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

This work was supported by the CONACYT, Mexico, under Research Grant 166654.