On timed models of gene networks

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

Volumn 4763 LNCS, Issue , 2007, Pages 38-52

  Batt, Grégory ^a   Salah, Ramzi Ben ^a   Maler, Oded ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; GENETIC PROGRAMMING; MATHEMATICAL MODELS; UNCERTAIN SYSTEMS; VERIFICATION;

DELAY PARAMETERS; GENE NETWORKS; GENETIC REGULATORY NETWORKS;

GENETIC ALGORITHMS;

EID: 38149110402     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75454-1_5     Document Type: Conference Paper

References (17)

1. Asarin, E., Dang, T., Frehse, G., Girard, A., Le Guernic, C., Maler, O.: Recent Progress in Continuous and Hybrid Reachability Analysis. In: CACSD (2006)
2. Behrmann, G., David, A., Larsen, K.G., Möller, O., Pettersson, P., Yi, W.: UPPAAL - Present and future. In: CDC'01 (2001)
3. Ben Salan, R., Bozga, M., Maler, O.: On Timing Analysis of Combinational. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 204-219. Springer, Heidelberg (2004)
4. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: SFM (2004)
5. Bozga, M., Jianmin, H., Maler, O., Yovine, S.: Verification of Asynchronous Circuits using Timed Automata. ENTCS 65 (2002)
6. Bozga, M., Maler, O., Tripakis, S.: Efficient Verification of Timed Automata using Dense and Discrete Time Semantics. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 125-141. Springer, Heidelberg (1999)
7. Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool KRONOS. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) Hybrid Systems III. LNCS, vol. 1066, pp. 208-219. Springer, Heidelberg (1996)
8. Frehse, G.: PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258-273. Springer, Heidelberg (2005)
9. Henzinger, T.A. Ho, P.-H., Wong-Toi, H.: Algorithmic Analysis of Nonlinear Hybrid Systems. IEEE TRans. on Automatic Control 43, 540-554 (1998)
10. Hooshangi, S., Thiberge, S., Weiss, R.: Ultrasensitivity and Noise Propagation in a Synthetic Transcriptional Cascade. PNAS 102, 3581-3586 (2005)
11. Kauffman, S.A.: Metabolic Stability and Epigenesis in Randomly Constructed Genetic Nets. J. of Theoretical Biology 22, 437-467 (1969)
12. Maler, O., Pnueli, A.: Timing Analysis of Asynchronous Circuits using Timed Automata. In: Camurati, P.E., Eveking, H. (eds.) CHARME 1995. LNCS, vol. 987, pp. 189-205. Springer, Heidelberg (1995)
13. Ropers, D., de Jong, H., Page, M., Schneider, D., Geiselmann, J.: Qualitative Simulation of the Carbon Starvation Response in Escherichia coli. BioSystems 84, 124-152 (2006)
14. Siebert, H., Bockmayr, A.: Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 169-183. Springer, Heidelberg (2006)
15. Stursberg, O., Kowalewski, S., Engell, S.: On the Generation of Timed Discrete Approximations for Continuous Systems. Mathematical and Computer Modelling of Dynamical Systems 6, 51-70 (2000)
16. Thieffry, D., Thomas, R.: Dynamical Behaviour of Biological Regulatory Networks: II. Immunity Control in Bacteriophage Lambda. Bulletin of Mathematical Biology 57, 277-295 (1995)
17. Thomas, R., D'Ari, R.: Biological Feedback. CRC Press (1990)