Detectability of Boolean Control Networks

  • Kuize ZhangEmail author
  • Lijun Zhang
  • Lihua Xie
Part of the Communications and Control Engineering book series (CCE)


In Chap.  4, we discuss observability of Boolean control networks (BCNs). Intuitively, a BCN is observable if one can use an input sequence and the corresponding output sequence to determine the initial state. Once the initial state has been obtained, all subsequent states can be determined by input sequences since a BCN is deterministic.


  1. Eppstein D (1990) Reset sequences for monotonic automata. SIAM J Comput 19(3):500–510MathSciNetCrossRefGoogle Scholar
  2. Fornasini E, Valcher ME (2013) Observability, reconstructibility and state observers of Boolean control networks. IEEE Trans Autom Control 58(6):1390–1401MathSciNetCrossRefGoogle Scholar
  3. Kari J (2003) Synchronizing finite automata on Eulerian digraphs. Theor Comput Sci 295(1):223–232MathSciNetCrossRefGoogle Scholar
  4. Linz P (2006) An introduction to formal language and automata. Jones and Bartlett Publishers Inc, USAzbMATHGoogle Scholar
  5. Sandberg S (2005) Homing and synchronizing sequences. In: Broy M et al (eds) Model-based testing of reactive systems: advanced lectures. Springer, Berlin, pp 5–33CrossRefGoogle Scholar
  6. Zhang K, Zhang L, Su R (2016) A weighted pair graph representation for reconstructibility of Boolean control networks. SIAM J Control Optim 54(6):3040–3060MathSciNetCrossRefGoogle Scholar
  7. Zhang Z, Leifeld T, Zhang P (2017) Identification of Boolean control networks incorporating prior knowledge. In: 2017 IEEE 56th annual conference on decision and control (CDC), pp. 5839–5844Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.School of Electrical Engineering and Computer ScienceKTH Royal Institute of TechnologyStockholmSweden
  2. 2.School of Marine Science and TechnologyNorthwestern Polytechnical UniversityXi’anChina
  3. 3.School of Electrical and Electronic EngineeringNanyang Technological UniversitySingaporeSingapore

Personalised recommendations