Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-40708-6_10
Title: Statistical model checking based calibration and analysis of bio-pathway models
Authors: Palaniappan, S.K.
Gyori, B.M.
Liu, B.
Hsu, D. 
Thiagarajan, P.S. 
Issue Date: 2013
Citation: Palaniappan, S.K.,Gyori, B.M.,Liu, B.,Hsu, D.,Thiagarajan, P.S. (2013). Statistical model checking based calibration and analysis of bio-pathway models. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8130 LNBI : 120-134. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-40708-6_10
Abstract: We present a statistical model checking (SMC) based framework for studying ordinary differential equation (ODE) models of bio-pathways. We address cell-to-cell variability explicitly by using probability distributions to model initial concentrations and kinetic rate values. This implicitly defines a distribution over a set of ODE trajectories, the properties of which are to be characterized. The core component of our framework is an SMC procedure for verifying the dynamical properties of an ODE system accompanied by such prior distributions. To cope with the imprecise nature of biological data, we use a formal specification logic that allows us to encode both qualitative properties and experimental data. Using SMC, we verify such specifications in a tractable way, independent of the system size. This further enables us to develop SMC based parameter estimation and sensitivity analysis procedures. We have evaluated our method on two large pathway models, namely, the segmentation clock network and the thrombin-dependent MLC phosphorylation pathway. The results show that our method scales well and yields good parameter estimates that are robust. Our sensitivity analysis framework leads to interesting insights about the underlying dynamics of these systems. © Springer-Verlag 2013.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/78360
ISBN: 9783642407079
ISSN: 03029743
DOI: 10.1007/978-3-642-40708-6_10
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

21
checked on Oct 12, 2019

Page view(s)

67
checked on Oct 12, 2019

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.