Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

Structure Identification of Uncertain Complex Networks Based on Anticipatory Projective Synchronization

  • Liu Heng ,

    liuheng@mail.dlut.edu.cn

    Affiliation Faculty of Electronic Information and Electrical Engineering, Dalian University of Technology, Dalian, China

  • Wang Xingyuan,

    Affiliation Faculty of Electronic Information and Electrical Engineering, Dalian University of Technology, Dalian, China

  • Tan Guozhen

    Affiliation Faculty of Electronic Information and Electrical Engineering, Dalian University of Technology, Dalian, China

Abstract

This paper investigates a method to identify uncertain system parameters and unknown topological structure in general complex networks with or without time delay. A complex network, which has uncertain topology and unknown parameters, is designed as a drive network, and a known response complex network with an input controller is designed to identify the drive network. Under the proposed input controller, the drive network and the response network can achieve anticipatory projective synchronization when the system is steady. Lyapunov theorem and Barbǎlat’s lemma guarantee the stability of synchronization manifold between two networks. When the synchronization is achieved, the system parameters and topology in response network can be changed to equal with the parameters and topology in drive network. A numerical example is given to show the effectiveness of the proposed method.

Introduction

During the past decades, complex networks have attracted lots of attention in scientific and technological fields including mathematics, physics, engineering, biological sciences, and so on [14]. There are a lot of issues about complex networks which have been investigated by now such as the characteristics about small-world and scale-free [5, 6], the analysis of dynamics and topologies about networks [712], various synchronization in complex networks [1324], and so on. In these fields, there always exist some networks which have unknown parameters or uncertain topological structure need to be identified. For example, it is very important to find the faulty spot or the failing edge in time when a mistake occurs in a power network, a communication network, or in Internet. Thus, the research of identification about complex network is of theoretical and practical importance.

So far, a few methods have been proposed for topological identification of complex networks [2527]. Nowadays, using the dynamical character of complex networks, such as synchronization, to identify unknown parameters or uncertain topology structure, has been studied more and more widely. Zhao and others investigated an adaptive feedback laws to identify the extract topology of weighted complex dynamical networks with and without time delays [28]. In their paper, they used PE conditions to guarantee the effeteness of their method. Liu and others investigated a novel adaptive feedback control method to simultaneously identify the unknown or uncertain time delay complex networks structure or system parameters [29]. Chen and others described how a network can practically be identified by an adaptive-feedback control algorithm [30]. They found that the linear independence condition of the coupling terms proposed in this brief is necessary and sufficient for network identification, and synchronization is a property of a dynamical network that makes identification of the topology of the network impossible. Che and others studied two kinds of synchronization based topology identification of uncertain complex networks with time delay [31, 32]. They used stable lag synchronization and stable anticipatory synchronization between drive and response system to identify the unknown complex networks with time delay, respectively. In their studies, the adaptive control technique was used to make the network achieve synchronization. They considered an unknown complex network as a drive system. In order to identify the topology and system parameters, they designed a response network with an adaptive controller. Based on Lyapunov theory, the unknown topology and the uncertain system parameters can be identified when the lag/anticipatory synchronization is achieved.

According to the existed works, this paper investigates a method to identify an unknown complex networks through anticipatory projective synchronization. Under Lyapunov stability theory and Barbǎlat lemma, the asymptotic identification of the topology can be guaranteed. It is different from most of the works above because the anticipatory projective synchronization has never been studied before. Meanwhile, the example in this paper’s numerical simulation is making two complex networks achieve anticipatory projective synchronization. It is unlike other papers whose examples are single network’s synchronization.

The rest of this paper is organized as following. Several preliminaries and lemmas will be given in section II. Section III introduces the main theory of this paper, and a numerical simulation is used to show the effectiveness of the method in section IV. Finally, the conclusions will be remarked in section V.

Preliminaries

