Skip to main content
SpringerLink
Log in

Compositional Reachability Analysis of Genetic Networks

  • Conference paper
Computational Methods in Systems Biology (CMSB 2006)

Part of the book series: Lecture Notes in Computer Science ((LNBI,volume 4210))

Included in the following conference series:

Abstract

Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the analysis of discrete transition systems. However, most of these approaches do not scale up well. In this article, we explore the use of compositionality for the analysis of genetic regulatory networks. We present a framework for modeling genetic regulatory networks in a modular yet faithful manner based on the mathematically well-founded formalism of differential inclusions. We then propose a compositional algorithm to efficiently analyze reachability properties of the model. A case study shows the potential of this approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Dang, T., Ivancić, F.: Reachability analysis of hybrid systems via predicate abstraction. Trans. on Embedded Computing Systems (2004)

    Google Scholar 

  2. Batt, G., Bergamini, D., de Jong, H., Garavel, H., Mateescu, R.: Model checking genetic regulatory networks using GNA and CADP. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 158–163. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Batt, G., de Jong, H., Geiselmann, J., Page, M., Ropers, D., Schneider, D.: Symbolic reachability analysis of genetic regulatory networks using qualitative abstraction. Research Report 5362, INRIA, France (2004)

    Google Scholar 

  4. Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Page, M., Schneider, D.: Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in escherichia coli. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 134–150. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. 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. Journal of Theoretical Biology 229(3), 339–348 (2004)

    Article  MathSciNet  Google Scholar 

  6. Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. Trans. on Comput. Syst. Biol. 4, 99–122 (2006)

    MathSciNet  Google Scholar 

  7. Casey, R., de Jong, H., Gouzé, J.-L.: Piecewise-linear models of genetic regulatory networks: Equilibria and their stability. Mathematical Biology 52(1), 27–56 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  8. Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 149–162. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Chaouiya, C., Remy, E., Ruet, P., Thieffry, D.: Qualitative modelling of genetic networks: From logical regulatory graphs to standard petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 137–156. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  10. Comet, J.-P., Klaudel, H., Liauzu, S.: Modeling multi-valued genetic regulatory networks using high-level petri nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 208–227. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  11. de Jong, H.: Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology 9(1), 69–105 (2002)

    Google Scholar 

  12. de Jong, H., Geiselmann, J., Batt, G., Hernandez, C., Page, M.: Qualitative simulation of the initiation of sporulation in Bacillus subtilis. Bulletin of Mathematical Biology 66(2), 261–300 (2004)

    Article  MathSciNet  Google Scholar 

  13. de Jong, H., Geiselmann, J., Hernandez, C., Page, M.: Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics 19(3), 336–344 (2003)

    Article  Google Scholar 

  14. de Jong, H., Gouzé, J.-L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Mathematical Biology 66, 301–340 (2004)

    Article  MathSciNet  Google Scholar 

  15. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Talcott, C.: Pathway logic: Executable models of biological networks. ENTCS 71 (2002)

    Google Scholar 

  16. Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. J. of Biological Physics and Chemistry 4(2), 64–72 (2004)

    Article  Google Scholar 

  17. Filippov, A.F.: Differential equations with discontinuous righthand side. Mathematics and its Applications 18 (1988)

    Google Scholar 

  18. Ghosh, R., Tiwari, A., Tomlin, C.: Automated symbolic reachability analysis; with application to delta-notch signaling automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 233–248. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Glass, L., Kauffman, S.A.: The logical analysis of continuous, non-linear biochemical control networks. Journal of Theoretical Biology 39(1), 103–129 (1973)

    Article  Google Scholar 

  20. Gössler, G., Sifakis, J.: Component-based construction of deadlock-free systems (extended abstract). In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, Springer, Heidelberg (2003)

    Google Scholar 

  21. Gouzé, J.-L., Sari, T.: A class of piecewise linear differential equations arising in biological models. Dynamical Systems 17(4), 299–316 (2003)

    Article  Google Scholar 

  22. Heiner, M., Koch, I.: Petri net based model validation in systems biology. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 216–237. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  23. Larrinaga, A., Naldi, A., Sánchez, L., Thieffry, D., Chaouiya, C.: GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems (2005)

    Google Scholar 

  24. Marnellos, G., Deblandre, G.A., Mjolsness, E., Kintner, G.: Delta-Notch lateral inhibitory patterning in the emergence of ciliated cells in Xenopus: Experimental observations and a gene network model. In: Proc. PSB 2000, vol. 5, pp. 326–337. World Scientific Publishing, Singapore (2000)

    Google Scholar 

  25. Oltvai, Z.N., Barabási, A.L.: Life’s complexity pyramid. Science 298, 763–764 (2002)

    Article  Google Scholar 

  26. Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., Winkler, F., Mishra, B.: Algorithmic algebraic model checking I: Challenges form systems biology. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 5–19. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  27. Resendis-Antonio, O., Freyre-González, J.A., Menchaca-Méndez, R., Gutiérrez-Ríos, R.M., Martínez-Antonio, A., Avila-Sánchez, C., Collado-Vides, J.: Modular analysis of the transcriptional regulatory network of e. coli. Trends in Genetics 21(1), 16–20 (2005)

    Article  Google Scholar 

  28. Simão, E., Remy, E., Thieffry, D., Chaouiya, C.: Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in e.coli. Bioinformatics 21(suppl. 2), ii190–ii196 (2005)

    Google Scholar 

  29. Thomas, R.: Boolean formalisation of genetic control circuits. J. Theor. Biol. 42, 565–583 (1973)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. POP ART project, INRIA Rhône-Alpes, France

    Gregor Gössler

Authors
  1. Gregor Gössler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre for Computational and Systems Biology, The Microsoft Research - University of Trento, Piazza Manci, 17, 38050, Povo, (TN), Italy

    Corrado Priami

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gössler, G. (2006). Compositional Reachability Analysis of Genetic Networks. In: Priami, C. (eds) Computational Methods in Systems Biology. CMSB 2006. Lecture Notes in Computer Science(), vol 4210. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11885191_15

Download citation

  • DOI: https://doi.org/10.1007/11885191_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-46166-1

  • Online ISBN: 978-3-540-46167-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation