Abstract
Background
Model development is a key task in systems biology, which typically starts from an initial model candidate and, involving an iterative cycle of hypothesesdriven model modifications, leads to new experimentation and subsequent model identification steps. The final product of this cycle is a satisfactory refined model of the biological phenomena under study. During such iterative model development, researchers frequently propose a set of model candidates from which the best alternative must be selected. Here we consider this problem of model selection and formulate it as a simultaneous model selection and parameter identification problem. More precisely, we consider a general mixedinteger nonlinear programming (MINLP) formulation for model selection and identification, with emphasis on dynamic models consisting of sets of either ODEs (ordinary differential equations) or DAEs (differential algebraic equations).
Results
We solved the MINLP formulation for model selection and identification using an algorithm based on Scatter Search (SS). We illustrate the capabilities and efficiency of the proposed strategy with a case study considering the KdpD/KdpE system regulating potassium homeostasis in Escherichia coli. The proposed approach resulted in a final model that presents a better fit to the in silico generated experimental data.
Conclusions
The presented MINLPbased optimization approach for nestedmodel selection and identification is a powerful methodology for model development in systems biology. This strategy can be used to perform model selection and parameter estimation in one single step, thus greatly reducing the number of experiments and computations of traditional modeling approaches.
Keywords:
Dynamic modelling; Parameter estimation; Model discrimination; Global optimizationBackground
Model development is a key task in systems biology, and involves different steps, such as model calibration, experimental design and model refinement which usually take place in an iterative way (see reviews in [15]). The process of building a model of a biological system typically starts by generating an initial model candidate, or by taking one from the preexisting knowledge, and then involves an iterative cycle of hypothesesdriven model modifications, new experimentation and subsequent model identification steps, finally leading to a satisfactory refined model [6,7]. Thus, model selection, experimentation and model refinement can be considered the basic elements of systems biology [8].
A number of researches have proposed different iterative schemes for model development involving the steps of parameter estimation, identifiability analysis, and optimal experimental design [912]. The related topic of optimal experimental design for parameter estimation [3,13] and for model discrimination [1416] is receiving increased attention in recent years. Lillacci and Khammash [17] introduced a new method for parameter estimation based on Kalman filtering that can also be used to discriminate among alternate models of the same biological process.
Verheijen [18] presented an overview of model selection practices, highlighting the main criteria for choosing out of a large set of models: level of rigor, accuracy with respect to data, adequacy of the model, and its flexibility and computational complexity. He also identifies developments in optimizationbased approaches [19,20] as very promising, but recognizing its limitations due to numerical and algorithmic challenges. Although research along this line has continued [21,22], it still remains as a challenging numerical problem.
Here, we present a method to simultaneously select a model and calibrate it in a single step. This contribution is based on the following four key ideas: (i) frequently, iterative model development cycles can be considered in a more compact way if sets of hypotheses can be grouped together and formulated as a parameterized set of models, from which the best alternative must be selected; (ii) we consider the problem of model selection formulating it as a simultaneous model selection and parameter identification problem; (iii) further, in order to make the selection decision in a systematic way, we formulate it as an optimization problem [23] acting on the parameterized set of models; (iv) the optimization problem, which belongs to the class of mixedinteger nonlinear programming (MINLP) problems, is solved by recently developed algorithms based on metaheuristics.
The paper is organized as follows: First, we describe the framework used for model selection and identification, based on the nested models paradigm. Then we state the corresponding optimization problem using a formulation based on mixedinteger nonlinear programming subject to differential and algebraic constraints. In the following sections, we describe the application of this methodology to a case study considering a dynamic model of the KdpD/KdpE system of Escherichia coli. Finally, we provide a discussion of the results and summarize the main conclusions of the study.
Methods
To the best of our knowledge, this is the first time that an MINLP framework for simultaneous model selection and identification is presented. The key issues for the successful design of this combined approach are: (i) selection of the integer and binary parameters that accurately describe all the possible nested models; (ii) reliable and accurate parameter estimation; (iii) use of efficient algorithms with reduced computational cost; (iv) assessment of model identifiability.
Nestedmodels: selection and identification
In this contribution we consider dynamic models which are nested, i.e. there is a hierarchy such that each model is a particular subcase of an extended parameterized model, which can be considered as a superstructure. These nestedmodels arise from existing models plus new hypotheses such as e.g. the existence of new positive or negative feedback loops. In a loose sense, we can say that Model B is nested within Model A if Model B is a special case of Model A. Figure 1 depicts an example where Model A is a superstructure containing three feedback loops, Model B contains only two of them, and Model C and Model D one each. Therefore, we can say that Model C and Model D are nested within Model B that is in turn nested within Model A. In this framework, the model selection problem reads as follows: given a set of nested models, find the one which gives the best fit to the available experimental data, meeting possible additional constraints on model rigor, accuracy and adequacy.
Figure 1. Example of nested models. Example of nested models where Model C and Model D are nested within Model B that is in turn nested within Model A, which can be considered as a superstructure.
Several functions have been suggested as metrics to asses the goodness of models fit. The maximumlikelihood estimation (MLE), introduced by Fisher in 1912 [24], consists of maximizing the socalled likelihood function which is the probability density of a model for the occurrence of the measurements for given parameters. Assuming the probability of the measurements to be uncorrelated normal distributions, the loglikelihood function (J_{ml}, which yields to the same estimate than the likelihood function but is easier to handle in practice) is given as:
where p: set of parameters to be estimated NE: number of experiments NV_{i}: number of measured variables in experiment iNM_{ij}: number of measurements of the variable j in experiment i: variance of the measurement k of the variable j in experiment i: measurement k of the variable j in experiment iy_{ijk}: model predicted value k of the variable j in experiment i
The Akaike information criterion (AIC) [25] for a given model is a function of the maximized loglikelihood (Eq. 1) and the number of estimated parameters (N_{p}):
Many functions have been suggested to compare two or more models. Despite the fact that several authors have questioned whether AIC is biased towards complex model structures [26], this function has been widely used as a metric to select the most adequate among hierarchical or nested models, since it encompasses model performance and model complexity [27]. It allows establishing a ranking of the models where the most adequate is the one with the smallest value of the criterion [25]. However, most of the available techniques for model selection based on the AIC, require the previous fitting of all the candidate models. Therefore, when the number of possible models is large or the simulation of the models is computationally expensive, these methodologies can become practically impossible [27].
In order to reduce the computational burden, in this work we used the AIC as cost function for finding the optimal set of parameters formed by a subset of binary parameters defining the model structure (e.g. presence or absence of a certain feedback loop) and another subset of integer and real parameters characterizing the model dynamics.
Formulation of the MINLP
The formulation of the simultaneous model selection and identification problem is stated as an MINLP optimization problem. In mathematical terms, the general MINLP is defined as finding the vector of n_{r} continuous variables p and the vector of n_{i} integer variables q which minimize a scalar function J
subject to:
•System dynamics in the form of DAEs, with state variables y
• Additional requirements in the form of equality and/or inequality constraints
• Upper and lower bounds (superscripts U and L respectively) on decision variables
This set of constraints defines the feasible space S, while the feasible objective space o is the set J (p, q)  (p, q) ∈ S.
Solution of the MINLP problem
The problem of parameter estimation is a crucial step in the development of models of biological systems [17]. Due to the nonlinear and dynamic nature of these systems and the usually sparse and noisy nature of the experimental data available, the resulting parameter estimation problem is frequently illconditioned and multimodal. Therefore, traditional local methods may fail and there is a need to use more sophisticated techniques as global optimization (GO) to successfully fit the model. In our group, different efforts have been devoted to design metaheuristics for efficient and robust parameter estimation in biological models [28,29].
In the case of the MINLP problem at hand, the need to use GO methods is increased by the additional nonlinearities coming from the binary and integer variables and the augmented size of the problem. ACOmi (Ant Colony Optization for mixedinteger problems) [30] and fSSm [31] are robust extensions of metaheuristics (Ant Colony optimization and Scatter Search, respectively) that enable the handling of mixedinteger variable search domains; therefore, they are ideal for solving the MINLP problem introduced in this work.
ACOmi
ACOmi (Ant Colony Optization for mixed integer problems) is an extension of the ant colony optimization metaheuristic that enables to handle mixed integer variable search domains. In this method a new penalization strategy was introduced in order to extend the ACO framework to face constrained optimization problems. A detailed explanation of the hybrid implementation ACOmi, incorporating the extended ACO framework and a robust oracle penalty method, is given by [30].
fSSm
fSSm is a new evolutionary method for complexprocess optimization. It is partially based on the principles of the scatter search methodology, but making use of innovative strategies to be more effective in the context of complexprocess optimization using a small number of tuning parameters. In particular, this method uses a new combination method based on path relinking, which considers a broader area around the population members than previous combination methods. It also uses a populationupdate method which improves the balance between intensification and diversification, as described in [31]. Although fSSm is mainly designed for continuous problems, a rounding operator has been implemented for handling integer and binary variables.
MISQP
MISQP is a modified sequential quadratic programming method for solving MINLP problems. MISQP assumes that the model functions are smooth in the sense that an increment of an integer variable by one leads to a small change of function values but it does not require that the mixedinteger program is convex or relaxable (i.e. function values are evaluated only at integer points). Thus, this algorithm is expected to be more efficient than any other method that starts from a solution of the relaxed problem [32].
Moreover, in contrast to other local optimization solvers, the evaluation of the exact gradient is not always required for a proper convergence of SQP methods. The evaluation of the performance of the method used in this study, MISQP, on a test set of 186 academic test examples published in [33] showed that analytical partial derivatives subject to the integer variables do not improve robustness or efficiency, and the number of iterations is enlarged [34]. Diehl et al. [35] presented another SQP algorithm which does not require the evaluation of the exact constraint Jacobian matrix.
Model identifiability, sensitivity and correlation analysis
Several powerful approaches have been recently developed to asses the identifiability of model parameters in systems biology models, namely, those exploiting the profile likelihood [36], Bayesian approaches using Markov Chain Monte Carlo (MCMC) [37], coreprediction analysis based on spreadsearching optimization algorithms [38], and pseudoglobal identifiability analysis using a Bayesian framework [39]. All these approaches aim to assess the quality of the estimated parameters by checking the practical identifiability of the model. This study aims to answer the following question: given a model structure, could the parameters of the model be uniquely identified from the available (limited and noisy) data [40,41]? The classical definition of identifiability requires the calculation of the rank of the Fisher Information Matrix (FIM) given by:
If the FIM is full rank the parameters are considered identifiable [42]. The parameters of a model are not identifiable when an infinite number of parameter sets fitting the experimental data with the same accuracy exist and the confidence intervals are infinite. Moreover, it is also interesting to study the parameter sensitivity and the correlation among parameters.
Sensitivity analysis
Sensitivity analysis measures the importance of the parameters with respect to the influence of their variations on model predictions. The most widely used method is the local sensitivity analysis which consists of calculating the partial derivatives of the model state variables to the model parameters evaluated at the normal operating point where all the parameters have their nominal value. This method gives a linear approximation of how much a variable changes due to a given change in a parameter. The use of relative measures, where the sensitivity function is normalized by the value of the parameter and the state, is recommended to make these measures comparable for parameters and states of different order of magnitude:
To lump the sensitivity of a parameter with respect to different states at different time points and different experiments, Brun et al. [43] recommend the use of the measure as a ranking criterion in the context of weighted least squares estimation:
A high value of the sensitivity index means that a change in parameter p_{θ} has an important effect on the model outcome making the parameter p_{θ} identifiable with the data available if all the other parameters are fixed. Unless a parameter is unidentifiable due to total correlation with another parameter, the higher the sensitivity the more accurately the parameter can be identified and, on the other hand, a parameter with a small sensitivity will be very difficult to identify since any change on its value will have almost no influence on the model dynamics. Therefore, values of critical parameters should be thoroughly identified while parameters having a little effect can be simplified or even ignored [44].
The main drawback of local sensitivity indices is that they are computed at the nominal values used for the parameters and the behavior of the response function is described only locally in the parameter space. Moreover, preliminary experiments and parameter estimation tests should be carried out in order to obtain a first guess for the parameter values and an iterative scheme involving both steps is required to study the model sensitivity. In addition, these methods are linear; thus, they are not sufficient for dealing with complex models, especially those in which there are nonlinear interactions between parameters.
In contrast, global sensitivity analysis (GSA) methods evaluate the effect of a parameter while all other parameters are varied simultaneously, accounting for interactions between parameters without depending on the stipulation of a nominal point. In this work, a pseudoglobal sensitivity analysis as described in [39] was used. For that, 2^{10} sampling points were generated in the parameter space by means of Sobol’ lowdiscrepancy sequences that guarantee an uniform distribution avoiding clustering and empty areas [45]. Then, Bayesian Derivative based Global Sensitivity Measures [39] were computed using SensSB toolbox [46] and their metrics were used to establish an importance ranking for the parameters.
Correlation analysis
For models with several parameters, high parameter sensitivity, although necessary, does not ensure the identifiability of the model. In addition, the sensitivity functions of the parameters have to be linearly independent so a change in one parameter can not be compensated by changes in the other parameters. When the parameters are identifiable, we can study the degree of linear dependence among the sensitivity functions by means of a correlation analysis based on the Fisher Information Matrix (FIM) as described in [28]. This method requires the inversion of the FIM so it can only be applied when the parameters are identifiable and the FIM full rank. However, correlations among parameters close to +1 or 1 mean that the parameters are difficult to identify and the confidence intervals very large (although not infinite as in the case of nonidentifiable parameters). In that case, the model should be reduced by fixing some of the parameters to their nominal values or by properly grouping some sets.
In order to eliminate the dependence on a nominal point, a pseudoglobal identifiability analysis as described in [39,46] was used. A correlation matrix was computed for each set of parameters used for the sensitivity analysis and a weighted average was obtained based on the maximum likelihood of each of the parameter sets. In this way, the influence of parameters notlikely to fit the data is minimized while the dependence on a nominal point is avoided.
Dynamic model of the KdpD/KdpE system of Escherichia coli
Bacteria constantly monitor their environment and adapt immediately to changing conditions to survive. There are several adaptation mechanisms notably special signal transduction systems. A sensor kinase (KdpD) and a response regulator (KdpE) regulate the expression of the KdpFABC operon encoding the high affinity K^{+} uptake system of Escherichia coli. In [47], a mathematical model for the KdpD/KdpE twocomponent system was developed and calibrated with the available in vitro and in vivo experimental data. The model can be separated into two submodels connected in a unidirectional way. The parameters corresponding to the signal transduction part were estimated from in vitro data while the parameters of the gene expression functional unit were identified from mRNA and KdpFABC concentrations determined in vivo using various extracellular stimulus, .
The dynamic model presented by Kremling and coworkers [47] (Model I) consists of 8 DAEs (6 ODEs and 2 AEs) and has 21 rate constants that were estimated from experimental data or fixed to literature values (Eq: 1320):
where mRNA represents the concentration of messenger RNA, KdpD_{0} the total concentration of the sensor kinase, KdpD^{P} the concentration of the phosphorylated KdpD, KdpE_{0} the total concentration of the response regulator, KdpE^{P} the concentration of the phosphorylated KdpE, KdpFABC the concentration of the protein complex and the concentration of the unbound response regulator.
Results and discussion
Computations were carried out using Matlab™ (Version 7.9.0, R2009b; The Mathworks, MA, USA) running on a dual INTEL®;XEON®;2.13 GHz CPU desktop under Windows 7. All the scripts needed to reproduce the results presented in the following are provided in the Additional file 1.
Additional file 1. K_homeostasis_MINLP. K_homeostasis_MINLP.zip contains all the scripts needed to reproduce the results presented in this manuscript using the toolbox SensSB [46]. SensSB toolbox and related documentation can be downloaded from the following web site: http://www.iim.csic.es/~gingproc/SensSB.html webcite
Format: ZIP Size: 13KB Download file
Identifiability analysis of the original model
Simulation studies showed that the concentration of KdpD^{P} was very low and almost in steady state. Therefore, we removed equation (15) from the model and consequently we fixed the concentration of KdpD^{P} to its initial value and parameters k_{1} and k_{1} were eliminated.
A local identifiability analysis of the original model with the best set of parameters was performed. As already suggested by Kremling et al[47], the full set of parameters is not uniquely identifiable with the available in vivo data; thus, some of the parameters were fixed to literature values or to values obtained from in vitro data.
The importance ranking of the parameters estimated from the in vivo data revealed that parameter k_{2} has the lowest sensitivity index (it accounts for the 0.002% of the total model sensitivity) while the two most relevant parameters, k_{tr} and DNA_{0} represent 75% of the total sensitivity. Hence, k_{2} was fixed to its nominal value and special attention was payed to the set of most influential parameters. The parameter μ presented high correlations with other parameters so it was fixed to its experimental value μ = 0.5 l/h. Other pairs of parameters showed also high correlation among them but they could still be identified.
These modifications led to a second formulation of the model (Model II) with 7 DAEs and 17 parameters that fits the experimental data equally well.
New hypotheses for the KdpD/KdpE two component system
Based on unpublished data of a mutant strain with impaired K^{+} uptake properties, the existence of two new feedback loops concerning the regulation of translation and the regulation of proteolysis could be derived from the observations (see Figure 2). Moreover, a different expression for the existing stimulus counteraction feedback loop was postulated. The selection between competing models is done by using three binary parameters: bin_{1} and bin_{2}, which take values 0 or 1 depending on the absence or presence of feedback loops, and bin_{3}, which determines the function representing the stimulus counteraction. The feedback loops were modeled using Sshaped functions similar to the Hill equation where the Hill coefficient (n) represents the number of ligand molecules that are required to bind to a receptor to produce a functional effect. Typically, these functions are moderately steep; hence, the different exponents were allowed to take integer values between 0 and 3 [4850]. Therefore, equation (18) was modified according to:
Figure 2. Scheme of the reaction mechanism for theKdpD/KdpE two component system.KdpD/KdpE model with the feedback loops: regulation of translation (red), regulation of proteolysis (green), and a modified stimulus counteraction (purple).
where
• Regulation of translation (R_{1})
• Regulation of proteolysis (R_{2})
• Stimulus counteraction (R_{3})
In order to account for the different K^{+} uptake properties of the two strains, the model is simulated twice considering different expressions for k_{3f} (existence and lack of feedback loop for the wild and mutant strains, respectively). In the case of the mutant strain, k_{3f} is given by:
While two different expressions were hypothesized for the wild strain:
Note that the dynamics of the mutant strain do not depend on parameters bin_{3}, n_{4}, n_{5}, k_{hy}, and k_{hy}.
These possible new loops were integrated with the Model II considering a superstructure, which has a total of 25 degrees of freedom: 17 reals, 5 integers and 3 binaries, resulting in 1700 nested models. In a traditional setting, each of this model should be identified (calibrated) from experimental data by solving the corresponding minimization problem, that is, a nonlinearprogramming problem subject to differentialalgebraic constraints (NLPDAEs), prior model selection. Since the solution of each problem is quite computationally expensive, this is obviously not tractable. As an alternative, we applied the strategy outlined above and performed a simultaneous selection and identification via MINLP optimization.
MINLP solutions
In order to illustrate the capabilities of the methodology presented in this work, we generated in silico data via simulation using a nominal set for parameters and a certain model structure. Starting from a known structure and known parameter values allows us to asses the performance of the MINLP formulation by checking if it is able to recover the original model.
Therefore, we generated in silico data for a wild and a mutant strain, defective in the uptake of K^{+} via the KdpFABC system, considering the parameters shown in Table 1 as nominal parameters. In this model, the regulation of translation and the regulation of proteolysis are active. Moreover, the stimulus counteractions presents linear dynamics with a kinetic order of three for KdpFABC. For each strain, five different values of K^{+} concentration were considered (1, 10, 50, 100 and 500 mM) and to create a more realistic scenario we considered that we can only measure mRNA and KdpFABC with an heteroscedastic error of 5%.
Table 1. Nominal value for the parameters and MINLP best solution
Subsequently, we solved the MINLP problem using fSSm and ACOmi as optimization methods and the AIC as cost function. Both, fSSm and ACOmi, could solve the problem of simultaneous model selection and parameter identification in an acceptable computation time, while fSSm showed a better overall performance (data not shown). The convergence curves for ten runs of fSSm (AIC value versus computational time) are depicted in Figure 3 showing a fast convergence rate particularly at the initial stage of the optimization. The convergence curve of the run which achieved the best result is highlighted in red.
Figure 3. Convergence curve of fSSm for the MINLP problem. Convergence curve of fSSm (AIC value versus computational time, in seconds, using a PC/INTEL XEON CPU, 2.13 GHz).
As can be seen in Table 1, fSSm was able to recover the model structure used to generate the in silico data (the same loops are active) and the optimal parameters differ from the nominal values less than 20%. Figures 4, 5, 6, 7 show a good agreement between the new model (Model III) and the in silico data. The mean of the residuals is 4.4%, very close to the experimental error. Although not every realization reached the same value of the cost function, the regulation of translation and regulation of proteolysis are active for the 10 solutions (bin_{1} = bin_{2} = 1). For some of the realizations, bin_{3} is equal to 1 indicating that the two different expressions for the wild strain are difficult to distinguish with the available data. Moreover, the proposed method allows formulating biological hypotheses in a much more compact way and this example although using in silico data shows that also complex systems can be handled.
Figure 4. KdpFABC dataversus model prediction for the wild strain. Predicted (solid lines) and experimental in silico (markers) behavior for the protein KdpFABC for the wild strain at different concentrations of K^{+} using Model III with the best parameter set.
Figure 5. KdpFABC dataversus model prediction for the mutant strain. Predicted (solid lines) and experimental in silico (markers) behavior for the protein KdpFABC for the mutant strain at different concentrations of K^{+} using Model III with the best parameter set.
Figure 6. mRNA dataversus model prediction for the wild strain. Predicted (solid lines) and experimental in silico (markers) behavior for the mRNA for the wild strain at different concentrations of K^{+} using Model III with the best parameter set.
Figure 7. mRNA dataversus model prediction for the mutant strain. Predicted (solid lines) and experimental in silico (markers) behavior for the mRNA for the mutant strain at different concentrations of K^{+} using Model III with the best parameter set.
Checking the multimodality of the MINLP
In order to assess the multimodality of the MINLP problem, a traditional multistart approach (i.e. choosing a large set of random initial points from inside the parameter bounds, and performing local searchers from each one) using MISQP was performed. The histogram in Figure 8 represents the frequency of the solutions for a multistart of 50 runs showing that all the solutions obtained are local solutions very far from the global optimum (three orders of magnitude higher than the global optimum).
Figure 8. Multistart of the local Solver MISQP on the MINLP problem. Histogram of a multistart of 50 runs using the local solver MISQP.
Identifiability analysis of the resulting model
The FIM computed for the best set of parameters obtained by the global solver is full rank; therefore, we can assert that the parameters are locally identifiable.
Figure 9 represents the sensitivity of the two measured variables, mRNA and protein complex KdpFABC, with respect to the 17 real parameters of Model III. The pseudoglobal sensitivity analysis revealed that the model dynamics are very sensitive to parameters DNA_{0} and k_{tr}, in agreement with the results of the local sensitivity analysis for Model II. Moreover, the concentration of both mRNA and KdpFABC showed high sensitivity to parameters K and k_{z}. Since the stimulus counteraction appears to be linear (bin_{3} = 0), parameter k_{hy} is not playing a role in the model, therefore its sensitivity index is zero. For this reason, we have excluded it from the correlation matrix computation represented in Figure 10.
Figure 9. Pseudoglobal sensitivity for Model III. Pseudoglobal sensitivity of Model III with respect to the two measured states (protein KdpFABC and mRNA).
Figure 10. Correlation matrix for Model III. Correlation matrix for Model III with the best parameter set.
The correlation matrix shows several pairs of parameters highly correlated what explains the difficulties encountered by the local method in finding the global solution. Despite the identifiability difficulties of this problem, which make most of the solvers fail when trying to solve it, the residuals for the solution obtained by fSSm are small indicating a precise parameter estimation, e.g., the estimated values are close to the experimental data.
Methodology strengths and limitations
The goal of this study is not to solve the general problem of model inference but a dense subcase of it, i.e., the discrimination among a subset of nested competing models and simultaneous estimation of the model parameters. In other words, we consider the very frequent situation in systems biology where a first model is available based on previous knowledge but new experimental information allow to formulate different hypotheses to refine it. Thus, instead of solving a general inference problem (i.e. find the model structure plus the parameters from a set of data), we consider a subproblem which is smaller (although still very challenging) and dense (so sparsity is not an issue), and which, therefore, does not suffer from many of the illposedness and illconditioning maladies of the general inference problem [51,52]. Despite the usefulness and broad applicability of the presented approach for model development in systems biology, there are three major limitations worth mentioning here:
• Scaling up to largescale models: the corresponding MINLPs might become rather large and therefore the computational effort needed for their solution might become prohibitive.
• Nonuniqueness of biochemical reaction mechanisms: it is known that biochemical reaction networks with different structure and/or parametrization may produce the same dynamic response describing the timeevolution of species concentrations (see the recent discussion and results in [52]) difficulting the solution of the associated MINLPs. Fortunately, and following our comments above, this work considers a dense subcase of the general inference problem, so these issues are not as important. In fact, our approach can be interpreted as the application of extra constraints that can be used to reduce uniqueness and identifiability issues.
• Model identification/selection metric: the use of more advanced metrics for model selection such as the likelihood ratio or the Ftest can not be used in this approach since they rely on pairwise comparisons. However, in the presented methodology the AIC could be replaced by any other metric for model selection as long as it can establish a ranking for the set of competing models encompassing model performance and model complexity.
Conclusions
Here we have considered the modelbuilding cycle where an initial model, based on existing data and a priori knowledge of the system, is subsequently refined by hypothesesdriven iterations (see Figure 11).
Figure 11. Model selection scheme. Model selection scheme: Local sensitivity analysis and identifiability analysis allowed to reduce Model I leading to Model II. Subsequently, new hypotheses and model selection and identification via MINLP were conducted to formulate Model III. The identifiability of Model III was assessed by means of a pseudoglobal sensitivity approach and correlation analysis indicating that no further modifications were required.
We consider this cycle in a more compact way grouping sets of hypotheses together and formulating a parameterized set of nested models, from which the best alternative must be selected. We then formulate the decision problem as an MINLPbased optimization for simultaneous model selection and parameter identification.
This procedure has been applied to a case study considering potassium homeostasis in bacteria, arriving to the following conclusions: (i) the presented MINLPbased approach for nestedmodel selection is a powerful methodology for model selection and identification in systems biology; and (ii) for the case study considered, it has resulted in a model that presents a better fit to the in silico generated experimental data.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
MRF and MR implemented the model options and performed the analysis of the novel methodology, carrying out the necessary computations. MRF performed the analysis of the optimization results, the identifiability computations and assisted in the coordination of the study. JRB and AK conceived of the study and participated in its design and coordination. MR, JRB and MRF drafted the manuscript. All authors read and approved the final manuscript.
Acknowledgements
Authors MRF and JRB acknowledge financial support from the EU ERASysBio programme and the Spanish MICINN and MINECO (SYSMO grant KOSMOBAC, ref. GEN200627747E/SYS and project MultiScales ref. DPI201128112C0403, both with partial support from the European Regional Development Fund, ERDF). MR was supported by the Max Planck society and the European Erasmus project. AK was funded in part by the BMBF through the EraNet initiative SysMO. We acknowledge support of the publication fee by the CSIC Open Access Publication Support Initiative through its Unit of Information Resources for Research (URICI).
References

