Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Eppstein D (1990) Reset sequences for monotonic automata. SIAM J Comput 19(3):500–510
Fornasini E, Valcher ME (2013) Observability, reconstructibility and state observers of Boolean control networks. IEEE Trans Autom Control 58(6):1390–1401
Kari J (2003) Synchronizing finite automata on Eulerian digraphs. Theor Comput Sci 295(1):223–232
Linz P (2006) An introduction to formal language and automata. Jones and Bartlett Publishers Inc, USA
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–33
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–3060
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–5844
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Zhang, K., Zhang, L., Xie, L. (2020). Detectability 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_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-25972-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-25971-6
Online ISBN: 978-3-030-25972-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)