Analysing biochemical oscillations through probabilistic model checking

Tools

Ballarini, Paolo and Mardare, Radu and Mura, Ivan (2009) Analysing biochemical oscillations through probabilistic model checking. Electronic Notes in Theoretical Computer Science, 229 (1). pp. 3-19. ISSN 1571-0661 (https://doi.org/10.1016/j.entcs.2009.02.002)

[thumbnail of Ballarini-etal-ENTCS2009-Analysing-biochemical-oscillations-through-probabilistic-model-checking]
Preview
 Text. Filename: Ballarini_etal_ENTCS2009_Analysing_biochemical_oscillations_through_probabilistic_model_checking.pdf
Final Published Version
License: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 logo
Download (1MB)| Preview

Abstract

Automated verification of stochastic models has been proved to be an effective technique for the analysis of a large class of stochastically behaving systems. In this paper we show how stochastic model-checking can be effectively applied to the analysis of biological systems. We consider a few models of biological systems taken from the literature, and we consider both their encodings as ordinary differential equations and Markovian models. We show that stochastic model-checking verification of biological systems can complement both deterministic and stochastic simulation techniques when dealing with dynamical properties of oscillators. We demonstrate how stochastic model-checking can provide exact quantitative characterization of properties of systems exhibiting oscillatory behavior, providing insights that cannot be obtained with differential equations models and that would require a large number of runs with stochastic simulation approaches.

  • Item type:Article
    ID code:86692
    Dates:
    Date
    Event
    28 February 2009
    Published
    20 February 2009
    Published Online
    1 December 2008
    Accepted
    Notes:© 2009 Elsevier B.V Paolo Ballarini, Radu Mardare, Ivan Mura, Analysing Biochemical Oscillation through Probabilistic Model Checking, Electronic Notes in Theoretical Computer Science, Volume 229, Issue 1, 2009,Pages 3-19, https://doi.org/10.1016/j.entcs.2009.02.002.
    Subjects:Science > Mathematics > Electronic computers. Computer science
    Department:Faculty of Science > Computer and Information Sciences
    Depositing user: Pure Administrator
    Date deposited:07 Sep 2023 13:18
    Last modified:11 Nov 2024 14:04
    URI:https://strathprints.strath.ac.uk/id/eprint/86692
CORE (COnnecting REpositories)