van Riel NAW: Dynamic modelling and analysis of biochemical networks: mechanismbased models and modelbased experiments.
Brief Bioinform 2006, 7(4):364. PubMed Abstract  Publisher Full Text

Stelling J: Mathematical models in microbial systems biology.
Curr Opin Microbiol 2004, 7(5):513518. PubMed Abstract  Publisher Full Text

Banga JR, BalsaCanto E: Parameter estimation and optimal experimental design.
Essays Biochem 2008, 45:195. PubMed Abstract  Publisher Full Text

Jaqaman K, Danuser G: Linking data to models: data regression.
Nat Rev Mol Cell Biol 2006, 7(11):813819. PubMed Abstract  Publisher Full Text

Ashyraliyev M, FomekongNanfack Y, Kaandorp JA, Blom JG: Systems biology: parameter estimation for biochemical models.

Kitano H: Computational systems biology.
Nature 2002, 420(6912):206210. PubMed Abstract  Publisher Full Text

Aderem A: Systems biology: its practice and challenges.
Cell 2005, 121(4):511513. PubMed Abstract  Publisher Full Text

Arita M, Robert M, Tomita M: All systems go: launching cell simulation fueled by integrated experimental biology data.
Curr Opin Biotechnol 2005, 16(3):344349. PubMed Abstract  Publisher Full Text

