Reachability analysis of probabilistic Boolean networks using model checking

Proceedings of the SICE Annual Conference

Volumn , Issue , 2010, Pages 829-832

  Kobayashi, Koichi ^a   Hiraishi, Kunihiko ^a  

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

Author keywords

Model checking; Probabilistic boolean network; Reachability analysis

Indexed keywords

BOOLEAN ALGEBRA;

ANALYSIS AND CONTROLS; BIOLOGICAL NETWORKS; GENE REGULATORY NETWORKS; MODEL CHECKER; PROBABILISTIC BOOLEAN NETWORKS; REACHABILITY ANALYSIS; REACHABILITY PROBLEM; STATE TRANSITION DIAGRAMS;

MODEL CHECKING;

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

References (15)

1. W.-K. Ching, S.-Q. Zhang, Y. Jiao, T. Akutsu, N.-K. Tsing, and A.S. Wong, Optimal control policy for probabilistic Boolean networks with hard constraints, IET Systems Biology, vol. 3, no. 2, pp. 90-99, 2009.
2. F. Ciesinski and M. Groesser, On Probabilistic Computation Tree Logic, Validation of Stochastic Systems, LNCS 2925, pp. 147-188, Springer, 2004.
3. M. Calder, V. Vyshemirsky, D. Gilbert, and R. Orton, Analysis of signalling pathways using the PRISM model checker, Proc. Computational Methods in Systems Biology, pp. 179-190, 2005.
4. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, The MIT Press, 2000.
5. A. Datta, A. Choudhary, M. L. Bittner, and E. R. Dougherty, External Control in Markovian Genetic Regulatory Networks, Machine Learning, vol. 52, pp. 169-191, 2003.
6. A. Datta, A. Choudhary, M. L. Bittner, and E. R. Dougherty, External control in Markovian genetic regulatory networks: the imperfect information case, Bioinfomatics, vol. 20, pp. 924-930, 2004.
7. B. Faryabi, G. Vahedi, J.-F. Chamberland, A. Datta, and E. R. Dougherty, Intervention in Context-Sensitive Probabilistic Boolean Networks Revisited, EURASIP Journal on Bioinformatics and Systems Biology, vol. 2009, article ID 360864, 2005.
8. H. D. Jong, Modeling and Simulation of Genetic Regulatory Systems: A Literature Review, Journal of Computational Biology, vol. 9, pp. 67-103, 2002.
9. S. A. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol. 22, pp. 437-467, 1969.
10. C. J. Langmead and S. K. Jha, Symbolic Approaches to Finding Control Strategies in Boolean Networks, Journal of Bioinformatics and Computational Biology, vol. 7, no. 2, pp. 323-338, 2009.
11. R. Pal, A. Datta, M. L. Bittner, and E. R. Dougherty, Intervention in context-sensitive probabilistic Boolean networks, Bioinformatics, vol. 21, pp. 1211-1218, 2005. (Pubitemid 40467947)
12. R. Pal, A. Datta, M. L. Bittner, and E. R. Dougherty, Optimal Infinite-Horizon Control for Probabilistic Boolean Networks, IEEE Trans. on Signal Processing, vol. 54, pp. 2375-2387, 2006. (Pubitemid 43805580)
13. I. Shmulevich, E. R. Dougherty, S. Kim, and W. Zhang, Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks, Bioinformatics, vol. 18, pp. 261-274, 2002. (Pubitemid 34183104)
14. H. P. Williams, Model building in mathematical programming, 4th ed., John Willey & Sons, Ltd, 1999.
15. http://www.prismmodelchecker.org/.