Link to the University of Pittsburgh Homepage
Link to the University Library System Homepage Link to the Contact Us Form

Automated parameter estimation for biological models using Bayesian statistical model checking

Hussain, F and Langmead, CJ and Mi, Q and Dutta-Moscato, J and Vodovotz, Y and Jha, SK (2015) Automated parameter estimation for biological models using Bayesian statistical model checking. BMC Bioinformatics, 16 (17).

Published Version
Available under License : See the attached license file.

Download (1MB) | Preview
[img] Plain Text (licence)
Available under License : See the attached license file.

Download (1kB)


Background: Probabilistic models have gained widespread acceptance in the systems biology community as a useful way to represent complex biological systems. Such models are developed using existing knowledge of the structure and dynamics of the system, experimental observations, and inferences drawn from statistical analysis of empirical data. A key bottleneck in building such models is that some system variables cannot be measured experimentally. These variables are incorporated into the model as numerical parameters. Determining values of these parameters that justify existing experiments and provide reliable predictions when model simulations are performed is a key research problem. Domain experts usually estimate the values of these parameters by fitting the model to experimental data. Model fitting is usually expressed as an optimization problem that requires minimizing a cost-function which measures some notion of distance between the model and the data. This optimization problem is often solved by combining local and global search methods that tend to perform well for the specific application domain. When some prior information about parameters is available, methods such as Bayesian inference are commonly used for parameter learning. Choosing the appropriate parameter search technique requires detailed domain knowledge and insight into the underlying system. Results: Using an agent-based model of the dynamics of acute inflammation, we demonstrate a novel parameter estimation algorithm by discovering the amount and schedule of doses of bacterial lipopolysaccharide that guarantee a set of observed clinical outcomes with high probability. We synthesized values of twenty-eight unknown parameters such that the parameterized model instantiated with these parameter values satisfies four specifications describing the dynamic behavior of the model. Conclusions: We have developed a new algorithmic technique for discovering parameters in complex stochastic models of biological systems given behavioral specifications written in a formal mathematical logic. Our algorithm uses Bayesian model checking, sequential hypothesis testing, and stochastic optimization to automatically synthesize parameters of probabilistic biological models.


Social Networking:
Share |


Item Type: Article
Status: Published
CreatorsEmailPitt UsernameORCID
Hussain, F
Langmead, CJ
Mi, Qqim3@pitt.eduQIM3
Dutta-Moscato, J
Vodovotz, Yvodovotz@pitt.eduVODOVOTZ
Jha, SK
Centers: Other Centers, Institutes, Offices, or Units > McGowan Institute for Regenerative Medicine
Date: 7 December 2015
Date Type: Publication
Journal or Publication Title: BMC Bioinformatics
Volume: 16
Number: 17
DOI or Unique Handle: 10.1186/1471-2105-16-s17-s8
Schools and Programs: School of Medicine > Biomedical Informatics
School of Medicine > Surgery
Refereed: Yes
Date Deposited: 18 Aug 2016 19:46
Last Modified: 29 Apr 2022 11:55


Monthly Views for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item