Model checking liveness properties of genetic regulatory networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4424 LNCS, Issue , 2007, Pages 323-338

  Batt, Grégory ^a   Belta, Calin ^a   Weiss, Ron ^b  

^a Boston University   (United States)

^b Princeton University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; DIFFERENTIAL EQUATIONS; ESCHERICHIA COLI; MATHEMATICAL MODELS; MODEL CHECKING; PARAMETER ESTIMATION; ABSTRACTING; BIOLOGY; UNCERTAINTY ANALYSIS;

GENETIC REGULATORY NETWORKS; LIVING ORGANISM; PARAMETER UNCERTAINTIES; PIECEWISE-MULTIAFFINE (PMA); ABSTRACTION PROCESS; FINITE TIME; LIVENESS PROPERTIES; LIVING ORGANISMS; PARAMETER UNCERTAINTY; TRANSIENT REGION; UNCERTAIN PARAMETERS;

GENE EXPRESSION; MODEL CHECKING;

EID: 34548708163     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71209-1_25     Document Type: Conference Paper

References (25)

1. Andrianantoandro, E., Basu, S., Karig, D., Weiss, R.: Synthetic biology: New engineering rules for an emerging discipline. Mol. Syst. Biol. (2006)
2. Batt, G., Belta, C.: Model checking genetic regulatory networks with applications to synthetic biology. CISE Tech. Rep. 2006-IR-0030, Boston University (2006)
3. Batt, G., Belta, C., Weiss, R.: Model checking genetic regulatory networks with parameter uncertainty. To appear in Bemporad, A., Bicchi, A., Buttazzo, G., eds.:Proc. HSCC'07. LNCS, Springer (2007)
4. Alur, R., Henzinger, T.A., Lafferriere, G.J., Pappas, G.: Discrete abstractions of hybrid systems. Proc. IEEE 88(7) (2000) 971-984
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)
6. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3) (1986) 117-126
7. Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inform. and Comput. 111 (1994) 193-244
8. Tripakis, S., Yovine, S.: Analysis of timed systems using time-abstracting bisimulations. Formal Methods System Design 18(1) (2001) 25-68
9. Wang, F., Huang, G.D., Yu, F.: TCTL inevitability analysis of dense-time systems: From theory to engineering. IEEE Trans. Softw. Eng. (2006) In press.
10. Habets, L.C.G.J.M., Collins, P.J., van Schuppen, J.H.: Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans. Aut. Control 51(6) (2006) 938-948
11. Belta, C., Habets, L.C.G.J.M.: Controlling a class of nonlinear systems on rectangles. IEEE Trans. Aut. Control 51(11) (2006) 1749-1759
12. Hooshangi, S., Thiberge, S., Weiss, R.: Ultrasensitivity and noise propagation in a synthetic transcriptional cascade. Proc. Natl. Acad. Sci. USA 102(10) (2005) 3581-3586
13. de Jong, H., Gouzé, J.L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. 66(2) (2004) 301-340
14. Belta, C., Habets, L.C.G.J.M., Kumar, V.: Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. In: Proc. CDC'02. (2002)
15. Mestl, T., Plahte, E., Omholt, S.: A mathematical framework for describing and analysing gene regulatory networks. J. Theor. Biol. 176 (1995) 291-300
16. Glass, L., Kauffman, S.A.: The logical analysis of continuous non-linear biochemical control networks. J. Theor. Biol. 39(1) (1973) 103-129
17. Lygeros, J., Johansson, K.H., Simic̀, S.N., Zhang, J., Sastry, S.S.: Dynamical properties of hybrid automata. IEEE Trans. Aut. Control 48(1) (2003) 2-17
18. Bouajjani, A., Collomb-Annichini, A., Lacknech, Y., Sighireanu, M.: Analysis of fair parametric extended automata. In Cousot, P., ed.: Proc. SAS'01. LNCS 2126, Springer (2001) 335-355
19. Dams, D., Gerth, R., Grumberg, O.: A heuristic for the automatic generation of ranking functions. In: Proc. WAVe'00. (2000) 1-8
20. Antoniotti, M., Piazza, C., Policriti, A., Simeoni, M., Mishra, B.: Taming the complexity of biochemical models through bisimulation and collapsing: Theory and practice. Theor. Comput. Sci. 325(1) (2004) 45-67
21. Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in E. coli. Bioinformatics 21(Suppl.1) (2005) i19-i28
22. Bernot, G., Comet, J.P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: Extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol. 229(3) (2004) 339-347
23. Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In Priami, C., Plotkin, G., eds: Trans. Comput. Syst. Biol. VI. LNBI 4220, Springer (2006) 68-94
24. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Talcott, C.L.: Pathway logic: Executable models of biological networks. In Gadducci, F., Montanari, U., eds.: Proc. WRLA'02. ENTCS 71, Elsevier (2002)
25. Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Wang, Y., Weise, C.: New generation of UPPAAL. In: Proc. STTT'98. (1998)