Consider an uncertain dynamical complex network with N different nodes which are n-dimensional dynamical units as follows: (1) Here xi(t) ∈ Rn×1, i = 1,2,…,N is the dynamical state vector, αiRm×1 is an unknown system parameters vector of node i. The known dynamical function of node i is fi: RnRn. The coupling strength c > 0 is a constant, and Hij is a known nonlinear function which represents the inner-coupling between node i and node j. The uncertain coupling configuration matrix A = (aij)N×N represents the topological structure of the complex network. If there is a direct link from node i to node j, then aij = aji ≠ 0, otherwise aij = 0. τ1, τ2 are the time-varying delay, and the coupling delay from node j to node i, respectively. If the unknown system parameter αi is linearly dependent on the ith node’s dynamical nonlinear function fi, then Eq (1) can be rewritten as follows. (2) Here FiRn×1 and GiRn×m are known functions of the ith node dynamical.

Throughout this paper, in order to prove the main theory, the following assumptions and lemmas should be required.

Assumption 1. There exists a nonnegative constant M ≥ 0 and a constant vector σRn×n, for i = 1,2,…,N, such that (3)

Assumption 2. For any vectors x,yRn×1, there exist a nonnegative constants L and a constant vector σRn×n, for i = 1,2,…,N, about Hij in Eq (2), one gets

Assumption 3. There exists a constant μ which can make a differentiable time-varying delay τ(t) satisfied the following equation.

(4)

Obviously, assumption 3 holds when τ(t) is a constant like τ(t) = τ1 or τ(t) = τ2 for any value of t.

Remark 1. It is obviously to see that assumption 1 and 2 hold as long as , are uniformly bounded [33]. A chaotic system which has the form of Eq (2) can meet the conditions of assumption 1 and 2 such as Lorenz system, Chen system, Chua’s circuit and so on.

Lemma 1. For any vector x,yRn×1, the matrix inequality 2xTyxTx + yTy holds.

Definition 1. The drive and response systems can achieve anticipatory projective synchronization if Eq (5) is established. (5) Here xi(t) and yi(t) are the states vectors of drive and response system, respectively. The constant vector σ = diag(σ1,σ2,…,σN) is the known scale factor of projective synchronization. τd is a positive anticipatory time.

Main Theory

It denotes that x(tτ) = x(τ) in the following to avoid any possible confusion. Then the drive system can be rewritten as: (6) In order to identify αi and aij in complex network Eq (6), another complex network with input controller ui(t) is designed as response system. It can be described as follows: (7) where , is changed by time t linearly and they can be estimated or measured. If is the error system between drive and response network, then Eq (6) and Eq (7) can achieve anticipatory synchronization when the following equation is established: (8)

Theorem 1. Under the assumption 1, 2 and 3, if the input controller ui(t) is chosen as Eq (9) and feedback gains are given as Eq (10), the uncertain system parameter vector αi and unknown topology aij in Eq (6) can be identified by the estimated value and in Eq (7) (9) (10) where ω, ξ, ψ are the positive constants, and σ0 = |σ| = |diag(σ1,σ2,…,σN)|.

Proof. If uncertain system parameter αi and unknown topology aij in Eq (6) can be identified by and in Eq (7), then the following conditions should be guaranteed when : and . Here Pi is the error system of parameters, Qij is the error system of topology.

Considering the input controller as Eq (9), the error system can be described as: (11) Consider the following Lyapunov function: (12) Here τ0 > 0, k > 0 are positive constants need to be decided. Differentiating V(t) about time t along the solution of Eq (12), under control gains as Eq (10), one has Under the assumptions 1, 2 and lemma 1, one has It denotes that , aM = maxi,j = 1,2,…,N {|aij|}, then one has Obviously, there exist constants to let and , according to assumption 3, the above inequality can be obtained as (13) According Lyapunov theory, the system can achieve anticipatory projective synchronization as t → ∞. Consider about Eq (13), one has (14) Consider about Eq (12) and Eq (13), the right part of Eq (14) is bounded because both V(0) and V(t) are bounded. Moreover, E(t) is bounded. is existed and bounded because of Eq (11), thus according to the Barbǎlat’s lemma, one has , that is to say, . When t → ∞, consider of Eq (11), according to [33], converges as because , , in order to make the following equation is established, one has Pi → 0, Qij → 0 as t → ∞. Therefore, when t → ∞, the unknown system parameters and uncertain topology can be identified by the estimated value. The proof is complete.

Examples

