Symbolic approaches for finding control strategies in Boolean Networks

Series on Advances in Bioinformatics and Computational Biology

Volumn 6, Issue , 2008, Pages 307-320

  Langmead, Christopher James ^a   Jha, Sumit Kumar ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Boolean Networks; Control; Model checking; Systems biology

Indexed keywords

BOOLEAN NETWORK; BOOLEAN NETWORKS; BOOLEAN VARIABLES; CHECKING-BASED APPROACH; COMPLEX MODEL; CONTROL POLICY; CONTROL STRATEGIES; SYMBOLIC TECHNIQUES; SYSTEMS BIOLOGY;

CONTROL; MODEL CHECKING;

BIOINFORMATICS;

EID: 84856898059     PISSN: 17516404     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. T. Akutsu, M. Hayashida, W.K. Ching, and M. Ng. On the complexity of finding control strategies for boolean networks. Proc. 4th Asian Pacific Bioinf. Conf., pages 99-108, 2006.
2. T. Akutsu, S. Miyano, and S. Kuhara. Inferring qualitative relations in genetic networks and metabolic pathways. Bioinformatics, 16(8):727-734, 2000.
3. R. Albert and H. G. Othmer. The topology of the regulatory interactions predics the expression pattern of the segment polarity genes in drosophila melanogaster. Journal of Theoretical Biology, 223:1-18, 2003. (Pubitemid 36627542)
4. M. Antoniotti, A. Policriti, N. Ugel, and B. Mishra. Model building and model checking for biochemical processes. Cell Biochem Biophys., 38(3):271-286, 2003. (Pubitemid 41270809)
5. C. Baier, E. Clarke, V. Hartonas-Garmhausen, M. Kwiatkowska, and M. Ryan. Symbolic model checking for probabilistic processes. Proc. 24th International Colloquium on Automata, Languages and Programming (ICALP'97), 1256:430-440, 1997. (Pubitemid 127097759)
6. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput., 35(8):677-691, 1986.
7. J.R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan, and D. L. Dill. Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer- Aided Design of Integrated Circuits and Systems, 3(4):401-424, 1993.
8. 20 States and Beyond. Proc. Fifth Ann. IEEE Symposium on Logic in Computer Science, pages 428-439, 1990.
9. M. Calder, V. Vyshemirsky, D. Gilbert, and R. Orton. Analysis of signalling pathways using the PRISM model checker. Proc. Computational Methods in Systems Biology (CMSB'05), pages 179-190, 2005.
10. N. Chabrier and F. Fages. Symbolic Model Checking of Biochemical Networks. Proc 1st Internl Workshop on Computational Methods in Systems Biology, pages 149-162, 2003. (Pubitemid 36241649)
11. P. C. Chen and J.W. Chen. A markovian approach to the control of genetic regulatory networks. Biosystems, 90(2):535-45, 2007. (Pubitemid 47362468)
12. A. Cimatti, E.M. Clarke, E. Giunchiglia, F. Giunchiglia, P. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. Nusmv 2: An opensource tool for symbolic model checking. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, pages 359-364, 2002.
13. E.M. Clarke, M. Fujita, P. C. McGeer, J.C.-Y. Yang, and X. Zhao. Multi-terminal binary decision diagrams: An efficient datastructure for matrix representation. IWLS '93 International Workshop on Logic Synthesis, 1993.
14. E.M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
15. A. Datta, A. Choudhary, M. L. Bittner, and E.R. Dougherty. External control in markovian genetic regulatory networks. Mach. Learn., 52(1-2):169-191, 2003.
16. L. de Alfaro, M. Kwiatkowska, G. Norman, D. Parker, and R. Segala. Symbolic model checking of concurrent probabilistic processes using MTBDDs and the Kronecker representation. Proc. 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'00), 1785:395-410, 2000.
17. S.E. Harris, B.K. Sawhill, A. Wuensche, and S. Kauffman. A model of transcriptional regulatory networks based on biases in the observed regulation rules. Complex., 7(4):23-40, 2002. (Pubitemid 34961265)
18. S. A. Kauffman. The Origins of Order: Self-Organization and Selection in Evolution. Oxford University Press, 1993.
19. M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn, J. Heath, and E. Gaffney. Simulation and verification for computational modelling of signalling pathways. WSC '06: Proceedings of the 38th conference on Winter simulation, pages 1666-1674, 2006.
20. C.J. Langmead and S. K. Jha. Predicting protein folding kinetics via model checking. Lecture Notes in Bioinformatics: The 7th Workshop on Algorithms in Bioinformatics (WABI), pages 252-264, 2007. (Pubitemid 350271315)
21. C.J. Langmead and S. K. Jha. Using bit vector decision procedures for analysis of protein folding pathways. Fourth Workshop on Constraints in Formal Verification, page in press, 2007.
22. C. Piazza, M. Antoniotti, V. Mysore, A. Policriti, F. Winkler, and B. Mishra. Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. 17th Internl Conf. on Comp. Aided Verification (CAV), pages 5-19, 2005. (Pubitemid 41431716)
23. A. Pnueli. The temporal logic of programs. Proceedings of the 18th IEEE. Foundations of Computer Science (FOCS), pages 46-57, 1977.
24. P. Ranadip, D. Aniruddha, L. Bittner, and R. Dougherty. Intervention in contextsensitive probabilistic boolean networks. Bioinformatics, 21(7):1211-1218, 2005.
25. I. Shmulevich, H. Lhdesmki, E. R. Dougherty, J. Astola, and W. Zhang. The role of certain post classes in boolean network models of genetic networks. Proc Natl Acad Sci U S A, 100(19):10734-10739, 2003. (Pubitemid 37140097)
26. T. Tabata, S. Eaton, and T. B. Kornberg. The drosophila hedgehog gene is expressed specifically in posterior compartment cells and is a target of engrailed regulation. Genes Dev., 6(12B):2635-2645, 1992. (Pubitemid 23052890)
27. H. L. S. Younes and R. G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, pages 223-235, 2002.