Computer Science Department
School of Computer Science, Carnegie Mellon University
Symbolic Approaches for Finding
Christopher James Langmead*, Sumit Kumar Jha
This report is superceded by
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 hardnessresults 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.
*Department of Computer Science and Department of Biological Sciences, Carnegie Mellon University