Observability and reconstructibility of Boolean control networks

In this paper we address observability and reconstructibility of Boolean networks and of Boolean control networks. By resorting to the algebraic approach recently introduced by D. Cheng and co-authors [2], [4], [5], [6], we provide necessary and sufficient conditions for these properties to hold, based on the Boolean matrices involved in the network description and the corresponding digraphs.