On Timed Models of Gene Networks

  • Grégory Batt
  • Ramzi Ben Salah
  • Oded Maler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4763)


We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order learn about the possible qualitative behaviors of the network under a whole range of uncertain delay parameters. We have developed a tool chain starting from a high-level description of the network down to an exhaustive analysis of its behavior. We have demonstrated the potential applicability of this framework on several examples.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ADF+06]
    Asarin, E., Dang, T., Frehse, G., Girard, A., Le Guernic, C., Maler, O.: Recent Progress in Continuous and Hybrid Reachability Analysis. In: CACSD (2006)Google Scholar
  2. [BDL+01]
    Behrmann, G., David, A., Larsen, K.G., Möller, O., Pettersson, P., Yi, W.: UPPAAL - Present and future. In: CDC 2001 (2001)Google Scholar
  3. [BBM03]
    Ben Salah, 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)Google Scholar
  4. [BGO+04]
    Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: SFM (2004)Google Scholar
  5. [BJMY02]
    Bozga, M., Jianmin, H., Maler, O., Yovine, S.: Verification of Asynchronous Circuits using Timed Automata. ENTCS 65 (2002)Google Scholar
  6. [BMT99]
    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)Google Scholar
  7. [DOTY96]
    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)CrossRefGoogle Scholar
  8. [F05]
    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)Google Scholar
  9. [HHW98]
    Henzinger, T.A, Ho, P.-H., Wong-Toi, H.: Algorithmic Analysis of Nonlinear Hybrid Systems. IEEE TRans. on Automatic Control 43, 540–554 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  10. [HTW05]
    Hooshangi, S., Thiberge, S., Weiss, R.: Ultrasensitivity and Noise Propagation in a Synthetic Transcriptional Cascade. PNAS 102, 3581–3586 (2005)CrossRefGoogle Scholar
  11. [K69]
    Kauffman, S.A.: Metabolic Stability and Epigenesis in Randomly Constructed Genetic Nets. J. of Theoretical Biology 22, 437–467 (1969)CrossRefMathSciNetGoogle Scholar
  12. [MP95]
    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)Google Scholar
  13. [RJP+06]
    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)CrossRefGoogle Scholar
  14. [SB06]
    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)CrossRefGoogle Scholar
  15. [SKE00]
    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)zbMATHCrossRefGoogle Scholar
  16. [TT95]
    Thieffry, D., Thomas, R.: Dynamical Behaviour of Biological Regulatory Networks: II. Immunity Control in Bacteriophage Lambda. Bulletin of Mathematical Biology 57, 277–295 (1995)zbMATHGoogle Scholar
  17. [TD90]
    Thomas, R., D’Ari, R.: Biological Feedback. CRC Press, Boca Raton (1990)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Grégory Batt
    • 1
  • Ramzi Ben Salah
    • 1
  • Oded Maler
    • 1
  1. 1.VERIMAG, 2, av. de Vignate, 38610 GieresFrance

Personalised recommendations