- Methodology Article
- Open Access

# A Bayesian active learning strategy for sequential experimental design in systems biology

- Edouard Pauwels
^{1, 2}Email author, - Christian Lajaunie
^{3, 4, 5}and - Jean-Philippe Vert
^{3, 4, 5}

**8**:102

https://doi.org/10.1186/s12918-014-0102-6

© Pauwels et al.; licensee BioMed Central Ltd. 2014

**Received:**10 February 2014**Accepted:**14 August 2014**Published:**1 December 2014

## Abstract

### Background

Dynamical models used in systems biology involve unknown kinetic parameters. Setting these parameters is a bottleneck in many modeling projects. This motivates the estimation of these parameters from empirical data. However, this estimation problem has its own difficulties, the most important one being strong ill-conditionedness. In this context, optimizing experiments to be conducted in order to better estimate a system’s parameters provides a promising direction to alleviate the difficulty of the task.

### Results

Borrowing ideas from Bayesian experimental design and active learning, we propose a new strategy for optimal experimental design in the context of kinetic parameter estimation in systems biology. We describe algorithmic choices that allow to implement this method in a computationally tractable way and make it fully automatic. Based on simulation, we show that it outperforms alternative baseline strategies, and demonstrate the benefit to consider multiple posterior modes of the likelihood landscape, as opposed to traditional schemes based on local and Gaussian approximations.

### Conclusion

This analysis demonstrates that our new, fully automatic Bayesian optimal experimental design strategy has the potential to support the design of experiments for kinetic parameter estimation in systems biology.

## Keywords

- Systems biology
- Kinetic parameter estimation
- Active learning
- Bayesian experimental design

## Background

Systems biology emerged a decade ago as the study of biological systems where interactions between relatively simple biological species generate overall complex phenomena [1]. Quantitative mathematical models, coupled with experimental work, now play a central role to analyze, simulate and predict the behavior of biological systems. For example, ordinary differential equation- (ODE) based models, which are the focus of this work, have proved very useful to model numerous regulatory, signaling and metabolic pathways [2]-[4], including for example the cell cycle in budding yeast [5], the regulatory module of nuclear factor *θ*B (NF- *θ*B) signaling pathway [6],[7], the MAP kinase signaling pathways [8] or the caspase function in apoptosis [9].

Such dynamical models involve unknown parameters, such as kinetic parameters, that one must guess from prior knowledge or estimate from experimental data in order to analyze and simulate the model. Setting these parameters is often challenging, and constitutes a bottleneck in many modeling project [3],[10]. On the one hand, fixing parameters from estimates obtained *in vitro* with purified proteins may not adequately reflect the true activity in the cell, and is usually only feasible for a handful of parameters. On the other hand, optimizing parameters to reflect experimental data on how some observables behave under various experimental conditions is also challenging, since some parameters may not be identifiable, or may only be estimated with a large errors, due to the frequent lack of systematic quantitative measurements covering all variables involved in the system; many authors found, for example, that finding parameters to fit experimental observations in nonlinear models is a very ill-conditioned and multimodal problem, a phenomenon sometimes referred to as *sloppiness*[11]-[17], a concept closely related to that of *identifiability* in system identification theory [18],[19], see also [20] for a recent review. When the system has more than a few unknown parameters, computational issues also arise to efficiently sample the space of parameters [21],[22], which has been found to be very rugged and sometimes misleading in the sense that many sets of parameters that have a good fit to experimental data are meaningless from a biological point of view [23].

Optimizing the experiments to be conducted in order to alleviate non-identifiabilities and better estimate a system’s parameters therefore provides a promising direction to alleviate the difficulty of the task, and has already been the subject of much research in systems biology [20],[24]. Some authors have proposed strategies involving random sampling of parameters near the optimal one, or at least coherent with available experimental observations, and systematic simulations of the model with these parameters in order to identify experiments that would best reduce the uncertainty about the parameters [25]-[27]. A popular way to formalize and implement this idea is to follow the theory of Bayesian optimal experimental design (OED) [28],[29]. In this framework, approximating the model by a linear model (and the posterior distribution by a normal distribution) leads to the well-known A-optimal [30],[31] or D-optimal [32]-[36] experimental designs, which optimize a property of the Fisher information matrix (FIM) at the maximum likelihood estimator. FIM-based methods have the advantage to be simple and computationally efficient, but the drawback is that the assumption that the posterior probability is well approximated by a unimodal, normal distribution is usually too strong. To overcome this difficulty at the expense of computational burden, other methods involving a sampling of the posterior distribution by Monte-Carlo Markov chain (MCMC) techniques have also been proposed [37],[38]. When the goal of the modeling approach is not to estimate the parameters *per se*, but to understand and simulate the system, other authors have also considered the problem of experimental design to improve the predictions made by the model [39]-[41], or to discriminate between different candidate models [42]-[45].

