Please use this identifier to cite or link to this item:
|Title:||Statistical model checking based calibration and analysis of bio-pathway models||Authors:||Palaniappan, S.K.
|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.
checked on Oct 12, 2019
checked on Oct 12, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.