A Bayesian Approach to Model Checking Biological Systems
- 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
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.
Unable to display preview. Download preview PDF.