A Bayesian Approach to Model Checking Biological Systems

  • Authors:

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

  • Affiliations:

  • Computer Science Department, Carnegie Mellon University, USA;Computer Science Department, Carnegie Mellon University, USA;Computer Science Department, Carnegie Mellon University, USA and Lane Center for Computational Biology, Carnegie Mellon University, USA;Institut d'Informatique INRIA, Rennes, France;Computer Science Department, Carnegie Mellon University, USA;Computer Science Department, Carnegie Mellon University, USA

  • Venue:
  • CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.