Feng X, Rabitz H: Optimal identification of biochemical reaction networks.
Biophys J 2004, 86(3):12701281. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Kremling A, Fischer S, Gadkar K, Doyle III FJ, Sauter T, Bullinger E, Gilles ED, Allgower F: A benchmark for methods in reverse engineering and model discrimination: problem formulation and solutions.
Genome Res 2004, 14(9):1773. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Gadkar KG, Gunawan R, Doyle III FJ: Iterative approach to model identification of biological networks.
BMC Bioinform 2005, 6:155. BioMed Central Full Text

BalsaCanto E, Alonso A, Banga JR: An iterative identification procedure for dynamic modeling of biochemical networks.
BMC Syst Biol 2010, 4:11. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text

Bandara S, Schloeder JP, Eils R, Bock HG, Meyer T: Optimal experimental design for parameter estimation of a cell signaling model.
PLoS Comput Biol 2009, 5(11):e1000558. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

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. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Melykuti B, August E, Papachristodoulou A, ElSamad H: Discriminating between rival biochemical network models: three approaches to optimal experiment design.
BMC Syst Biol 2010, 4:38. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text

Skanda D, Lebiedz D: An optimal experimental design approach to model discrimination in dynamic biochemical systems.
Bioinform 2010, 26(7):939945. Publisher Full Text

