On algorithmic analysis of transcriptional regulation by LTL model checking

Theoretical Computer Science

Volumn 410, Issue 33-34, 2009, Pages 3128-3148

  Barnat, J ^a   Brim, L ^a   Cerna I ^a   Drazan S ^a   Fabrikova J ^a   Safranek D ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

Genetic regulatory network; Model checking; Piecewise linear approximation

Indexed keywords

ALGORITHMIC ANALYSIS; BIOLOGICAL MODELS; BIOLOGICAL NETWORKS; DETERMINISTIC MODELS; GENETIC NETWORKS; GENETIC REGULATORY NETWORK; GENETIC REGULATORY NETWORKS; IN-SILICO; LINEAR TIME TEMPORAL LOGIC; LTL MODEL-CHECKING; NOVEL ALGORITHM; PARALLEL MODEL CHECKING; PIECEWISE-LINEAR; PIECEWISE-LINEAR APPROXIMATION; QUALITATIVE SIMULATION; STATE SPACE; STATE-SPACE GENERATION; SYSTEMS BIOLOGY; TIME COMPLEXITY; TRANSCRIPTIONAL REGULATION;

ABSTRACTING; ELECTRIC NETWORK ANALYSIS; LAWS AND LEGISLATION; PARALLEL ALGORITHMS; PIECEWISE LINEAR TECHNIQUES; SIMULATORS; TEMPORAL LOGIC;

MODEL CHECKING;

EID: 67650035121     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2009.02.017     Document Type: Article

References (30)

1. Barnat J., Brim L., Černá I., Dražan S., and Šafránek D. Parallel model checking large-scale genetic regulatory networks with DiVinE. Proc. of From Biology to Concurrency and Back. ENTCS vol. 194 (2007), Elsevier 35-50
2. Barnat J., Brim L., Černá I., Dražan S., and Šafránek D. From simple regulatory motifs to parallel model checking of complex transcriptional networks. Proc. of Parallel and Distributed Methods in Verification (2008), ETAPS 83-96
3. Barnat J., Brim L., Černá I., Moravec P., Ročkai P., and Šimeček P. DiVinE - a tool for distributed verification (tool paper). Computer Aided Verification. LNCS vol. 4144 (2006), Springer 278-281
4. Batt G., Belta C., and Weiss R. Model checking genetic regulatory networks with parameter uncertainty. Workshop on Hybrid Systems: Computation and Control. LNCS vol. 4416 (2007), Springer 61-75
5. Batt G., Belta C., and Weiss R. Model checking liveness properties of genetic regulatory networks. Conference on Tools and Algorithms for the Construction and Analysis of Systems. LNCS vol. 4424 (2007), Springer 323-338
6. Batt G., Ropers D., de Jong H., Geiselmann J., Mateescu R., Page M., and Schneider D. Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach. Conference on Artificial Intelligence (2005) 370-375
7. Batt G., Ropers D., de Jong H., Geiselmann J., Mateescu R., Page M., and Schneider D. Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia Coli. Conference on Intelligent Systems for Molecular Biology (2005) 19-28
8. Belta C., and Habets L.C. Controlling a class of nonlinear systems on rectangles. Transactions on Automatic Control 51 11 (2006) 1749-1759
9. Bernot G., Comet J.-P., Richard A., and Guespin J. Application of formal methods to biological regulatory networks: Extending thomas' asynchronous logical approach with temporal logic. Journal of Theoretical Biology 229 3 (2004) 339-347
10. Cao Y., Li H., and Petzold L. Efficient formulation of the stochastic simulation algorithm for chemically reacting systems. Journal of Chemical Physics 121 9 (2004) 4059-4067
11. Bower J.M., and Bolouri H. Computational Modeling of Genetic and Biochemical Networks (2001), Bradford Book, Cambridge
12. Calzone L., Fages F., and Soliman S. BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22 14 (2006) 1805-1807
13. Černá I., and Pelánek R. Distributed explicit fair cycle detection (set based approach). Model Checking Software. 10th International SPIN Workshop. LNCS vol. 2648 (2003), Springer 49-73
14. Chabrier N., and Fages F. symbolic model checking of biochemical networks. Computational Methods in Systems Biology. CMSB'03. LNCS vol. 2602 (2003), Springer 149-162
15. de Jong H., Geiselmann J., Batt G., Hernandez C., and Page M. Qualitative simulation of the initiation of sporulation in Bacillus subtilis. Bulletin of Mathematical Biology 66 2 (2004) 261-300
16. de Jong H., Geiselmann J., Hernandez C., and Page M. Genetic network analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics 19 3 (2003) 336-344
17. de Jong H., Gouz J.-L., Hernandez C., Sari T., Page M., and Geiselmann J. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Mathematical Biology 66 2 (2004) 301-340
18. FP6-NEST Project EC-MOAN, 2007. http://www.ec-moan.org
19. Williams S., et al. The potential of the cell processor for scientific computing. Proc. of Conference on Computing Frontiers (2006), ACM Press 9-20
20. Fillipov A.F. Differential Equations with Discontinuous Righthand Sides (1988), Kluwer Academic Publishers
21. Fisler K., Fraer R., Kamhi G., Vardi M.Y., and Yang Z. Is there a best symbolic cycle-detection algorithm?. Proc. of Conference on Tools and Algorithms for the Construction and Analysis of Systems. LNCS vol. 2031 (2001), Springer 420-434
22. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977) 2340-2381
23. Habets L.C., Collins P.J., and van Schuppen J.H. Reachability and control synthesis for piecewise-affine hybrid systems on simplices. Transactions on Automatic Control 51 6 (2006) 938-948
24. Heath J., Kwiatkowska M., Norman G., Parker D., and Tymchyshyn O. Probabilistic model checking of complex biological pathways. Computational Methods in Systems Biology. Lecture Notes in Bioinformatics vol. 4210 (2006), Springer 32-47
25. Meredith J.S., Alam S.R., and Vetter J.S. Analysis of a computational biology simulation technique on emerging processing architectures. Proc. of Parallel and Distributed Processing Symposium (2007), IEEE 1-8
26. Monteiro P.T., Ropers D., Mateescu R., Freitas A.T., and de Jong H. Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics 24 16 (2008) 227-233 (ECCB 2008 special issue)
27. Ropers D., de Jong H., Page M., Schneider D., and Geiselmann J. Qualitative simulation of the carbon starvation response in Escherichia Coli. Biosystems 84 2 (2006) 124-152
28. Schaub M., Henzinger T., and Fisher J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology (2007)
29. C.P. Sosa, T. Milledge, J. McAllister, G.Z. Milledge, Life sciences molecular dynamics applications on the IBM system blue gene solution: Performance overview, Technical Report, IBM, 2006
30. Thieffry D., and Thomas R. Dynamical behavior of biological regulatory networks. Bulletin of Mathematical Biology 57 2 (1995) 277-297