Computer Science Department
School of Computer Science, Carnegie Mellon University


Symbolic Approaches for Finding
Control Strategies in Boolean Networks

Christopher James Langmead*, Sumit Kumar Jha

October 2007

This report is superceded by
Computer Science Technical Report CMU-CS-07-155.


Keywords: Systems biology, model checking, control, Boolean networks

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.

16 pages

*Department of Computer Science and Department of Biological Sciences, Carnegie Mellon University

Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by