Lillacci G, Khammash M: Parameter estimation and model selection in computational biology.
PLoS Comput Biol 2010, 6(3):e1000696. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Verheijen PJT: Model selection: an overview of practices in chemical engineering.

Petzold L, Zhu W: Model reduction for chemical kinetics: An optimization approach.
AIChE J 1999, 45(4):869886. Publisher Full Text

Edwards K, Edgar TF, Manousiouthakis VI: Reaction mechanism simplification using mixedinteger nonlinear programming.
Comput Chem Eng 2000, 24:6779. Publisher Full Text

Maurya MR, Bornheimer SJ, Venkatasubramanian V, Subramaniam S: Mixedinteger nonlinear optimisation approach to coarsegraining biochemical networks.
IET Syst Biol 2009, 3:24. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Nikolaev EV: The elucidation of metabolic pathways and their improvements using stable optimization of largescale kinetic models of cellular systems.
Metab Eng 2010, 12(1):2638. PubMed Abstract  Publisher Full Text

Banga JR: Optimization in computational systems biology.
BMC Syst Biol 2008, 2:47. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text

Aldrich J: R. A. Fisher and the making of maximum likelihood 19121922.

Akaike H: A new look at the statistical model identification.
IEEE Trans Automatic Control 1974, 19(6):716723. Publisher Full Text

