Observability of Nondeterministic Finite-Transition Systems
In Chap. 4, we investigated four notions of observability for Boolean control networks (BCNs), i.e., multiple-experiment observability (Definition 4.1), strong multiple-experiment observability (Definition 4.2), single-experiment observability (Definition 4.3), and arbitrary-experiment observability (Definition 4.4), how to use these notions to determine the initial state of a BCN, how to verify these notions, etc.
- Kozen D (1977) Lower bounds for natural proof systems. In: Proceedings of the 18th annual symposium on foundations of computer science. SFCS ’77. IEEE Computer Society, Washington, pp 254–266Google Scholar
- Lin H, Antsaklis PJ (2014) Hybrid dynamical systems: an introduction to control and verification. Found Trends Syst Control 1(1):1–172Google Scholar