In this work we propose a new general strategy for Bayesian OED, and study its relevance for kinetic parameter estimation in the context of systems biology. As opposed to classical Bayesian OED strategies which select the experiment that most reduces the uncertainty in parameter estimation, itself quantified by the variance or the entropy of the posterior parameter distribution, we formulate the problem in a decision-theoretic framework where we wish to minimize an error function quantifying how far the estimated parameters are from the true ones. For example, if we focus on the squared error between the estimated and true parameters, our methods attempts to minimize not only the variance of the estimates, as in standard A-optimal designs [30],[31], but also a term related to the bias of the estimate. This idea is similar to an approach that was proposed for active learning [46], where instead of just reducing the size of the version space (i.e., the amount of models coherent with observed data) the authors propose to directly optimize a loss function relevant for the task at hand. Since the true parameter needed to define the error function is unknown, we follow an approach similar to [46] and average the error function according to the current prior on the parameters. This results in a unique, well-defined criterion that can be evaluated and used to select an optimal experiment.

In the rest of this paper, we provide a rigorous derivation of this criterion, and discuss different computational strategies to evaluate it efficiently. The criterion involves an average over the parameter space according to a prior distribution, for wich we designed an exploration strategy that proved to be efficient in our experiments. We implemented the criterion in the context of an iterative experimental design problem, where a succession of experiments with different costs is allowed and the goal is to reach the best final parameter estimation given a budget to be spent, a problem that was made popular by the DREAM 6 and DREAM 7 Network Topology and Parameter Inference Challenge [47]-[49]. We demonstrate the relevance of our new OED strategy on a small simulated network in this context, and illustrate its behavior on the DREAM7 challenge. The method is fully automated, and we provide an RR package to reproduce all simulations.

## Methods

### A new criterion for Bayesian OED

In this section we propose a new, general criterion for Bayesian OED. We consider a system whose behavior and observables are controlled by an unknown parameter ${\theta}^{*}\in \subset {\mathbb{R}}^{p}$ that we wish to estimate. For that purpose, we can design an experiment *e*2, which in our application will include which observables we observe, when, and under which experimental conditions. The completion of the experiment will lead to an observation *o*, which we model as a random variable generated according to the distribution *o*~*P*(*o*|*θ*^{*};*e*). Note that although *θ*^{*} is unknown, the distribution *P*(*o*|*θ*;*e*) is supposed to be known for any *θ* and *e*, and amenable to simulations; in our case, *P*(*o*|*θ*;*e*) typically involves the dynamical equations of the system if the parameters are known, and the noise model of the observations.

*e*is for the purpose of evaluating

*θ*

^{θ}. For that purpose, we assume given a loss function

*θ*such that