Cedersund G, Roll J: Systems biology: model based evaluation and comparison of potential explanations for given biological data.
FEBS J 2009, 276(4):903922. PubMed Abstract  Publisher Full Text

McDonald CP, Urban NR: Using a model selection criterion to identify appropriate complexity in aquatic biogeochemical models.
Ecol Model 2010, 221(3):428432. Publisher Full Text

RodriguezFernandez M, Mendes P, Banga JR: A hybrid approach for efficient and robust parameter estimation in biochemical pathways.
Biosyst 2006, 83(23):248265. Publisher Full Text

Egea JA, RodriguezFernandez M, Banga JR, Martí R: Scatter Search for Chemical and BioProcess Optimization.
J Glob Optimization 2007, 37:481503. Publisher Full Text

Schlüter M, Egea JA, Banga JR: Extended ant colony optimization for nonconvex mixed integer nonlinear programming.
Comput Oper Res 2009, 36(7):22172229. Publisher Full Text

Egea JA, Banga JR, Martí R: An evolutionary method for complexprocess optimization.
Comput Oper Res 2010, 37(2):315324. Publisher Full Text

Exler O, Schittkowski K: A trust region SQP algorithm for mixedinteger nonlinear programming.
Optimization Lett 2007, 1(3):269280. Publisher Full Text

