Controllability of Boolean control networks with state-dependent constraints

状态依赖约束下布尔网路的能控性

Science China Information Sciences volume 59, Article number: 32202 (2016) Cite this article

Abstract

This paper investigates the controllability of Boolean control networks (BCNs) with state-dependent constraints. A kind of input transformation is proposed to transfer a BCN with state-dependent input constraints into a BCN with free control input. Based on the proposed technique, a necessary and sufficient condition for controllability is obtained. It is shown that state-dependent constraints for the state can be equivalently expressed as input constraints. When a BCN has both input and state constraints, there is a possibility that the sets of admissible controls for some states are the empty set. To treat this kind of BCN, a variation of the input transformation is proposed and the problem of controllability is solved. An illustrative example is provided to explain the proposed method and results.

中文摘要

本文采用输入变换将状态依赖输入约束下的布尔网络化为等价的无输入约束布尔网络, 得到了关于能控性的充分必要条件。当系统同时受到依赖于状态的输入和状态约束时, 某些状态下的可行控制集合可能变为空集。对于这类布尔网络, 证明了状态约束可以等价地表示为输入约束, 并在输入变换中引入零状态, 将原布尔网络转化为有零状态的逻辑系统, 所得到的系统和原布尔网络的非零状态之间的能达性完全等价。基于此, 得到了这类带约束的布尔网络能控性的充分必要条件。

This is a preview of subscription content, access via your institution.

Access options

Buy single article

Instant access to the full article PDF.

US$ 39.95

Tax calculation will be finalised during checkout.

