Symbolic reachability analysis of genetic regulatory networks using discrete abstractions

Automatica

Volumn 44, Issue 4, 2008, Pages 982-989

  Batt, Grégory ^a,b,c   de Jong, Hidde ^a   Page, Michel ^a,e   Geiselmann, Johannes ^a,d  

^a INRIA RHÔNE ALPES   (France)

^b Boston University   (United States)

^c VERIMAG   (France)

^d CNRS   (France)

^e UNIV GRENOBLE ALPES   (France)

Author keywords

Discrete abstraction; Genetic regulatory networks; Hybrid systems; Piecewise affine differential equations; Qualitative analysis; Systems biology

Indexed keywords

CONSTRAINT THEORY; DIFFERENTIAL EQUATIONS; DISCRETE TIME CONTROL SYSTEMS; PARAMETER ESTIMATION;

DISCRETE ABSTRACTIONS; GENETIC REGULATORY NETWORKS; HYBRID SYSTEMS; PIECEWISE AFFINE DIFFERENTIAL EQUATIONS; SYMBOLIC REACHABILITY ANALYSIS; SYSTEMS BIOLOGY;

SYSTEMS ANALYSIS;

EID: 41149105962     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2007.08.004     Document Type: Article

References (12)

1. Alur R., Henzinger T.A., Lafferriere G., and Pappas G.J. Discrete abstractions of hybrid systems. Proceedings of the IEEE 88 (2000) 971-984
2. Batt G., Ropers D., de Jong H., Geiselmann J., Mateescu R., Page M., et al. Validation of qualitative models of genetic regulatory networks by model checking. Bioinformatics 21 (2005) i19-i28
3. Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Page, M., & Schneider, D. (2005). Qualitative analysis and verification of hybrid models of genetic regulatory networks. In M. Morari, & L. Thiele (Eds.), Proceedings of HSCC 2005. Lecture notes in computer science (Vol. 3414, pp. 134-150). Berlin: Springer.
4. Batt, G., Ropers, D., de Jong, H., Page, M., & Geiselmann, J. (2007). Symbolic reachability analysis of genetic regulatory networks using qualitative abstractions. Technical Report RR-6136, INRIA, 〈http://hal.inria.fr〉.
5. Belta C., Esposito J.M., Kim J., and Kumar V. Computational techniques for analysis of genetic network dynamics. International Journal of Robotics Research 24 (2005) 219-235
6. de Jong H., Gouzé J.-L., Hernandez C., Page M., Sari T., and Geiselmann J. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Mathematical Biology 66 (2004) 301-340
7. Edwards R. Analysis of continuous-time switching networks. Physica D 146 (2000) 165-199
8. Filippov A.F. Differential equations with discontinuous righthand sides (1988), Kluwer Academic Publishers, Dordrecht
9. Ghosh R., and Tomlin C.J. Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling. Systems Biology 1 (2004) 170-183
10. Glass L., and Kauffman S.A. The logical analysis of continuous non-linear biochemical control networks. Journal of Theoretical Biology 39 (1973) 103-129
11. Gouzé J.-L., and Sari T. A class of piecewise linear differential equations arising in biological models. Dynamical Systems 17 (2002) 299-316
12. Mestl T., Plahte E., and Omholt S.W. A mathematical framework for describing and analysing gene regulatory networks. Journal of Theoretical Biology 176 (1995) 291-300