Abstract
In Chaps. 10.1007/978-3-030-25972-3_4 and 10.1007/978-3-030-25972-3_5, we investigated how to verify different notions of observability and detectability for Boolean control networks (BCNs), and also studied how to determine the initial state (current state) of a BCN according to a particular notion of observability (detectability). In addition, we proved that the problems of verifying these notions are all NP-hard in the number of nodes. Hence, these problems are generally intractable. Actually, in general, for a BCN with more than 30 nodes, one cannot obtain whether it is observable or detectable in a reasonable amount of time by using a personal computer (PC). Hence BCNs with more than 30 nodes can be regarded as large-scale.