A Bayesian Approach to Model Checking Biological Systems

  • Sumit K. Jha
  • Edmund M. Clarke
  • Christopher J. Langmead
  • Axel Legay
  • André Platzer
  • Paolo Zuliani
Conference paper

DOI: 10.1007/978-3-642-03845-7_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5688)
Cite this paper as:
Jha S.K., Clarke E.M., Langmead C.J., Legay A., Platzer A., Zuliani P. (2009) A Bayesian Approach to Model Checking Biological Systems. In: Degano P., Gorrieri R. (eds) Computational Methods in Systems Biology. CMSB 2009. Lecture Notes in Computer Science, vol 5688. Springer, Berlin, Heidelberg

Abstract

Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large for classical Model Checking techniques. For these models, a statistical approach to Model Checking has been shown to be an effective alternative. Extending our earlier work, we present the first algorithm for performing statistical Model Checking using Bayesian Sequential Hypothesis Testing. We show that our Bayesian approach outperforms current statistical Model Checking techniques, which rely on tests from Classical (aka Frequentist) statistics, by requiring fewer system simulations. Another advantage of our approach is the ability to incorporate prior Biological knowledge about the model being verified. We demonstrate our algorithm on a variety of models from the Systems Biology literature and show that it enables faster verification than state-of-the-art techniques, even when no prior knowledge is available.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Sumit K. Jha
    • 1
  • Edmund M. Clarke
    • 1
  • Christopher J. Langmead
    • 1
    • 2
  • Axel Legay
    • 3
  • André Platzer
    • 1
  • Paolo Zuliani
    • 1
  1. 1.Computer Science DepartmentCarnegie Mellon UniversityUSA
  2. 2.Lane Center for Computational BiologyCarnegie Mellon UniversityUSA
  3. 3.Institut d’Informatique INRIARennesFrance

Personalised recommendations