References

  1. 1

    Kauffman S A. Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol, 1969, 22: 437–467

    MathSciNet  Article  Google Scholar 

  2. 2

    Kauffman S A. The Origins of Order: Self Organization and Selection in Evolution. Oxford: Oxford University Press, 1993

    Google Scholar 

  3. 3

    Albert R, Barabási A L. Dynamics of complex systems: scaling laws for the period of Boolean networks. Phys Rev Lett, 2000, 84: 5660–5663

    Article  Google Scholar 

  4. 4

    Heidel J, Maloney J, Farrow C, et al. Finding cycles in synchronous Boolean networks with applications to biochemical systems. Int J Bifurcation Chaos, 2003, 13: 535–552

    MathSciNet  Article  MATH  Google Scholar 

  5. 5

    Akutsu T, Miyano S, Kuhara S, et al. Identification of genetic networks from a small number of gene expression patterns under the Boolean network model. Pacific Symp Biocomput, 1999, 4: 17–28

    Google Scholar 

  6. 6

    Aldana M. Boolean dynamics of networks with scale-free topology. Phys D: Nonlinear Phenomena, 2003, 185: 45–66

    MathSciNet  Article  MATH  Google Scholar 

  7. 7

    Shmulevich I, Dougherty E R, Kim S, et al. Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks. Bioinformatics, 2002, 18: 261–274

    Article  Google Scholar 

  8. 8

    Shmulevich I, Dougherty E R, Zhang W. From Boolean to probabilistic Boolean networks as models of genetic regulatory networks. Proc IEEE, 2002, 90: 1778–1792

    Article  Google Scholar 

  9. 9

    Akutsu T, Hayashida M, Ching W K, et al. Control of Boolean networks: hardness results and algorithms for tree structured networks. J Theor Biol, 2007, 244: 670–679

    MathSciNet  Article  Google Scholar 

  10. 10

    Cheng D, Qi H. A linear representation of dynamics of Boolean networks. IEEE Trans Automatic Control, 2010, 55: 2251–2258

    MathSciNet  Article  Google Scholar 

  11. 11

    Cheng D. Input-state approach to Boolean networks. IEEE Trans Neural Netw, 2009, 20: 512–521

    Article  Google Scholar 

  12. 12

    Cheng D. Disturbance decoupling of Boolean control networks. IEEE Trans Automat Control, 2011, 56: 2–10

    MathSciNet  Article  Google Scholar 

  13. 13

    Cheng D. On finite potential games. Automatica, 2014, 50: 1793–1801

    MathSciNet  Article  MATH  Google Scholar 

  14. 14

    Cheng D, Feng J, Lv H. Solving fuzzy relational equations via semitensor product. IEEE Trans Fuzzy Syst, 2012, 20: 390–396

    Article  Google Scholar 

  15. 15

    Cheng D, Qi H. State–space analysis of Boolean networks. IEEE Trans Neural Netw, 2010, 21: 584–594

    MathSciNet  Article  Google Scholar 

  16. 16

    Qi H, Cheng D, Hu X. Stabilization of random Boolean networks. In: Proceedings of the 8th World Congress on Intelligent Control and Automation (WCICA). Jinan: IEEE, 2010. 1968–1973

    Google Scholar 

  17. 17

    Wang Y, Zhang C, Liu Z. A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems. Automatica, 2012, 48: 1227–1236

    MathSciNet  Article  MATH  Google Scholar 

  18. 18

    Xu X, Hong Y. Solvability and control design for synchronization of Boolean networks. J Syst Sci Complex, 2013, 26: 871–885

    MathSciNet  Article  MATH  Google Scholar 

  19. 19

    Zhao Y, Li Z, Cheng D. Optimal control of logical control networks. IEEE Trans Automat Control, 2011, 56: 1766–1776

    MathSciNet  Article  Google Scholar 

  20. 20

    Zhao Y, Qi H, Cheng D. Input-state incidence matrix of Boolean control networks and its applications. Syst Control Lett, 2010, 59: 767–774

    MathSciNet  Article  MATH  Google Scholar 

  21. 21

    Laschov D, Margaliot M. A maximum principle for single-input Boolean control networks. IEEE Trans Automat Control, 2011, 56: 913–917

    MathSciNet  Article  Google Scholar 

  22. 22

    Cheng D, Zhao Y. Identification of Boolean control networks. Automatica, 2011, 47: 702–710

    MathSciNet  Article  MATH  Google Scholar 

  23. 23

    Laschov D, Margaliot M. Controllability of Boolean control networks via the Perron–Frobenius theory. Automatica, 2012, 48: 1218–1223

    MathSciNet  Article  MATH  Google Scholar 

  24. 24

    Li F, Sun J, Wu Q. Observability of Boolean control networks with state time delays. IEEE Trans Neural Netw, 2011, 22: 948–954

    Article  Google Scholar 

  25. 25

    Li Z, Cheng D. Algebraic approach to dynamics of multivalued networks. Int J Bifurcat Chaos, 2010, 20: 561–582

    MathSciNet  Article  MATH  Google Scholar 

  26. 26

    Cheng D, Qi H, Li Z. Model construction of Boolean network via observed data. IEEE Trans Neural Netw, 2011, 22: 525–536

    Article  Google Scholar 

  27. 27

    Cheng D, Qi H, Li Z, et al. Stability and stabilization of Boolean networks. Int J Robust Nonlin Control, 2011, 21: 134–156

    MathSciNet  Article  MATH  Google Scholar 

  28. 28

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

    MathSciNet  Article  MATH  Google Scholar 

  29. 29

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

    MathSciNet  Article  MATH  Google Scholar 

  30. 30

    Zhao Y, Cheng D. On controllability and stabilizability of probabilistic Boolean control networks. Sci China Inf Sci, 2014, 57: 012202

  31. 31

    Chen H, Sun J. A new approach for global controllability of higher order Boolean control network. Neural Netw, 2013, 39: 12–17

    Article  MATH  Google Scholar 

  32. 32

    Chen H, Sun J. Output controllability and optimal output control of state-dependent switched Boolean control networks. Automatica, 2014, 50: 1929–1934

    MathSciNet  Article  MATH  Google Scholar 

  33. 33

    Cheng D, Qi H, Li Z. Analysis and control of Boolean networks: a semi-tensor product approach. London: Springer, 2011, 21: 134–156

    MathSciNet  Google Scholar 

  34. 34

    Cheng D, Qi H, Zhao Y. An Introduction to Semi-Tensor Product of Matrices and Its Applications. Singapore: World Scientific Publishing Company, 2012

    Google Scholar 

  35. 35

    Li H T, Wang Y Z. Controllability and stabilization of Boolean control networks with state and input constraints. In: Proceedings of the 32nd Chinese Control Conference (CCC). Xi’an: IEEE, 2013. 447–452

    Google Scholar 

  36. 36

    Li Z Q, Song J L. Controllability of Boolean control networks avoiding states set. Sci China Inf Sci, 2014, 57: 032205

    MATH  Google Scholar 

Download references

Author information

Affiliations

  1. School of Information Science and Engineering, Central South University, Changsha, 410083, China

    Yuqian Guo

Authors
  1. Yuqian Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yuqian Guo.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Guo, Y. Controllability of Boolean control networks with state-dependent constraints. Sci. China Inf. Sci. 59, 32202 (2016). https://doi.org/10.1007/s11432-015-5369-8

Download citation

Keywords

  • Boolean control network
  • state-dependent constraint
  • controllability
  • semi-tensor product
  • input transformation

关键词

  • 布尔控制网络
  • 状态依赖约束
  • 能控性
  • 矩阵半张量积
  • 输入变换