In this section, a numerical simulation is given to show the effectiveness of theorem 1 in section 3. This simulation chooses chaotic Lorenz system as the dynamics of each node. Lorenz system can be described as (15) When the parameters are chosen as v = 10, α = 28, u = 2.67, the Lorenz system Eq (15) is chaotic.

Consider a complex network consisting 6 identical nodes which dynamic function like Eq (15). The state vector of each node is xi = (x1i, x2i, x3i)T,i = 1,2,…,6. Because parameter α is linearly dependent on Lorenz function, then the drive complex network can be described as (16) Here , , the network is constructed as a BA scale-free network. The coupling configuration matrix A = {aij} and parameter αi is unknown. In order to identify αi and A in Eq (16), this paper designs a response complex network as: (17) which dynamical function F and G are the same as drive system Eq (14), the value of and is given randomly, the other parameters are the same as the drive network Eq (17).

In simulation, the estimated value of uncertain parameters is given as αi = (21,23,24,25,26,28), the estimated value of known coupling configuration matrix is given as The scale factor of projective synchronization is σi = diag(0.1,0.2,0.3,0.4,0.5,0.6), the other parameters are the same as the drive network Eq (17), the error system between drive and response network is described as Ei(t) = (ei1(t),ei2(t),ei3(t))T, the adaptive feedback are given as ω = ξ = ψ = 1, the initial values of the drive and response network are given randomly. In order to show the effectiveness of proposed method, after t = 500, for i = 1,2,…,6, the estimated value are changed to ,

Example 1. The identification of complex network without time delay

If the drive and response complex networks have no time delay, that is to say, τ1 = τ2 = 0 in Eq (16) and Eq (17), the results of simulation are shown as follows. The figure of error system Ei(t) = (ei1(t),ei2(t),ei3(t))T is shown in Fig 1, Fig 2, and Fig 3, respectively. It can be seen that under the controller Eq (9) and the feedback controller Eq (10), the drive network and the response network can achieve anticipatory projective synchronization. When t > 500, under the proposed controller, the drive network and the response network can achieve anticipatory projective synchronization too. The process of identification about unknown system parameter is shown in Fig 4. According to the simulation results, βi(t) can achieve αi when the system achieve anticipatory projective synchronization. After t > 500, even the estimated value is changed, βi(t) can also achieve finally. Fig 5 shows the process of parameter’s error system Pi. Fig 6 shows the identification process of uncertain topology of the third node a3j. It is easy to see that a3j can be identified by the estimated value b3j obviously when the anticipatory projective synchronization is achieved. After t > 500, b3j can achieve at last. Fig 7 shows the error system of topology Q3j. Thus, when the drive network and response network achieve anticipatory projective synchronization, the unknown system parameters and uncertain topology can be identified by the response network even they are changed during the identification process.

thumbnail
Fig 1. State value of the first components error system without time delay.

https://doi.org/10.1371/journal.pone.0139804.g001

thumbnail
Fig 2. State value of the second components error system without time delay.

https://doi.org/10.1371/journal.pone.0139804.g002

thumbnail
Fig 3. State value of the third components error system without time delay.

https://doi.org/10.1371/journal.pone.0139804.g003

thumbnail
Fig 4. State value of system parameter without time delay.

https://doi.org/10.1371/journal.pone.0139804.g004

thumbnail
Fig 5. Error system of system parameter without time delay.

https://doi.org/10.1371/journal.pone.0139804.g005

thumbnail
Fig 6. State value of the third node’s topology without time delay.

https://doi.org/10.1371/journal.pone.0139804.g006

thumbnail
Fig 7. Error system of the third node’s topology without time delay.

https://doi.org/10.1371/journal.pone.0139804.g007

Example 2. The identification of complex network with time delay

If the drive and response complex networks have time delay as τ1 = 1.5, τ2 = 0.5 in Eq (16) and Eq (17), the simulation results are shown as follows. Figs 810 show the state of error system. Obviously, when complex networks have time delays, the system can achieve anticipatory projective synchronization under the controller Eq (9) and Eq (10). because Ei1 = Ei2 = Ei3 = 0 when t → ∞. Fig 11 shows the changing of known system parameters when the drive and response networks have time delays. The results show that when the system achieves anticipatory projective synchronization, the known parameters βi in response network can achieve unknown parameters αi even αi is changed after t > 500. Fig 12 shows the state of error system about unknown parameters Pi. The simulation results of uncertain topological identification of b3j and the state of error system about uncertain topology Q3j are shown in Fig 13 and Fig 14, respectively.

