Symbolic approaches for finding control strategies in Boolean Networks
Conference
Langmead, CJ, Jha, SK. (2008). Symbolic approaches for finding control strategies in Boolean Networks
. Series on Advances in Bioinformatics and Computational Biology, 6 307-320.
Langmead, CJ, Jha, SK. (2008). Symbolic approaches for finding control strategies in Boolean Networks
. Series on Advances in Bioinformatics and Computational Biology, 6 307-320.
We present algorithms for finding control strategies in Boolean Networks (BN). Our approach uses symbolic techniques from the field of model checking.We show that despite recent hardness-results for finding control policies, a model checking-based approach is often capable of scaling to extremely large and complex models. We demonstrate the effectiveness of our approach by applying it to a BN model of embryogenesis in D. melanogaster with 15,360 Boolean variables.
