Skip to main content

Invertibility and Nonsingularity of Boolean Control Networks

  • Chapter
  • First Online:
Book cover Discrete-Time and Discrete-Space Dynamical Systems

Part of the book series: Communications and Control Engineering ((CCE))

  • 659 Accesses

Abstract

As stated before, initially a Boolean control network (BCN) (see \(\Sigma _1\) in Fig. 3.1) was in a state, then as inputs were fed into the BCN one by one, state transitions occurred successively, yielding a sequence of outputs. What may interest us is: Could the above process be reversed? That is, whether there exists another BCN (see \(\Sigma _2\) in Fig. 3.1) that reverses the inputs and outputs of \(\Sigma _1\). In this chapter, we prove a series of fundamental results on this problem, and apply these results to the mammalian cell cycle.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Parts of Sects. 3.2, 3.3, and 3.5.1 were reproduced from Zhang et al. (2015) with permission @ 2015 Elsevier Ltd. Some of the material in Sect. 3.5.2 were reproduced from Zhang et al. (2017) with permission @ 2017 IEEE.

References

  • Brockett RW, Mesarovi MD (1965) The reproducibility of multivariable systems. J Math Anal Appl 11:548–563

    Article  MathSciNet  Google Scholar 

  • Cheng D, Li Z, Qi H (2010) Realization of Boolean control networks. Automatica 46(1):62–69

    Article  MathSciNet  Google Scholar 

  • Fauré A et al (2006) Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 22(14):e124

    Article  Google Scholar 

  • Hirschorn R (1979) Invertibility of multivariable nonlinear control systems. IEEE Trans Autom Control 24(6):855–865

    Article  MathSciNet  Google Scholar 

  • Jungnickel D (2013) Graphs, networks and algorithms, 4th edn. Springer Publishing Company, Incorporated, Berlin

    Book  Google Scholar 

  • Morse A, Wonham W (1971) Status of noninteracting control. IEEE Trans Autom Control 16(6):568–581

    Article  MathSciNet  Google Scholar 

  • Moylan P (1977) Stable inversion of linear systems. IEEE Trans Autom Control 22(1):74–78

    Article  MathSciNet  Google Scholar 

  • Nijmeijer H (1982) Invertibility of affine nonlinear control systems: a geometric approach. Syst Control Lett 2(3):163–168

    Article  MathSciNet  Google Scholar 

  • Sain M, Massey J (1969) Invertibility of linear time-invariant dynamical systems. IEEE Trans Autom Control 14(2):141–149

    Article  MathSciNet  Google Scholar 

  • Silverman L (1969) Inversion of multivariable linear systems. IEEE Trans Autom Control 14(3):270–276

    Article  MathSciNet  Google Scholar 

  • Singh S (1982) Invertibility of observable multivariable nonlinear systems. IEEE Trans Autom Control 27(2):487–489

    Article  MathSciNet  Google Scholar 

  • Tanwani A, Liberzon D (2010) Invertibility of switched nonlinear systems. Automatica 46(12):1962–1973

    Article  MathSciNet  Google Scholar 

  • Vu L, Liberzon D (2008) Invertibility of switched linear systems. Automatica 44(4):949–958

    Article  MathSciNet  Google Scholar 

  • Yu Y, Wang B, Feng J (2018) Input observability of Boolean control networks. Neurocomputing

    Google Scholar 

  • Zhang K, Zhang L, Mou S (2017) An application of invertibility of Boolean control networks to the control of the mammalian cell cycle. IEEE/ACM Trans Comput Biol Bioinform 14(1):225–229

    Article  Google Scholar 

  • Zhang K, Zhang L, Xie L (2015) Invertibility and nonsingularity of Boolean control networks. Automatica 60:155–164

    Article  MathSciNet  Google Scholar 

  • Zhao G, Wang Y, Li H (2016) Invertibility of higher order k-valued logical control networks and its application in trajectory control. J Frankl Inst 353(17):4667–4679

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Kuize Zhang .

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Zhang, K., Zhang, L., Xie, L. (2020). Invertibility and Nonsingularity of Boolean Control Networks. In: Discrete-Time and Discrete-Space Dynamical Systems. Communications and Control Engineering. Springer, Cham. https://doi.org/10.1007/978-3-030-25972-3_3

Download citation

Publish with us

Policies and ethics