Integer programming-based approach to attractor detection and control of boolean networks

IEICE Transactions on Information and Systems

Volumn E95-D, Issue 12, 2012, Pages 2960-2970

  Akutsu, Tatsuya ^a   Zhao, Yang ^a   Hayashida, Morihiro ^a   Tamura, Takeyuki ^a  

^a KYOTO UNIVERSITY   (Japan)

Author keywords

Attractors; Boolean networks; Genetic networks; Integer programming; Nonlinear discrete systems

Indexed keywords

BOOLEAN ALGEBRA; DYNAMICAL SYSTEMS; INTEGER PROGRAMMING; MATHEMATICAL MODELS;

ATTRACTORS; BOOLEAN NETWORK; BOOLEAN NETWORKS; COMPUTATIONAL EXPERIMENT; CONTROL STRATEGIES; DISCRETE MATHEMATICAL MODELS; GENE REGULATORY NETWORKS; GENETIC NETWORKS; INITIAL STATE; NONLINEAR DISCRETE SYSTEM; NP-HARD;

PROBLEM SOLVING;

EID: 84870681779     PISSN: 09168532     EISSN: 17451361     Source Type: Journal    
DOI: 10.1587/transinf.E95.D.2960     Document Type: Conference Paper

References (32)

1. T. Akutsu, S. Kuhara, O. Maruyama, and S. Miyano, "A system for identifying genetic networks from gene expression patterns produced by gene disruptions and overexpressions," Genome Informatics, no.9, pp.151-160, 1998.
2. T. Akutsu, M. Hayashida, W.-K. Ching, W.-K., and M.K. Ng, "Control of Boolean networks: hardness results and algorithms for treestructured networks," J. Theoretical Biology, vol.244, pp.670-679, 2007.
3. T. Akutsu, M. Hayashida, and T. Tamura, "Integer programmingbased methods for attractor detection and control of Boolean networks," Proc. The combined 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, pp.5610-5617, 2009.
4. T. Akutsu, A.A. Melkman, T. Tamura, and M. Yamamoto, "Determining a singleton attractor of a Boolean network with nested canalyzing functions," J. Computational Biology, vol.18, pp.1275-1290, 2011.
5. E. Balleza, E.R. Alvarez-Buylla, A. Chaos, S. Kauffman, I. Shmulevich, and M. Aldana. "Critical dynamics in genetic regulatory networks: examples from four kingdoms," PLoS One, vol.3, e2456, 2008.
6. X. Chen, T. Akutsu, T. Tamura, and W.-K. Ching, "Finding optimal control policy in probabilistic Boolean networks with hard constraints by using integer programming and dynamic programming," International Journal of Data Mining and Bioinformatics, to appear.
7. D. Cheng and H. Qi, "Controllability and observability of Boolean control networks," Automatica, vol.45, pp.1659-1667, 2009.
8. D. Cheng, "Input-state approach to Boolean networks," IEEE Trans. Neural Netw., vol.20, pp.512-521, 2009.
9. A. Datta, A. Choudhary, M.L. Bittner, and E.R. Dougherty, "External control in Markovian genetic regulatory networks," Mach. Learn., vol.52, pp.169-191, 2003.
10. H. de Jong and M. Page, "Search for steady states of piecewiselinear differential equation models of genetic regulatory networks," IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.5, no.2, pp.208-222, 2008.
11. V. Devloo, P. Hansen, and M. Labb'e, "Identification of all steady states in large networks by logical analysis," Bulletin of Mathematical Biology, vol.65, pp.1025-1051, 2003.
12. E. Dubrova and M. Tesienko, "A SAT-based algorithm for finding attractors in synchronous Boolean networks," IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.8, no.5, pp.1393-1399, 2011.
13. M.R. Garey and D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
14. A. Garg, A. DiCara, I. Xenarios, L. Mendoza, and G. DeMicheli, "Synchronous versus asynchronous modeling of gene regulatory networks," Bioinformatics, vol.24, pp.1917-1925, 2008.
15. M. Hayashida, T. Tamura, T. Akutsu, S.-Q. Zhang, andW.-K. Ching, "Algorithms and complexity analyses for control of singleton attractors in Boolean networks," EURASIP Journal on Bioinformatics and Systems Biology, vol.2008, 521407, 2008.
16. K. Inoue, "Logic programming for Boolean networks," Proc. 22nd International Joint Conference on Artificial Intelligence, pp.924-930, 2011.
17. D.J. Irons, "Improving the efficiency of attractor cycle identification in Boolean networks," Physica D, vol.217, pp.7-21, 2006.
18. J.K. Karlof (ed.), Integer Programming: Theory And Practice, CRC Press, Boca Raton, Florida, 2005.
19. S.A. Kauffman, The Origins of Order: Self-organization and Selection in Evolution, Oxford Univ. Press, New York, 1993.
20. S. Kim, H. Li, E.R. Dougherty, N. Cao, Y. Chen,M. Bittner, and E.B. Suh, "Can Markov chain models mimic biological regulations?" J. Biological Systems, vol.10, pp.337-357, 2002.
21. H. Kitano, "Cancer as a robust system: implications for anticancer therapy," Nature Reviews Cancer, vol.4, pp.227-235, 2004.
22. K. Kobayashi and K. Hiraishi. "An integer programming approach to control problems in probabilistic Boolean networks," Proc. 2010 American Control Conference, pp.6710-6715, 2010.
23. K. Kobayashi and K. Hiraishi, "An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks," Automatica, vol.47, pp.1260-1264, 2011.
24. C.J. Langmead and S.K. Jha, "Symbolic approaches for finding control strategies in Boolean networks," J. Bioinformatics and Computational Biology, vol.7, pp.323-338, 2009.
25. Y.-Y. Liu, J.-J. Slotin, and A.-L. Barab'asi, "Controllability of complex networks," Nature, vol.473, pp.167-173, 2011.
26. B. Luque and R.V. Sol'e, "Controlling chaos in random Boolean networks," Europhysics Letters, vol.37, pp.597-602, 1997.
27. A.A. Melkman, T. Tamura, and T. Akutsu, "Determining a singleton attractor of an AND/OR Boolean network in O(1.587n) time," Inf. Process. Lett., vol.110, pp.565-569, 2010.
28. B. Samuelsson and C. Troein, "Superpolynomial growth in the number of attractors in Kauffman networks," Phys. Rev. Lett., vol.90, 098701, 2003.
29. L.J. Stockmeyer, "The polynomial-time hierarchy," Theor. Comput. Sci., vol.3, pp.1-22, 1976.
30. K. Takahashi, K. Tanabe, M. Ohnuki, M. Narita, T. Ichisaka, K. Tomoda, and S. Yamanaka, "Induction of pluripotent stem cells from adult human fibroblasts by defined factors," Cell, vol.131, pp.1-12, 2007.
31. T. Tamura and T. Akutsu, "Detecting a singleton attractor in a Boolean network utilizing SAT algorithms," IEICE Trans. Fundamentals, vol.E92-A, no.2, pp.493-501, Feb. 2009.
32. S.-Q. Zhang, M. Hayashida, T. Akutsu, W.-K. Ching, and M.K. Ng, "Algorithms for finding small attractors in Boolean networks," EURASIP Journal on Bioinformatics and Systems Biology, vol.2007, 20180, 2007.