A collection of 186 test problems for nonlinear mixedinteger programming. 2012.
Tech. rep., Department of Computer Science; University of Bayreuth

Exler O, Lehmann T, Schittkowski K: A comparative study of SQPtype algorithms for nonlinear and nonconvex mixedinteger optimization.
Math Program Comput 2012, 4(4):383412. Publisher Full Text

Diehl M, Walther A, Bock HG, Kostina E: An adjointbased SQP algorithm with quasiNewton Jacobian updates for inequality constrained optimization.
Optimization Methods Softw 2010, 25(4):531552. Publisher Full Text

Raue A, Kreutz C, Maiwald T, Bachmann J, Schilling M, Klingmueller U, Timmer J: Structural and practical identifiability analysis of partially observed dynamical models by exploiting the profile likelihood.
Bioinform 2009, 25(15):19231929. Publisher Full Text

Vanlier J, Tiemann CA, Hilbers PAJ, van Riel NAW: An integrated strategy for prediction uncertainty analysis.
Bioinform 2012, 28(8):11301135. Publisher Full Text

Brannmark C, Palmer R, Glad ST, Cedersund G, Stralfors P: Mass and information feedbacks through receptor endocytosis govern insulin signaling as revealed using a parameterfree modeling framework.
J Biol Chem 2010, 285(26):2017120179. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

