Skip to main content
SpringerLink
Log in

Solvability and control design for synchronization of Boolean networks

  • Published:
Journal of Systems Science and Complexity Aims and scope Submit manuscript

Abstract

This paper addresses the synchronization problem of Boolean networks. Based on the matrix expression of logic, solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback control. Necessary and sufficient conditions on open-loop control are proposed first with a constructive design procedure. Then sufficient condition for the feedback control case is obtained, and corresponding design procedure is proposed with the help of algorithms to solve logic matrix equations. Numerical examples are also provided to illustrate the proposed control design.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Kauffman S, Metabolic stability and epigenesis in randomly constructed genetic nets, J. Theoretical Biology, 1969, 22: 437–467.

    Article  MathSciNet  Google Scholar 

  2. Kunz W and Stoffel D, Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques, Kluwer Academic Publishers, Boston, 1997.

    Book  MATH  Google Scholar 

  3. Kauffman S, The Origins of Order: Self-organization and Selection in Evolution, Oxford University Press, New York, 1993.

    Google Scholar 

  4. Farrow C, Heidel J, Maloney J, and Roger J, Scale equations for synchronous Boolean networks with biological applications, IEEE Trans. Neural Networks, 2004, 15(2): 348–354.

    Article  Google Scholar 

  5. Cheng D, Qi H, Li Z Q, Analysis and Control of Boolean Networks: A Semi-Tensor Product Approach, Springer, London, 2010.

    Google Scholar 

  6. Ma J, Cheng D, Hong Y, and Sun Y, On complexity of power systems, Journal of Systems Science and Complexity, 2003, 16(3): 391–403.

    MathSciNet  MATH  Google Scholar 

  7. Zhao Y, Li Z, and Cheng D, Optimal control of logical control networks, IEEE Trans. Automatical Control, 2011, 56(8): 1766–1776.

    Article  MathSciNet  Google Scholar 

  8. Cheng D and Qi H, Controllability and observability of Boolean control networks, Automatica, 2009, 45(7): 1659–1667.

    Article  MathSciNet  MATH  Google Scholar 

  9. Cheng D, Qi H, Hu X, and Liu J, Stability and stabilization of Boolean networks, Int. J. Rubost and Nonlinear Control, 2010, 21(2): 134–156.

    Article  Google Scholar 

  10. Laschov D and Margaliot M, A maximum principle for single-input of Boolean control network, IEEE Trans. Automatic Control, 2011, 56(4): 913–917.

    Article  MathSciNet  Google Scholar 

  11. Li F and Sun J, Controllability of Boolean control networks with time delays in states, Automatica, 2011, 47(3): 603–607.

    Article  MathSciNet  MATH  Google Scholar 

  12. Danino T, Mondragon-Palomino O, Tsimiring L, et al., A synchronized quorum of genetic clocks, Nature, 2010, 463: 326–330.

    Article  Google Scholar 

  13. Hong Y, Qin H, and Chen G, Adaptive synchronization of chaotic systems via state and output feedback, Int. J. of Bifurcation and Chaos, 2001, 11(5): 1149–1158.

    Article  MathSciNet  MATH  Google Scholar 

  14. Morelli L G and Zanette D H, Synchronization of Kauffman networks, Phys. Rev. E, 2001, 63(3): 036204-1–036204-10.

    Google Scholar 

  15. Millérioux G and Guillot P, Self-synchronizing stream ciphers and dynamical systems: State of the art and open issues, Int. Journal of Bifurcation and Chaos, 2010, 20(9): 2979–2991.

    Article  MATH  Google Scholar 

  16. Glass L, Synchronization and rhythmic processes in physiology, Nature, 2001, 410: 277–284.

    Article  Google Scholar 

  17. Ballesteros F and Luque B, Random Boolean networks response to external periodic signals, Physica A, 2002, 313: 289–300.

    Article  MATH  Google Scholar 

  18. Hung Y C, Ho M C, Lih J S, and Jiang I M, Chaos synchronization of two stochastically coupled random Boolean networks, Phys. Lett. A, 2006, 356(1): 35–43.

    Article  MATH  Google Scholar 

  19. Hong Y and Xu X, Solvability and control design for dynamic synchronization of Boolean networks, 29th Chinese Control Conference, Beijing, China, 2010, 805–810.

    Google Scholar 

  20. Akutsu T, Hayashida M, Ching W, and Ng M K, Control of Boolean networks: Hardness results and algorithms for tree structured networks, J. Theoretical Biology, 2007, 244: 670–679.

    Article  MathSciNet  Google Scholar 

  21. Ho M C, Hung Y C, and Jiang I M, Stochastic coupling of two random Boolean networks, Phys. Lett. A, 2005, 344(1): 36–42.

    Article  MATH  Google Scholar 

  22. Robert F, Discrete Iterations: A Metric Study, Translated by Rokne J, Springer-Verlag, Berlin, 1986.

    Book  MATH  Google Scholar 

  23. Tutte W T, Graph Theory, Cambridge University Press, UK, 2001.

    MATH  Google Scholar 

  24. Huepe-Minoletti C and Aldana-Gonzalez M, Dynamical phase transition in a neural network model with noise: An exact solution, Journal of Statistical Physics, 2002, 108: 527–540.

    Article  MathSciNet  Google Scholar 

  25. Kitano H, Cancer as a robust system: Implications for anticancer therapy, Nature Reviews Cancer, 2004, 4(3): 227–235.

    Article  MathSciNet  Google Scholar 

  26. Huang J, Nonlinear Output Regulation: Theory & Applications, SIAM, Phildelphia, 2004.

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, 100190, China

    Xiangru Xu & Yiguang Hong

Authors
  1. Xiangru Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yiguang Hong
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yiguang Hong.

Additional information

This research is supported by the National Natural Science Foundation of China under Grant No. 61174071.

This paper was recommended for publication by Editor LÜ Jinhu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Xu, X., Hong, Y. Solvability and control design for synchronization of Boolean networks. J Syst Sci Complex 26, 871–885 (2013). https://doi.org/10.1007/s11424-013-2040-6

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11424-013-2040-6

Key words

Search

Navigation