Abstract
In Chap. 10.1007/978-3-030-25972-3_4, we investigated four notions of observability for Boolean control networks (BCNs), i.e., multiple-experiment observability (Definition 10.1007/978-3-030-25972-3_4), strong multiple-experiment observability (Definition 10.1007/978-3-030-25972-3_4), single-experiment observability (Definition 10.1007/978-3-030-25972-3_4), and arbitrary-experiment observability (Definition 10.1007/978-3-030-25972-3_4), how to use these notions to determine the initial state of a BCN, how to verify these notions, etc.