Symbolic approach to verification and control of deterministic/probabilistic Boolean networks

IET Systems Biology

Volumn 6, Issue 6, 2012, Pages 215-222

  Kobayashi, K ^a   Hiraishi, K ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS AND CONTROLS; BIOLOGICAL NETWORKS; BOOLEAN DYNAMICS; BOOLEAN NETWORK; BOOLEAN NETWORKS; GENE REGULATORY NETWORKS; PROBABILISTIC MODELS; SOLUTION METHODS;

CELL DEATH; MODEL CHECKING; PRISMS;

BOOLEAN ALGEBRA;

WNT PROTEIN;

ANIMAL; APOPTOSIS; ARTICLE; BIOLOGICAL MODEL; DROSOPHILA MELANOGASTER; GENE REGULATORY NETWORK; GENETICS; HUMAN; METHODOLOGY; PHYSIOLOGY; STATISTICAL MODEL; SYSTEMS BIOLOGY;

ANIMALS; APOPTOSIS; DROSOPHILA MELANOGASTER; GENE REGULATORY NETWORKS; HUMANS; MODELS, BIOLOGICAL; MODELS, GENETIC; MODELS, STATISTICAL; SYSTEMS BIOLOGY; WNT PROTEINS;

MLCS; MLOWN;

EID: 84879031334     PISSN: 17518849     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-syb.2012.0018     Document Type: Article

References (26)

1. Kitano, H.: 'Computational systems biology', Nature, 2002, 420, pp. 206-210
2. Kitano, H.: 'Cancer as a robust system: implications for anticancer therapy', Nat. Rev. Cancer, 2004, 4, pp. 227-235
3. Jong, H.D.: 'Modeling and simulation of genetic regulatory systems: a literature review', J. Comput. Biol., 2002, 9, pp. 67-103
4. Kauffman, S.A.: 'Metabolic stability and epigenesis in randomly constructed genetic nets', J. Theor. Biol., 1969, 22, pp. 437-467
5. Akutsu, T., Hayashida, M., Ching, W.-K., Ng, M.K.: 'Control of Boolean networks: hardness results and algorithms for tree structured networks', J. Theor. Biol., 2007, 244, pp. 670-679
6. Langmead, C.J., Jha, S.K.: 'Symbolic approaches to finding control strategies in Boolean networks', J. Bioinf. Comput. Bio., 2009, 7, (2), pp. 323-338
7. Tournier, L., Chaves, M.: 'Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics', J. Theor. Biol., 2009, 260, pp. 196-209
8. Shmulevich, I., Dougherty, E.R., Kim, S., Zhang, W.: 'Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks', Bioinformatics, 2002, 18, pp. 261-274
9. Ching, W.-K., Zhang, S.-Q., Jiao, Y., Akutsu, T., Tsing, N.-K., Wong, A.S.: 'Optimal control policy for probabilistic Boolean networks with hard constraints', IET Syst. Biol., 2009, 3, (2), pp. 90-99
10. Datta, A., Choudhary, A., Bittner, M.L., Dougherty, E.R.: 'External control in Markovian genetic regulatory networks', Mach. Learn., 2003, 52, pp. 169-191
11. Datta, A., Choudhary, A., Bittner, M.L., Dougherty, E.R.: 'External control in Markovian genetic regulatory networks: the imperfect information case', Bioinfomatics, 2004, 20, pp. 924-930
12. Pal, R., Datta, A., Bittner, M.L., Dougherty, E.R.: 'Optimal infinitehorizon control for probabilistic Boolean networks', IEEE Trans. Signal Process., 2006, 54, pp. 2375-2387
13. Baier, C., Katoen, J.-P.: 'Principles of Model Checking' (MIT Press, 2008)
14. http://www.prismmodelchecker.org/
15. Ciesinski, F., Groesser, M.: 'On probabilistic computation tree logic', Validation Stochastic Syst., 2004, LNCS 2925, pp. 147-188
16. Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: 'Analysis of signalling pathways using the PRISM model checker', Proc. Comput. Methods Syst. Biol., 2005, , pp. 179-190
17. Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: 'A Bayesian approach to model checking biological systems', Proc. Comput. Methods Syst. Biol., 2009, LNBI 5688, pp. 218-234
18. Xiao, Y., Dougherty, E.R.: 'The impact of function perturbations in Boolean networks', Bioinformatics, 2007, 23, pp. 1265-1273
19. Chaouiya, C., Remy, E., Ruet, P., Thieffry, D.: 'Qualitative modelling of genetic networks: from logical regulatory graphs to standard Petri nets', 25th Int. Conf. Application and Theory of Petri Nets, 2004, (LNCS,3099), pp. 137-156
20. Faryabi, B., Chamberland, J.-F., Vahedi, G., Datta, A., Dougherty, E.R.: 'Optimal intervention in asynchronous genetic regulatory networks', IEEE J. Sel. Top. Signal Process., 2008, 2 (3), pp. 412-423
21. Chaves, M.: 'Methods for qualitative analysis of genetic networks'. Proc. European Control Conf. 2009, 2009, pp. 671-676
22. Bryant, R.E.: 'Graph-based algorithm for Boolean function manipulation', IEEE Trans. Comput., 1986, 35 (8), pp. 677-691
23. Qian, X., Ivanov, I., Ghaffari, N., Dougherty, E.R.: 'Intervention in gene regulatory networks via greedy control policies based on long-run behavior', BMC Syst. Biol., 2009, 3, p. 61
24. Williams, H.P.: 'Model building in mathematical programming' (John Willey &Sons, Ltd., 1999, 4th edn.)
25. Weeraratna, A.T., Jiang, Y., Hostetter, G., et al.: 'Wnt5a signaling directly affects cell motility and invasion of metastatic melanoma', Cancer Cell, 2002, 1, pp. 279-288
26. Kwiatkowska, M., Norman, G., Parker, D., Qu, H.: 'Assume-guarantee verification for probabilistic systems'. Sixth Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems, 2010, (LNCS 6015), pp. 23-37