*`*(

*θ*,

*θ*

^{*}) measures the loss associated to an estimate

*θ*when the true value is

*θ*

^{*}. A typical loss function is the squared Euclidean distance

*l*(

*θ*,

*θ*

^{*})=║

*θ*-

*θ*

^{*}║

^{2}, or the squared Euclidean distance in after a log transform for positive parameters $l(\theta ,{\theta}^{*})=\sum _{i=1}^{p}log{({\theta}_{i}/{\theta}_{i}^{*})}^{2}$. We place ourselves in a Bayesian setting, where instead of a single point estimate the knowledge about

*θ*

^{*}at a given stage of the analysis is represented by a probability distribution

*π*over

*θ*. The quality of the information it provides can be quantified by the average loss, or risk:

*e*and observe

*o*, the knowledge about

*θ*

^{*}is updated and encoded in the posterior distribution whose risk is now:

*o*. This observation is actually generated according to

*P*(

*o*|

*θ*

^{*};

*e*). Accordingly, the average risk of the experiment

*e*(if the true parameter is

*θ*

^{*}) is:

*θ*

^{*}being unknown, we average the risk by taking account of the current state of knowledge, and thus according to

*π*. The expected risk associated to the choice of

*e*when the current knowledge about

*θ*

^{*}is encoded in the distribution

*π*is thus:

The expected risk *R*(*e*;*π*) of a candidate experiment *e* given our current estimate of the parameter distribution *π* is the criterion we propose in order to assess the relevance of performing *e*. In other words, given a current estimate *π*, we propose to select the best experiment to perform as the one that minimizes *R*(*e*;*π*). We describe in the next section more precisely how to use this criterion in the context of sequential experimental design where each experiment has a cost.

*R*(

*e*;

*π*) is similar but different from classical Bayesian OED criteria, like the variance criterion used in A-optimal design. Indeed, taking for example the square Euclidean loss as loss function

*l*(

*θ*,

*θ*

^{*})=║

*θ*-

*θ*

^{*}║

^{2}, and denoting by

*π*

_{e}the mean posterior distribution that we expect if we perform experiment

*e*, standard A-optimal design tries to minimize the variance of

*π*

_{e}, while our criterion focuses on:

### Sequential experimental design

In sequential experimental design, we sequentially choose an experiment to perform, and observe the resulting outcome. Given the past experiments *e*_{1},. . .,*e*_{k} and corresponding observations *o*_{1},. . .,*o*_{k}, we therefore need to choose what is the best next experiment *e*_{k+1} to perform, assuming in addition that each possible experiment *e* has an associated cost *C*_{e} and we have a limited total budget to spend.

*π*

_{k}the distribution on

*π*representing our knowledge about

*θ*

^{*}after the

*k*-th experiment and observation, with

*π*

_{0}representing the prior knowledge we may have about the parameters before the first experiment. According to Bayes’ rule (1), the successive posteriors are related to each other according to:

*k*-th experiment based on possible future observations and total budget constraint, we propose a simple, greedy formulation where at each step we choose the experiment that most decreases the estimation risk per cost unit. If the cost of all experiments were the same, this would simply translate to: To take into account the different costs associated with different experiments, we consider as a baseline the mean risk when the knowledge about

*θ*

^{*}is encoded in a distribution

*π*over

*θ*: and choose the experiment that maximally reduces the expected risk per cost unit according to:

### Evaluating the risk

The expected risk of an experiment *R*(*e*;*π*) (2) involves a double integral over the parameter space and an integral over the possible observations, a challenging setting for practical evaluation. Since no analytical formula can usually be derived to compute it exactly, we now present a numerical scheme that we found efficient in practice. Since the distribution *π*_{k} over the parameter space after the *k*-th experiment can not be manipulated analytically, we resort on sampling to approximate it and estimate the integrals by Monte-Carlo simulations.

*θ*

_{1},. . .,

*θ*

_{N}distributed according to

*π*. Obtaining such a sample itself requires careful numerical considerations discussed in the next section, but we assume for the moment that it can be obtained and show how we can estimate

*R*(

*e*;

*θ*) from it for a given experiment

*e*. For that purpose, we write for 0≤

*i*,

*j*≤

*N*, as a discrete estimate of the second integral in equation (2). Since are independantly drawn from

*π*the prior terms disappear. Moreover, the denominator is a discretization of the denominator in equation (2), and the likelihood

*P*is supposed to be given. We have the standard estimate of (2) by an empirical average:

We see that the quantity *w*_{ij}(*e*) measures how similar the observation profiles are under the two alternatives *θ*_{i} and *θ*_{j}. A good experiment produces dissimilar profiles and thus low values of *w*_{ij}(*e*) when *θ*_{i} and *θ*_{j} are far appart. The resulting risk is thus reduced accordingly.

*i*and

*j*, the quantity

*w*

_{ij}(

*e*) can in turn be estimated by Monte-Carlo simulations. For each

*θ*

_{i}, a sample of the conditionnal distribution

*P*(

*o*|

*θ*

_{i};

*e*), denoted by ${o}_{u}^{i}$ (

*u*=1,· · ·,

*M*) is generated. The corresponding approximation is:

which can be interpreted as a weighted likelihood of the alternative when the observation is generated according to *θ*_{i}.

In most settings, generating a sample ${o}_{u}^{i}$ involves running a deterministic model, to be performed once for each *θ*_{i}, and degrading the output according to a noise model independently for each *u*. In our case, we used the solver proposed in [50] provided in the package [51] to simulate the ODE systems. Thus, a large number *M* can be used if necessary at minimal cost. Based on these samples, the approximated weights ${w}_{\mathit{\text{ij}}}^{M}$ can be computed from (5), from which the expected risk of experiment *e* can be derived from (4).

Note that an appealing property of this scheme is that the same sample *θ*_{i} can be used to evaluate all experiments. We now need to discuss how to obtain this sample.

### Sampling the parameter space

*π*

_{k}, the posterior distribution of parameters after the

*k*-th experiment, is challenging because the likelihood function can exhibit multi-modality, plateaus and abrupt changes as illustrated in Figure 1. Traditional sampling techniques tend to get stuck in local optima, not accounting for the diversity of high likelihood areas of the parameter space [52]. In order to speed up the convergence of sampling algorithm to high posterior density regions, we implemented a Broyden-Fletcher-Goldfarb-Shanno (BFGS) quasi-Newton optimization algorithm using finite difference approximation for gradient estimation [53] in order to identify several modes of the posterior distribution, and used these local maxima as initial values for a Metropolis Hastings sampler, combining isotropic Gaussian proposal and single parameter modifications [52]. We then use a Gaussian mixture model approximation to estimate a weighting scheme of in order to account for the initialization process when recombining samples from different modes. Annex B, given in the Additional file 1 provides computational details for this procedure.

The method described in Algorithm 1 is independant of the sampling scheme used. However, convergence of posterior samples is essential to ensure a good behaviour of the method. First, it is known that improper (or "flat") priors may lead to improper posterior distributions when the model contains non identifiabilities. Such issues should be avoided since MCMC based sampling schemes are known not to converge in these cases. Therefore, proper prior distributions are essential in this context and improper priors should not be used in order to avoid improper posteriors. The second important element for posterior samples is numerical convergence of the sampling scheme, usually guaranteed asymptotically. Fine tuning parameters that drive the scheme is necessary to ensure that one is close to convergence in a reasonable amount of time. To check appropriate sampling behaviour, we use a graphical heuristic. We draw ten different samples from the same posterior distribution, using different initialization seeds. For each model parameter, we compare the dispersion within each sample to the total dispersion obtained by concatenating the ten samples. This value should be close to one. Such an heuristic can be used to tune parameters of the sampler, such as sample size or proposal distribution. More details and numerical results are given in Additional file 1: Annex B.

### Enforcing regularity through the prior distribution

*π*

_{0}plays a crucial role at early stages of the design, as it can penalize parameters leading to dynamical behaviors that we consider unlikely. In addition to a large variance log normal prior, we considered penalizing parameters leading to non smooth time trajectories. This is done by adding to the prior log density a factor that depends on the maximum variation of time course trajectories as follows. To each parameter value

*θ*are associated trajectories,

*Y*

_{i,t}, which represent concentration values of the

*i*-th species at time

*t*. In the evaluation of the log prior density at

*θ*, we add a term proportional to

The advantage of this is twofold. First, it is reasonable to assume that variables we do not observe in a specific design vary smoothly with time. Second, this penalization allows to avoid regions of the parameter space corresponding to very stiff systems, which are poor numerical models of reality, and which simulation are computationally demanding or simply make the solver fail. This penalty term is only used in the local optimization phase not during the Monte Carlo exploration of the posterior. The main reason for adopting such a scheme is numerical stability.

The choice of prior parameters directly affects the posterior disribution, specially when a low amount of data is available. In our experiments, the prior is chosen to be log-normal with large variance. This allows to cover a wide range of potential physical values for each parameter (from 10^{-9} to 10^{9}). The weight of the regularity enforcing term has also to be determined. Since the purpose is to avoid regions corresponding to numerically unstable systems, we chose this weight to be relatively small compared to the likelihood term. In practical applications, parameters have to be chosen by considering the physical scale of quantities to be estimated. Indeed, a wrong choice of hyper parameter leads to very biased estimates at the early stages of the design.

## Results and discussion

### In silico network description

*in silico*network proposed in the DREAM7 Network Topology and Parameter Inference Challenge which we now describe [49]. The network, represented graphically in Figure 2, is composed of 9 genes and its dynamics is governed by ordinary differential equations representing kinetic laws involving 45 parameters. Promoting reactions are represented by green arrows and inhibitory reactions are depicted by red arrows. For each of the 9 genes, both protein and messenger RNA are explicitly modelled and therefore the model contained 18 continuous variables. Promoter strength controls the transcription reaction and ribosomal strength controls the protein synthesis reaction. Decay of messenger RNA and protein concentrations is controlled through degradation rates. A complete description of the underlying differential equations is found in Additional file 2: Annex A. The complete network description and implementations of integrators to simulate its dynamics are available from [49].

Various experiments can be performed on the network producing new time course trajectories in unseen experimental conditions. An experiment consists in choosing an action to perform on the system and deciding which quantity to observe. The possible actions are

do nothing (wild type);

delete a gene (remove the corresponding species);

knock down a gene (increase the messenger RNA degradation rate by ten folds);

decrease gene ribosomal activity (decrease the parameter value by 10 folds).

These actions are coupled with 38 possible observable quantities

messenger RNA concentration for all genes, at two possible time resolutions (2 possible choices);

protein concentration for a single pair of proteins, at a single resolution (resulting in 9-8/2=36 possible choices).

Purchasing data consists in selecting an action and an observable quantities. In addition, it is possible to estimate the constants (binding affinity and hill coefficient) of one of the 13 reactions in the system. Different experiments and observable quantities have different costs, the objective being to estimate unknown parameters as accurately as possible, given a fixed initial credit budget. The cost of the possible experiments are described in Table S1 in Additional file 2: Annex A.

For simulation purposes, we fix an unknown parameter value *θ*^{θ} to control the dynamics of the systems, and the risk of an estimator is defined in terms of the loss function $l(\theta ,{\theta}^{*})=\sum _{i=1}^{p}log{\left({\theta}_{i}/{\theta}_{i}^{\theta}\right)}^{2}$.

The noise model used for data corruption is heteroscedastic Gaussian: given the true signal $y\in {\mathbb{R}}^{+}$, the corrupted signal has the form *y*+*z*_{1}+*z*_{2}, where *z*_{1} and *z*_{2} are centered normal variables with standard deviation 0.1 and (0.2×*y*), respectively.

### Performance on a 3-gene subnetwork

In order to assess the performance of our sequential OED strategy in an easily reproducible setting, we first compare it to other strategies on a small network made of 3 genes. We take the same architecture as in Figure 2, only considering proteins 6, 7 and 8. The resulting model has 6 variables (the mRNA and protein concentrations of the three genes) whose behavior is governed by 9 parameters. There are 50 possible experiments to choose from for this sub network: 10 perturbations (wildtype and 3 perturbations for each gene) and 5 observables (mRNA concentrations at two different time resolutions and each protein concentration at a single resolution). We compare three ways to sequentially choose experiments in order to estimate the 9 unknown parameters: (i) our new Bayesian OED strategy, including the multimodal sampling of parameter space, (ii) the criterion proposed in equation (13) in [27] together with our posterior exploration strategy, and (iii) a random experimental design, where each experiment not done yet is chosen with equal probability. The comparison of (i) and (ii) is meant to compare our strategy with a criterion that proved to be efficient in a similar setting. The comparison to (iii) is meant to assess the benefit, if any, of OED for parameter estimation in systems biology. Since all methods involve randomness, we repeat each experiment 10 times with different pseudo-random number generator seeds.

*θ*

^{*}(unknown to the method) and the estimated mean of the posterior distribution. After

*k*rounds of experimental design, one has access to

*k*experimental datasets which define a posterior distribution

*θ*

_{k}from which a sample ${\left\{{\theta}_{i}^{k}\right\}}_{i=1}^{N}$ is drawn. The quantities displayed in Figure 3 are computed as which would be the true risk that one would have to support. We first observe that the random sampling strategy has the worst risk among the three strategies, suggesting that optimizing the experiments to be made for parameter estimation outperforms a naive random choice of experiments. Second, and more importantly, the comparison between the first and second panel suggests that, given the same parameter space exploration heuristic, our proposed strategy outperforms the criterion given in [27]. It is worth noting that this criterion is part of a strategy that performed best in DREAM6 parameter estimation challenge. Although a large part of their design procedure involved human choice which we did not implement, we reproduced the part of their procedure that could be automatised. A compagnon of Figure 3 is given in Figure S3 in Additional file 1: Annex B where we illustrate based on parameter samples how lacks of identifiability manifest themselves in a Bayesian context and how the design strategy alleviates them in terms of posterior distribution. In summary, this small experiment validates the relevance of our Bayesian OED strategy.

### Results on the full DREAM7 network

**Estimation of the expected risk**

Risk | Cost | Experiment | Observe proteins |
---|---|---|---|

771 | 1200 | Delete gene 7 | 3-8 |

1196 | 850 | Decrease gene 7 RBS activity | 3-8 |

1290 | 750 | Knock down gene 7 | 3-8 |

1957 | 850 | Decrease gene 7 RBS activity | 3-7 |

2254 | 850 | Decrease gene 7 RBS activity | 7-8 |

2554 | 1200 | Delete gene 9 | 3-8 |

2867 | 750 | Knock down gene 7 | 8-9 |

4647 | 1200 | Delete gene 7 | 8-9 |

4798 | 850 | Decrease gene 7 RBS activity | 8-9 |

4928 | 850 | Decrease gene 7 RBS activity | 5-8 |

Moreover, our criterion determines that it is better to observe protein 3 than protein 5, which makes sense since the only protein which affects protein 5 evolution is protein 8 (see Figure 2). Therefore uncertainty about protein 5 time course is tightly linked to protein 8 time course, and observing protein 3 brings more information than observing protein 5. This might not be obvious when looking at the graph in Figure 4 and could not have been foreseen by a method that considers uncertainty about each protein independently. At this point, we purchase protein 3 and 8 time courses for gene 7 deletion experiment and highlight in red in Figure 4 the profiles of proteins 3 and 8 obtained from the system.

Some parameters, like *p*_*d* *e* *g* *r* *a* *d* *a* *t* *i* *o* *n*_*r* *a* *t* *e* or *p* *r* *o*3_*s* *r* *e* *n* *g* *h* *t*, clearly concentrate around a single value while others, like *p* *r* *o*1_*s* *t* *r* *e* *n* *g* *t* *h* or *p* *r* *o*2_*s* *t* *r* *e* *n* *g* *t* *h*, have very wide ranges with multiple accumulation points. Despite this variability in parameter values, the protein time course trajectories are very similar. It appears that protein 5 time course is less concentrated than the two others. This is due to the hetroscedasticity of the noise model which was reflected in the likelihood. Indeed, the noise model is Gaussian with standard deviation increasing with the value of the corresponding concentration. Higher concentrations are harder to estimate due to larger noise standard deviation.

## Conclusion

Computational systems biology increasingly relies on the heavy use of computational resources to improve the understanding of the complexity underlying cell biology. A widespread approach in computational systems biology is to specify a dynamical model of the biological process under investigation based on biochemical knowledge, and consider that the real system follows the same dynamics for some kinetic parameter values. Recent reports suggest that this has benefits in practical applications (*e.g.*[54]). Systematic implementations of the approach requires to deal with the fact that most kinetic parameters are often unknown, raising the issue of estimating these parameters from experimental data as efficiently as possible. An obvious sanity check is to recover kinetic parameters from synthetic data where dynamic and noise model are well specified, which is already quite a challenge.

In this paper we proposed a new general Bayesian OED strategy, and illustrated its relevance on an *in silico* biological network. The method takes advantage of the Bayesian framework to sequentially choose experiments to be performed, in order to estimate these parameters subject to cost constraints. The method relies on a single numerical criterion and does not depend on a specific instance of this problem. This is in our opinion a key point in order to reproducibly be able to deal with large scale networks of size comparable to of a cell for example. Experimental results suggest that the strategy has the potential to support experimental design in systems biology.

As noted by others [11],[12],[15]-[17], the approach focusing on kinetic parameter estimation is questionable. We also give empirical evidence that very different parameter values can produce very similar dynamical behaviors, potentially leading to non-identifiability issues. Moreover, focusing on parameter estimation supposes that the dynamical model represents the true underlying chemical process. In some cases, this might simply be false. For example, hypotheses underlying the law of mass action are not satisfied in the gene transcription process. However, simplified models might still be good proxies to characterize dynamical behaviors we are interested in. The real problem of interest is often to reproduce the dynamics of a system in terms of observable quantities, and to predict the system behavior for unseen manipulations. Parameters can be treated as latent variables which impact the dynamics of the system but cannot be observed. In this framework, the Bayesian formalism described here is well suited to tackle the problem of experimental design.

The natural continuity of this work is to adapt the method to treat larger problems. This raises computational issues and requires to develop numerical methods that scale well with the size of the problem. Sampling strategies that adapt to the local geometry and to multimodal aspects of the posterior, such as described *e.g.* in [55],[56] are interesting directions to investigae in this context. The main bottlenecks are the cost of simulating large dynamical systems, and the need for large sample size in higher dimension for accurate posterior estimation. Posterior estimation in high dimensions is known to be hard and is an active subject of research. Although our Bayesian OED criterion is independent of the model investigated, it is likely that a good sampling strategy to implement may benefit from specific tuning in order to perform well on specific problem instances. As for reducing the computational burden of simulating large dynamical systems, promising research directions are parameter estimation methods that do not involve dynamical system simulation such as [57] or differential equation simulation methods that take into account both parameter uncertainty and numerical uncertainty such as the probabilistic integrator of [58].

## Availability of supporting data

An RR package that allows to reproduce our results and simulations is available at the following URL: cran.r-project.org/package=pauwels2014.

## Additional files

## Declarations

### Acknowledgements

The authors would like to thank Gautier Stoll for insightful discussions. This work was supported by the European Research Council (SMAC-ERC-280032). Most of this work was carried out during EP’s PhD at Mines ParisTech.

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.

## Authors’ Affiliations

## References

- Kitano H: Computational systems biology.
*Nature*2002, 420:206-210.View ArticleGoogle Scholar - Tyson JJ, Chen KC, Novak B: Sniffers, buzzers, toggles and blinkers: dynamics of regulatory and signaling pathways in the cell. Curr Opin Cell Biol. 2003, 15 (2): 221-231.View ArticleGoogle Scholar
- Wilkinson DJ: Stochastic modelling for quantitative description of heterogeneous biological systems. Nat Rev Genet. 2009, 10 (2): 122-133.View ArticleGoogle Scholar
- Barillot E, Calzone L, Vert J-P, Zynoviev A: Computational Systems Biology of Cancer. 2012, CRC Press, LondonGoogle Scholar
- Chen KC, Csikasz-Nagy A, Gyorffy B, Val J, Novak B, Tyson JJ: Kinetic analysis of a molecular model of the budding yeast cell cycle. Mol Biol Cell. 2000, 11 (1): 369-391.View ArticleGoogle Scholar
- Hoffmann A, Levchenko A, Scott ML, Baltimore D: The i
*k*b-nf-*k*b signaling module: temporal control and selective gene activation. Science. 2002, 298 (5596): 1241-1245.View ArticleGoogle Scholar - Lipniacki T, Paszek P, Brasier AR, Luxon B, Kimmel M: Mathematical model of nf-kappab regulatory module. J Theor Biol. 2004, 228 (2): 195-215.View ArticleGoogle Scholar
- Schoeberl B, Eichler-Jonsson C, Gilles ED, Müller G: Computational modeling of the dynamics of the map kinase cascade activated by surface and internalized egf receptors. Nat Biotechnol. 2002, 20 (4): 370-375.View ArticleGoogle Scholar
- Fussenegger M, Bailey J, Varner J: A mathematical model of caspase function in apoptosis.
*Nat Biotechnol*2000, 18:768-774.View ArticleGoogle Scholar - Jaqaman K, Danuser G: Linking data to models: data regression. Nat Rev Mol Cell Biol. 2006, 7 (11): 813-819.View ArticleGoogle Scholar
- Battogtokh D, Asch DK, Case ME, Arnold J, Schuttler H-B: An ensemble method for identifying regulatory circuits with special reference to the qa gene cluster of neurospora crassa. Proc Natl Acad Sci U S A. 2002, 99 (26): 16904-16909.View ArticleGoogle Scholar
- Brown KS, Sethna JP: Statistical mechanical approaches to models with many poorly known parameters. Phys Rev E2003, 68:021904.Google Scholar
- Brown KS, Hill CC, Calero GA, Myers CR, Lee KH, Sethna JP, Cerione RA: The statistical mechanics of complex signaling networks: nerve growth factor signaling. Phys Biol. 2004, 1 (3-4): 184-195.View ArticleGoogle Scholar
- Waterfall JJ, Casey FP, Gutenkunst RN, Brown KS, Myers CR, Brouwer PW, Elser V, Sethna JP: Sloppy-model universality class and the Vandermonde matrix. Phys Rev Lett. 2006, 97 (15): 150601-View ArticleGoogle Scholar
- Achard P, De Schutter E: Complex parameter landscape for a complex neuron model. PLoS Comput Biol. 2006, 2 (7): 94-View ArticleGoogle Scholar
- Gutenkunst RN, Waterfall JJ, Casey FP, Brown KS, Myers CR, Sethna JP: Universally sloppy parameter sensitivities in systems biology models. PLoS Comput Biol. 2007, 3 (10): 1871-1878.View ArticleGoogle Scholar
- Piazza M, Feng X-J, Rabinowitz JD, Rabitz H: Diverse metabolic model parameters generate similar methionine cycle dynamics. J Theor Biol. 2008, 251 (4): 628-639.View ArticleGoogle Scholar
- Bellman R, Åström KJ: On structural identifiability. Math Biosci. 1970, 7 (3): 329-339.View ArticleGoogle Scholar
- Cobelli C, DiStefano JJ: Parameter and structural identifiability concepts and ambiguities: a critical review and analysis. Am J Physiol Regul Integr Comp Physiol. 1980, 239 (1): R7-R24.View ArticleGoogle Scholar
- Villaverde AF, Banga JR: Reverse engineering and identification in systems biology: strategies, perspectives and challenges.
*J R Soc Interface*2014, 11(91).View ArticleGoogle Scholar - Mendes P, Kell D: Non-linear optimization of biochemical pathways: applications to metabolic engineering and parameter estimation. Bioinformatics. 1998, 14 (10): 869-883.View ArticleGoogle Scholar
- Moles CG, Mendes P, Banga JR: Parameter estimation in biochemical pathways: a comparison of global optimization methods. Genome Res. 2003, 13 (11): 2467-2474.View ArticleGoogle Scholar
- Fernández Slezak D, Suárez C, Cecchi GA, Marshall G, Stolovitzky G: When the optimal is not the best: parameter estimation in complex biological models. PLoS One. 2010, 5 (10): 13283-View ArticleGoogle Scholar
- Kreutz C, Timmer J: Systems biology: experimental design. FEBS J. 2009, 276 (4): 923-942.View ArticleGoogle Scholar
- Cho K-H, Shin S-Y, Kolch W, Wolkenhauer O: Experimental design in systems biology, based on parameter sensitivity analysis using a monte carlo method: a case study for the TNF
*α*-mediated NF-*k*B signal transduction pathway. Simulation. 2003, 79 (12): 726-739.View ArticleGoogle Scholar - Feng X-J, Rabitz H: Optimal identification of biochemical reaction networks. Biophys J. 2004, 86 (3): 1270-1281.View ArticleGoogle Scholar
- Steiert B, Raue A, Timmer J, Kreutz C: Experimental design for parameter estimation of gene regulatory networks. PLoS One. 2012, 7 (7): 40052-View ArticleGoogle Scholar
- Chaloner K, Verdinelli I: Bayesian experimental design: a review. Stat Sci. 1995, 10 (3): 273-304.View ArticleGoogle Scholar
- Lindley DV: On a measure of the information provided by an experiment. Ann Math Stat. 1956, 27 (4): 986-1005.View ArticleGoogle Scholar
- Bandara S, Schlöder JP, Eils R, Bock HG, Meyer T: Optimal experimental design for parameter estimation of a cell signaling model. PLoS Comput Biol. 2009, 5 (11): 1000558-View ArticleGoogle Scholar
- Transtrum MK, Qiu P: Optimal experiment selection for parameter estimation in biological differential equation models.
*BMC Bioinformatics*2012, 13:181.View ArticleGoogle Scholar - Faller D, KlingMüller U, Timmer J: Simulation methods for optimal experimental design in systems biology.
*Simulation*2003, 79:717-725.View ArticleGoogle Scholar - Kutalik Z, Cho K-H, Wolkenhauer O: Optimal sampling time selection for parameter estimation in dynamic pathway modeling. Biosystems. 2004, 75 (1-3): 43-55.View ArticleGoogle Scholar
- Gadkar KG, Gunawan R, Doyle FJ 3rd: Iterative approach to model identification of biological networks.
*BMC Bioinformatics*2005, 6:155.View ArticleGoogle Scholar - Balsa-Canto E, Alonso AA, Banga JR: Computational procedures for optimal experimental design in biological systems. IET Syst Biol. 2008, 2 (4): 163-172.View ArticleGoogle Scholar
- Hagen DR, White JK, Tidor B: Convergence in parameters and predictions using computational experimental design. Interface Focus. 2013, 3 (4).View ArticleGoogle Scholar
- Kramer A, Radde N: Towards experimental design using a bayesian framework for parameter identification in dynamic intracellular network models. Procedia Comput Sci. 2010, 1 (1): 1645-1653.View ArticleGoogle Scholar
- Liepe J, Filippi S, Komorowski M, Stumpf MPH: Maximizing the information content of experiments in systems biology. PLoS Comput Biol. 2013, 9 (1): 1002888-View ArticleGoogle Scholar
- Casey FP, Baird D, Feng Q, Gutenkunst RN, Waterfall JJ, Myers CR, Brown KS, Cerione RA, Sethna JP: Optimal experimental design in an epidermal growth factor receptor signalling and down-regulation model. IET Syst Biol. 2007, 1 (3): 190-202.View ArticleGoogle Scholar
- Weber P, Kramer A, Dingler C, Radde N: Trajectory-oriented bayesian experiment design versus Fisher A-optimal design: an in depth comparison study. Bioinformatics. 2012, 28 (18): 535-541.View ArticleGoogle Scholar
- Vanlier J, Tiemann CA, Hilbers PAJ: A bayesian approach to targeted experiment design. Bioinformatics. 2012, 28 (8): 1136-1142.View ArticleGoogle Scholar
- Kremling A, Fischer S, Gadkar K, Doyle FJ, Sauter T, Bullinger E, Allgöwer F, Gilles ED: A benchmark for methods in reverse engineering and model discrimination: problem formulation and solutions. Genome Res. 2004, 14 (9): 1773-1785.View ArticleGoogle Scholar
- Apgar JF, Toettcher JE, Endy D, White FM, Tidor B: Stimulus design for model selection and validation in cell signaling. PLoS Comput Biol. 2008, 4 (2): e30-View ArticleGoogle Scholar
- Busetto AG, Hauser A, Krummenacher G, Sunnåker M, Dimopoulos S, Ong CS, Stelling J, Buhmann JM: Near-optimal experimental design for model selection in systems biology. Bioinformatics. 2013, 29 (20): 2625-2632.View ArticleGoogle Scholar
- Skanda D, Lebiedz D: An optimal experimental design approach to model discrimination in dynamic biochemical systems. Bioinformatics. 2010, 26 (7): 939-945.View ArticleGoogle Scholar
- Roy N, McCallum A: Toward optimal active learning through sampling estimation of error reduction. Proceedings of the Eighteenth International Conference on Machine Learning. 2001, Morgan Kaufmann Publishers Inc, San Francisco, 441-448.Google Scholar
- Dialogue for Reverse Engineering Assessments and Methods (DREAM) website. []. Accessed 2013-12-28., [http://www.the-dream-project.org]
- DREAM6 Estimation of Model Parameters Challenge website. [] Accessed 2013-12-28., [http://www.the-dream-project.org/challenges/dream6-estimation-model-parameters-challenge]
- DREAM7 Estimation of Model Parameters Challenge website. []. Accessed 2013-12-28., [http://www.the-dream-project.org/challenges/network-topology-and-parameter-inference-challenge]
- Bogacki P, Shampine LF: A 3(2) pair of Runge - Kutta formulas.
*Appl Math Lett*1989, 2:321-325.View ArticleGoogle Scholar - Soetaert K, Petzoldt T, Setzer RW: Solving differential equations in R: package deSolve. J Stat Softw. 2010, 33 (9): 1-25.View ArticleGoogle Scholar
- Andrieu C, De Freitas N, Doucet A, Jordan MI: An introduction to MCMC for machine learning. Mach Learn. 2003, 50 (1-2): 5-43.View ArticleGoogle Scholar
- Nocedal J, Wright S: Numerical Optimization. 2006, Springer, New YorkGoogle Scholar
- Karr JR, Sanghvi JC, Macklin DN, Gutschow MV, Jacobs JM, Bolival B, Assad-Garcia N, Glass JI, Covert MW: A whole-cell computational model predicts phenotype from genotype. Cell. 2012, 150 (2): 389-401.View ArticleGoogle Scholar
- Girolami M, Calderhead B: Riemann manifold langevin and hamiltonian monte carlo methods. J Roy Stat Soc B Stat Meth. 2011, 73 (2): 123-214.View ArticleGoogle Scholar
- Calderhead B, Girolami M: Estimating Bayes factors via thermodynamic integration and population MCMC. Comput Stat Data Anal. 2009, 53 (12): 4028-4045.View ArticleGoogle Scholar
- Calderhead B, Girolami M, Lawrence ND: Accelerating Bayesian inference over nonlinear differential equations with Gaussian processes. In Adv. Neural. Inform. Process Syst: MIT Press; 2008:217-224.Google Scholar
- Chkrebtii O, Campbell DA, Girolami MA, Calderhead B: Bayesian uncertainty quantification for differential equations 2013. Technical Report 1306.2365, arXiv.Google Scholar