On Connections Between Invariant Subspace and Quotient Approaches for Analysis and Control of Boolean Networks

In this article, we prove new connections between two frameworks for analysis and control of Boolean networks: the invariant subspace framework and the quotient framework. Each method, in different ways, produces a smaller model but preserves enough information about the original network. We make precise the connection between models reduced by the two methods. The results show equivalence between invariant subspace and quotient approaches for wide classes of analysis and control problems.