RodriguezFernandez M, Banga JR, Doyle III FJ: Novel global sensitivity analysis methodology accounting for the crucial role of the distribution of input parameters: application to systems biology models.
Int J Robust Nonlinear Control 2012, 22(10):10821102. Publisher Full Text

Jacquez JA, Greif P: Numerical Parameter Identifiability and estimability: integrating identifiability, estimability, and optimal sampling desing.
Math Biosci 1985, 77:201227. Publisher Full Text

Audoly S, Bellu G, D’Angio L, Saccomani MP, Cobelli C: Global identifiability of nonlinear models of biological systems.
IEEE Trans Biomed Eng 2001, 48(1):5565. PubMed Abstract  Publisher Full Text

Econometrica. 1959, 27(3):431447. Publisher Full Text

Brun R, Reichert P, Kunsch HR: Practical identifiability analysis of large environmental simulation models.
Water Resour Res 2001, 37:10151030. Publisher Full Text

Karnavas WJ, Sanchez P, Bahill AT: Sensitivity analyses of continuous and discrete systems in the time and frequency domains.
IEEE Trans Syst, Man, Cybern 1993, 23(2):488501. Publisher Full Text

Kucherenko S, RodriguezFernandez M, Pantelides C, Shah N: Monte Carlo evaluation of derivative based global sensitivity measures.
Reliability Eng Syst Saf 2009, 94:11351148. Publisher Full Text