thumbnail
Fig 8. State value of the first components error system with time delay.

https://doi.org/10.1371/journal.pone.0139804.g008

thumbnail
Fig 9. State value of the second components error system with time delay.

https://doi.org/10.1371/journal.pone.0139804.g009

thumbnail
Fig 10. State value of the third components error system with time delay.

https://doi.org/10.1371/journal.pone.0139804.g010

thumbnail
Fig 12. Error system of system parameter with time delay.

https://doi.org/10.1371/journal.pone.0139804.g012

thumbnail
Fig 13. State value of the third node’s topology with time delay.

https://doi.org/10.1371/journal.pone.0139804.g013

thumbnail
Fig 14. Error system of the third node’s topology with time delay.

https://doi.org/10.1371/journal.pone.0139804.g014

Conclusions

This paper investigated a method to identify complex network with unknown system parameters and uncertain topological structure. A response complex network, which parameters and topology can be estimated or can be measured, is designed to achieve anticipatory projective synchronization with the unknown drive complex network. When the synchronization is achieved, the parameters and topology of response network can be changed to equal with the parameters and topology in drive network. That is to say, the unknown parameters and uncertain topology of drive complex network can be identified by the response complex network. Comparing to the other existing work, this paper used anticipatory projective synchronization which hasn’t been appeared in other papers. The input controller’s adaptive feedback is reflected by the anticipatory projective scale factor’s vector. It is different from other papers whose adaptive feedback’s parameters are always constants. The simulation in this paper uses outer synchronization between two independent complex networks, and other papers often use inner synchronization in one complex network.

Acknowledgments

This research is supported by the National Natural Science Foundation of China (Nos: 61370145, 61173183, and 60973152), the Doctoral Program Foundation of Institution of Higher Education of China (No: 20070141014), Program for Liaoning Excellent Talents in University (No: LR2012003), the National Natural Science Foundation of Liaoning province (No: 20082165) and the Fundamental Research Funds for the Central Universities (No: DUT12JB06).

Author Contributions

Conceived and designed the experiments: WX TG. Performed the experiments: LH. Analyzed the data: LH TG. Contributed reagents/materials/analysis tools: TG. Wrote the paper: LH.

