Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Analysis of signalling pathways using the prism model checker

Calder, Muffy and Vyshemirsky, Vladislav and Gilbert, David and Orton, Richard (2005) Analysis of signalling pathways using the prism model checker. In: CMSB'2005, 2005-04-03 - 2005-04-05, Edinburgh.

Full text not available in this repository. (Request a copy from the Strathclyde author)

Abstract

We describe a new modelling and analysis approach for signal transduction networks in the presence of incomplete data. We illustrate the approach with an example, the RKIP inhibited ERK pathway [1]. Our models are based on high level descriptions of continuous time Markov chains: reactions are modelled as synchronous processes and concentrations are modelled by discrete, abstract quantities. The main advantage of our approach is that using a (continuous time) stochastic logic and the PRISM model checker, we can perform quantitative analysis of queries such as if a concentration reaches a certain level, will it remain at that level thereafter? We also perform standard simulations and compare our results with a traditional ordinary differential equation model. An interesting result is that for the example pathway, only a small number of discrete data values is required to render the simulations practically indistinguishable.

Item type: Conference or Workshop Item (Paper)
ID code: 36959
Keywords: analysis, signalling pathways, prism, model checker, Probabilities. Mathematical statistics
Subjects: Science > Mathematics > Probabilities. Mathematical statistics
Department: Faculty of Science > Mathematics and Statistics
Related URLs:
    Depositing user: Pure Administrator
    Date Deposited: 24 Jan 2012 09:06
    Last modified: 04 Oct 2012 17:52
    URI: http://strathprints.strath.ac.uk/id/eprint/36959

    Actions (login required)

    View Item