Analysis of signalling pathways using continuous time Markov chains

Calder, M., Vyshemirsky, V., Gilbert, D. and Orton, R. (2006) Analysis of signalling pathways using continuous time Markov chains. Lecture Notes in Computer Science, 4220, pp. 44-67. (doi:10.1007/11880646_3)

[img]
Preview
Text
prismpaper.pdf

307kB

Publisher's URL: http://dx.doi.org/10.1007/11880646_3

Abstract

We describe a quantitative modelling and analysis approach for signal transduction networks. We illustrate the approach with an example, the RKIP inhibited ERK pathway [CSK+03]. Our models are high level descriptions of continuous time Markov chains: proteins are modelled by synchronous processes and reactions by transitions. 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 such as what is the probability that if a concentration reaches a certain level, it will remain at that level thereafter? or how does varying a given reaction rate affect that probability? 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:Articles
Keywords:signalling pathways; stochastic processes; continuous time Markov chains; model checking; continuous stochastic logic
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy and Orton, Dr Richard and Gilbert, Prof David and Vyshemirsky, Dr Vladislav
Authors: Calder, M., Vyshemirsky, V., Gilbert, D., and Orton, R.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Lecture Notes in Computer Science
Publisher:Springer Verlag
ISSN:0302-9743
Copyright Holders:Copyright © 2006 Springer
First Published:First published in Lecture Notes in Computer Science 4220:44-67
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher

University Staff: Request a correction | Enlighten Editors: Update this record