RodriguezFernandez M, Banga JR: SensSB: A software toolbox for the development and sensitivity analysis of systems biology models.
Bioinform 2010, 26(13):16751676. Publisher Full Text

Kremling A, Heermann R, Centler F, Jung K, Gilles ED: Analysis of twocomponent signal transduction by mathematical modeling using the KdpD/KdpE system of Escherichia coli.
Biosyst 2004, 78(13):2337. Publisher Full Text

Alon U: An Introduction to Systems Biology  Design Principles of Biological Circuits. London: Chapman & Hall/CRC; 2007.

Widder S, Schicho J, Schuster P: Dynamic patterns of gene regulation I: Simple twogene systems.
J Theor Biol 2007, 246(3):395419. PubMed Abstract  Publisher Full Text

Konkoli Z: A danger of low copy numbers for inferring incorrect cooperativity degree.
Theor Biol Med Model 2010, 7:40. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text

Prill R, Marbach D, SaezRodriguez J, Sorger P, Alexopoulos L, Xue X, Clarke N, AltanBonnet G, Stolovitzky G: Towards a rigorous assessment of systems biology models: the DREAM3 challenges.
PloS one 2010, 5(2):e9202. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Szederkenyi G, Banga JR, Alonso AA: Inference of complex biological networks: distinguishability issues and optimizationbased solutions.
BMC Syst Biol 2011, 5:177. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text