Abstract
In Chap. 10.1007/978-3-030-25972-3_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.