References

  1. 1. Strogatz SH. Exploring complex networks. Nature, 2001, 410(6825): 268–276. pmid:11258382
  2. 2. Albert R, Barabaasi AL. Statistical mechanics of complex networks. Reviews of Modern Physics, 2002, 74(1): 47–97.
  3. 3. Boccaletti S, Latora V, Moreno Y, Chavez M, Hwang DU. Complex networks: structure and dynamics. Physics Reports, 2006, 424: 175–308.
  4. 4. Wang XF, Chen GR. Complex networks: small-world, scale-free, and beyond. IEEE Transactions on Circuits and Systems, 2003, 3(1): 6–20.
  5. 5. Watts DJ, Strogatz SH. Collective dynamicas of ‘small-world’ networks. Nature, 1998, 393: 440. pmid:9623998
  6. 6. Albert R, Barabaasi AL. Emergence of scaling in random networks. Science, 1999, 286: 509. pmid:10521342
  7. 7. Porfiri M, Bernardo MD. Criteria for global pinning-controllability of complex networks. Automatica, 2008, 44: 3100–3106.
  8. 8. Sorrentino F, Bernardo MD, Garofalo F, Chen GR. Controllability of complex networks via pinning. Physical Review E, 2007, 75: 046103.
  9. 9. Gao ZK, Jin ND. A directed weighted complex network for characterizing chaotic dynamics from time series. Nonlinear Analysis-Real World Applications, 2012, 13(2): 947–952.
  10. 10. Wu XQ, Wang WH, Zheng WX. Inferring topologies of complex networks with hidden variables. Physical Review E, 2012, 86: 046106.
  11. 11. Gao ZK, Fang PC, Ding MS, Jin ND. Multivariate weighted complex network analysis for characterizing nonlinear dynamic behavior in two-phase flow. Experimental Thermal and Fluid Science, 2015, 60: 157–164.
  12. 12. Gao ZK, Yang YX, Fang PC, Jin ND, Xia CY, Hu LH. Multi-frequency complex network from time series for uncovering oil-water flow structure. Scientific Reports, 2015, 5: 8222. pmid:25649900
  13. 13. Xia W, Cao J. Pinning synchronization of delayed dynamical networks via periodically intermittent control. Chaos, 2009, 19: 013120. pmid:19334984
  14. 14. Lü JH, Chen GR. A time-varying complex dynamical network model and its controlled synchronization criteria. IEEE Transactions on Automatic Control, 2005, 50: 841–846.
  15. 15. Li X, Chen GR, Wang XF. Pinning a complex dynamical network to its equilibrium. IEEE Transactions on Circuits and Systems, 2004, 51: 2074–2087.
  16. 16. Wu X. Synchronization-based topology identification of weighted general complex dynamical networks with time-varying coupling delay. Physica A, 2008, 387: 997–1008.
  17. 17. Corron NJ, Blakely JN, Pethel SD. Lag and anticipating synchronization without time-delay coupling. Chaos, 2005, 15: 023110.
  18. 18. Guo WL. Lag synchronization of complex networks via pinning control. Nonlinear Analysis: Real World Applications, 2011, 12: 2579–2585.
  19. 19. Rosenblum M, Pikovsky A, Kurtz J. From phase to lag synchronization in coupled chaotic oscillator. Physical Review Letters, 1997, 78: 4193–4196.
  20. 20. Wu L, Zhu S. Coexistence and switching of anticipating synchronization and lag synchronization in an optical system. Physics Letters A, 2003, 315: 101–108.
  21. 21. Shahverdiev EM, SSivaprakasam KA Shore, Lag synchronization in time-delayed systems, Physics Letters A, 2002, 292: 320–324.
  22. 22. Li C, Liao X. Chaotic lag synchronization of coupled time-delayed systems and its applications in secure communication. Physical D, 2004, 194: 187–202.
  23. 23. Zhou J, Chen T, Xiang L. Chaotic lag synchronization of coupled delayed neural networks and its applications in secure communication. Circuits Systems Signal Process, 2005, 24: 599–613.
  24. 24. Sun Y, Cao J. Adaptive lag synchronization of unknown chaotic delayed neural networks with noise perturbation. Physics Letters A, 2007, 364: 277–285.
  25. 25. Petri G, Scolamiero M, Donato I, Vaccarino F. Topological Strata of Weighted Complex Networks. PLOS ONE, 2013, 10, 1371: 0066506.
  26. 26. Ding JR, Liao W, Zhang ZQ, Mantini D, Xu Q, Wu GR, et al. Topological Fractionation of Resting-State Networks. PLOS ONE, 2011, 10, 1371: 0026596.
  27. 27. Pérez T, Garcia GC, Eguíluz VM, Vicente R, Pipa G, Mirasso C. Effect of the Topology and Delayed Interactions in Neuronal Networks Synchronization. PLOS ONE, 2011, 10, 1371: 0019900.
  28. 28. Zhao J, Li Q, Lu JA. Topology identification of complex dynamical networks. Chaos, 2010, 20: 023119. pmid:20590315
  29. 29. Liu H, Lu JA, Lü JH. Structure identification of uncertain general complex dynamical networks with time delay. Automatica, 2009, 45: 1799–1807.
  30. 30. Chen L, Lu J, Tse CK. Synchronization: an obstacle to identification of network topology. IEEE Transactions on Circuits and Systems, II: Express Briefs, 2009, 56: 310–314.
  31. 31. Che YQ, Li RX, Han CX, Wang J, Cui SG, Deng B, et al. Adaptive lag synchronization based topology identification scheme of uncertain general complex dynamical networks. European Physical Journal B, 2012, 85: 265.
  32. 32. Che YQ, Li RX, Han CX, Cui SG, Wang J. Topology identification of uncertain nonlinearly coupled complex networks with delays based on anticipatory synchronization. Chaos, 2013, 23: 013127. pmid:23556964
  33. 33. Khalil HK. Nonlinear Systems, 3rd ed. Prentice Hall, NJ, 2002.