HSM - a hybrid system based approach for modelling intracellular networks

Gene

Volumn 518, Issue 1, 2013, Pages 70-77

  Brazma, Alvis ^a   Cerans, Karlis ^b   Ruklisa, Dace ^c   Schlitt, Thomas ^d   Viksna, Juris ^b  

^a EUROPEAN BIOINFORMATICS INSTITUTE   (United Kingdom)

^b UNIVERSITY OF LATVIA   (Latvia)

^c UNIVERSITY COLLEGE LONDON   (United Kingdom)

^d KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Analysis of dynamics of biological systems; Gene regulatory networks; Hybrid system based modelling; Qualitative modelling of biological systems

Indexed keywords

ALGORITHM; ARTICLE; BIOLOGY; CONTROLLED STUDY; GENE REGULATORY NETWORK; GENETIC PROCEDURES; HYBRID SYSTEM MODEL; HYPOTHESIS; LYSOGENIZATION; MATHEMATICAL ANALYSIS; PREDICTION; PRIORITY JOURNAL; QUALITATIVE ANALYSIS; QUANTITATIVE ANALYSIS;

ALGORITHMS; BACTERIOPHAGE LAMBDA; GENE REGULATORY NETWORKS; GENES, VIRAL; LYSOGENY; MODELS, BIOLOGICAL; MUTATION; PROMOTER REGIONS, GENETIC;

EID: 84875376766     PISSN: 03781119     EISSN: 18790038     Source Type: Journal    
DOI: 10.1016/j.gene.2012.11.084     Document Type: Article

References (17)

1. Ahmad J., Bernot J., Comet J., Lime D., Roux O. Hybrid modelling and dynamical analysis of gene regulatory networks with delays. Complexus 2007, 3:231-251.
2. Alur R., et al. The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 1995, 138:3-34.
3. Alur R., Grosu R., Hur Y., Kumar V., Lee I. Modular specification of hybrid systems in charon. Proc. of HSCC 2000. Vol. 1790 of LNCS 2000, 6-19.
4. Alur R., et al. Hybrid modeling and simulation of biomolecular networks. Proc. of HSCC 2001. Vol. 2034 of LNCS 2001, 19-32.
5. Batt G., et al. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics 2005, 21(Suppl. 1):19-28.
6. Batt G., Ben Salah R., Maler O. On timed models of gene networks. Proc. of FORMATS 2007. Vol. 4763 of LNCS 2007, 38-52.
7. Brazma R., Schlitt T. Reverse engineering of gene regulatory networks: a finite state linear model. Genome Biol. 2003, 4(P5):1-31.
8. Court D., Oppenheim A., Adhya S. A new look at bacteriophage λ genetic network. J. Bacteriol. 2007, 189:298-304.
9. de Jong H., Geiselmann J., Hernandez C., Page M. Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 2003, 19(3):336-344.
10. de Jong H., Gouze J., Hernandez C., Page M., Sari T., Geiselmann J. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. 2004, 66:301-340.
11. Fromentin J., Eveillard D., Roux O. Hybrid modeling of biological networks: mixing temporal and qualitative biological properties. BMC Syst. Biol. 2010, 4(79):11.
12. Ghosh R., Tomlin C. Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch protein signalling. Syst. Biol. 2004, 1:170-183.
13. Kauffman S. Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 1969, 22:437-467.
14. McAdams H., Shapiro L. Circuit simulation of genetic networks. Science 1995, 269:650-656.
15. Ruklisa D., Brazma A., Viksna J. Reconstruction of gene regulatory networks under the finite state linear model. Genome Inform. 2005, 16:225-236.
16. Schlitt T., Brazma A. Modelling in molecular biology: describing transcription regulatory networks at different scales. Philos. Trans. R. Soc. Lond. B 2006, 361:483-494.
17. Siebert H., Bockmayr A. Temporal constraints in the logical analysis of regulatory networks. Theor. Comput. Sci. 2008, 391:258-275.