Systematic identifiability testing for unambiguous mechanistic modeling – application to JAKSTAT, MAP kinase, and NFκ B signaling pathway models
 Tom Quaiser^{1, 2} and
 Martin Mönnigmann^{1}Email author
https://doi.org/10.1186/17520509350
© Quaiser and Möonnigmann; licensee BioMed Central Ltd. 2009
Received: 14 October 2008
Accepted: 9 May 2009
Published: 9 May 2009
Abstract
Background
When creating mechanistic mathematical models for biological signaling processes it is tempting to include as many known biochemical interactions into one large model as possible. For the JAKSTAT, MAP kinase, and NFκ B pathways a lot of biological insight is available, and as a consequence, large mathematical models have emerged. For large models the question arises whether unknown model parameters can uniquely be determined by parameter estimation from measured data. Systematic approaches to answering this question are indispensable since the uniqueness of model parameter values is essential for predictive mechanistic modeling.
Results
We propose an eigenvalue based method for efficiently testing identifiability of large ordinary differential models and compare this approach to three existing ones. The methods are benchmarked by applying them to models of the signaling pathways mentioned above. In all cases the eigenvalue method proposed here and the orthogonal method find the largest set of identifiable parameters, thus clearly outperforming the other approaches. The identifiability analysis shows that the pathway models are not identifiable, even under the strong assumption that all system state variables are measurable. We demonstrate how the results of the identifiability analysis can be used for model simplification.
Conclusion
While it has undoubtedly contributed to recent advances in systems biology, mechanistic modeling by itself does not guarantee unambiguous descriptions of biological processes. We show that some recent signal transduction pathway models have reached a level of detail that is not warranted. Rigorous identifiability tests reveal that even if highly idealized experiments could be carried out to measure all state variables of these signaling pathways, some unknown parameters could still not be estimated. The identifiability tests therefore show that the level of detail of the investigated models is too high in principle, not just because too little experimental information is available. We demonstrate how the proposed method can be combined with biological insight, however, to simplify these models.
Background
Several large and detailed mathematical models for signal transduction pathways exist in the literature. Lipniacki et al. [1] model the NFκ B pathway using 15 state variables and 29 parameters. Yamada et al. [2] introduce a system of ordinary differential equations that describe the JAKSTAT pathway with 31 state variables and 52 parameters, and Schoeberl et al. [3] describe the EGF pathway with a model that comprises 103 variables and 98 parameters. Models of this kind can provide a concise and unambiguous representation even of very complex signaling pathways. However, since usually some of their parameters are not known, these models pose demanding parameter estimation problems. Two fundamental problems must be considered in this context: 1) the larger the number of unknown parameters in a model, the larger the amount of quantitative data necessary to determine meaningful values for these parameters. 2) Even if appropriate experimental data are available, model parameters may not be uniquely identifiable [4]. Ultimately, reliable predictive mathematical models can only be created after addressing these two problems.
Parameter identifiability has been paid little attention to in the recent systems biology literature. Exceptions exist, however. Swameye et al. [5] carefully check the identifiability of their JAKSTAT model. The authors propose a small model (four state variables and six parameters) and demonstrate that the model provides quantitatively reliable predictions despite its small size. In the field of HIV/Aids modeling differential algebraic techniques have been used to prove identifiability [6–8] for models of similar size. Other examples can be found in [9, 10].
The problem of testing identifiability amounts to answering the following question: given a mathematical model of a system together with system input and output data, are the model parameters uniquely determined? The identifiability tests investigated here can be carried out before experimental data are available. To this end a model is used first to generate simulated data. Subsequently, it can be checked whether the model parameters are uniquely defined by the simulated data. Only if identifiability can be assured for the model and the simulated data it is reasonable to continue with lab experiments, identifiability tests with experimental data, and, eventually, parameter estimation. In the present paper we exclusively use simulated data.
Several notions of identifiability exist. We attempt a brief and informal summary of the essential ideas here. Stricter terminology is introduced in subsequent sections. Essentially, a model is called globally identifiable if a unique value can be found for each model parameter such that the model reproduces the measured or simulated output data. If, in contrast, a finite number of points in the model parameter space can be found, for which the model reproduces the output data the model is called locally identifiable. Finally, if an infinite number of parameter values exists that reproduce the model inputoutput behavior, the model is considered to be unidentifiable. Independently of these three notions we need to distinguish between atapoint identifiability on the one hand and structural identifiability on the other hand [11, 12]. These two concepts distinguish two classes of methods for identifiability testing from one another. Methods for atapoint identifiability testing can only be applied if candidate values for the model parameters are known a priori. This situation arises, for example, when parameter values for a model have already been published in the literature, as is the case for the signaling pathway models investigated here. In contrast, all mathematically and biologically possible parameter values must be considered as candidate values, if no information on the model parameter values is known a priori. In this case we speak of structural identifiability testing.
Several techniques exist for analyzing structural identifiability. These methods are based on powerseries expansion [13], transfer function analysis [14], differential algebra [6, 12, 15], interval arithmetics [16], state isomorphisms [17–19] or semiinfinite programming [20, 21]. These methods are, however, either restricted to linear models or to models with less than 10 states and parameters in the nonlinear case [22].
For large nonlinear models only methods for testing local atapoint identifiability are feasible. A number of methods to test local atapoint identifiability have been proposed in the literature. Some of these aim at determining the largest subset of identifiable parameters [23, 24], other methods are tailored to finding the unidentifiable parameters [25, 26], or to finding parameters that do not affect the inputoutput behavior of the model [27, 28]. All these methods are based on the sensitivity matrix of the model responses (for details see section Methods for local atapoint identifiability testing). In contrast to the approaches mentioned so far the method introduced in [29] does not depend on sensitivity information. This method repeatedly estimates parameters with randomly chosen start values and extracts dependencies between parameters with a statistical method. The data used for the parameter estimation steps is created by simulating the model at a nominal parameter point. The approach does not belong to the class of methods for atapoint identifiability testing, since it is delocalized by using the above mentioned random multistart approach for parameter estimation. Consequently, the method is more rigorous than the discussed atapoint identifiability tests, but not as rigorous as the structural methods.
The examples treated here turn out not to be locally atapoint identifiable, therefore it is not reasonable to consider stricter concepts of identifiability. In the sequel the term identifiability will refer to local atapoint identifiability if not noted otherwise.
We compare the methods for identifiability testing introduced by Yao et al. [24], Jacquez and Greif [25], and Degenring et al. [27], which for ease of reference we refer to as the orthogonal method, the correlation method, and the principle component analysis (PCA) based method, respectively. Specifically, we would like to establish which of these approaches is the method of choice for identifiability testing of large signal transduction pathway models. We omit the method published by Brun et al. [23] due to its combinatorial complexity. Similarly, the method proposed by Hengl et al. [29] is omitted, because it proved to be too computationally demanding for the examples treated here. The method was tested with default settings. When applied to the smallest of the models treated here, the wall clock computation time was about 15 hours in contrast to wall clock computation times of less than a minute for the methods compared here. When applied to the JAKSTAT model, the method proposed by Hengl et al. [29] did not finish within a week. It was therefore not included in the comparison. Finally, we note an interesting approach has only very recently been proposed by Chu and Hahn [30]. Since this approach solves a problem that is similar to, but after all different from, the identifiability tests addressed here, it is not included in the comparison. All results are compared to results found with our own method [31], which we refer to as the eigenvalue method for short. The eigenvalue method is an extension of an approach published by Vajda et al. [26]. We note the eigenvalue method has independently appeared in a recent paper by Schittkowski [32].
This paper has three contributions: 1) we reveal that three well established models of signal transduction are not identifiable, and demonstrate how results from identifiability studies can be used to simplify these models. 2) We suggest an efficient numerical method for identifiability testing of large nonlinear systems of ordinary differential equations in general, and 3) we compare our method to three previously published methods.
This paper is structured as follows. We start by reviewing the theory of identifiability and introduce the four methods for local atapoint identifiability testing compared here. Subsequently, the three pathway models used in the case studies are introduced and each of the models is analyzed with each of the methods. Insight from this analysis is used to simplify the models.
Methods
In this section we will first introduce the mathematical system class and give a more concise definition of identifiability. We focus on local atapoint identifiability and describe the four methods for testing local atapoint identifiability compared here. Finally, we summarize the three signaling pathways and the corresponding models.
System Class
where n_{ t }denotes the number of measurements or stored simulation results, respectively. In the present paper, output data of the form (2) is obtained from simulations with models that have been adjusted to experimental data by other authors before [1–3].
Concept of identifiability
Here we summarize the notions of identifiability as necessary for the paper (see [4] for a review). Assuming that the inputs u(t), the initial conditions x_{0}, and the measurement times t_{ i }are given, the different notions of identifiability can be defined as follows.
Definition 2: The parameter p_{ k }of the model (1) is called locally structurally identifiable if, for all , there exists a neighborhood such that for all , equations (5) imply equation (6).
The parameter vector p is called globally structurally or locally structurally identifiable if all its components p_{ k }are globally structurally or locally structurally identifiable, respectively. Global and local atapoint identifiability are defined as follows.
Definition 3: Let be a point in the parameter space of the model (1). The parameter p_{ k }of the model (1) is called globally atapoint identifiable at the point p* if, for all , equations (5) imply equation (6).
Definition 4: Let be a point in the parameter space of the model (1). The parameter p_{ k }of the model (1) is called locally atapoint identifiable at the point p* if there exists a neighborhood such that for all , equations (5) imply equation (6).
The following subsection will introduce the four methods for atapoint identifiability testing compared in this work.
Methods for local atapoint identifiability testing
Essentially, the sensitivity coefficients describe how sensitive the system output is to changes in a single parameter. If the model output is highly sensitive to a perturbation in one parameter we can consider this parameter to be important for the system behavior. In contrast, a parameter that has no influence on the outputs is a candidate for an unidentifiable parameter. Linearly dependent columns of the sensitivity matrix imply that a change in the system outputs due to a change in one parameter, say p_{ j }, can be compensated by changing some or all of the dependent parameters p_{ k }, with k ≠ j. If dependencies exist, parameter estimation will fail or result in nonunique parameter values [26]. The correlation and orthogonal method are based on this idea.
For ease of presentation, we first give a detailed introduction to the eigenvalue method proposed here. The remaining methods are summarized briefly only, and the reader is referred to the appendix for more details. Since all methods analyze atapoint identifiability, nominal values for the parameters are required. For the test cases treated here parameter values are available from the literature [1–3] and denoted by p^{lit}.
Eigenvalue method
The eigenvalue method is similar to the method published by Vajda et al. [26]. The eigenvalue method proposed here differs from the approach proposed by Vajda and coworkers in that a manual inspection of eigenvalues and eigenvectors is not necessary here. As a result, an automatic analysis of large models becomes feasible. We first describe the eigenvalue method and subsequently describe differences to the method published by Vajda et al. [26] in more detail.
for k, l ∈ {1,..., n_{ p }}. As indicated in equation (10), H can be expressed in terms of the sensitivity matrix S introduced in equation (7). H is a symmetric matrix and therefore its eigenvalues are real. Furthermore, H is positive semidefinite.
In order to study the identifiability of the system in equation (1) for given x_{0}, u(t) and for nominal parameters we first solve equation (1) by numerical integration and subsequently calculate H as given by equation (10). We set p* to parameter values taken from the literature p^{lit} in all calculations. All identifiability tests carried out in the present paper therefore amount to asking whether the investigated signaling models are identifiable at the literature parameter values p^{lit}. As pointed out already in the Background section, identifiability tests of this type clarify whether a given model is reasonably detailed even before experiments are carried out. In this sense, the identifiability of a model at nominal or literature values for its parameters is considered to be a necessary condition for its practical identifiability with measured data.
where the entry 1 is in position k, the model is not identifiable with respect to the k th component . The approach proposed here will therefore remove this parameter from consecutive calculations by fixing to . In general however, u^{ j }will not be of the special form (12), but u^{ j }will be a vector with more than one nonzero entry, therefore the choice of k is not obvious. In this case, we select a k such that , and remove the k th component of p* from the parameter estimation problem by fixing it to its literature value. In the examples treated below this choice of k turns out to be appropriate in all cases. In general, this might not be the case, however. There might be entries of , l ≠ k, with an absolute value close or equal to the maximal value . We call such entries and the corresponding parameters codominant, since together with they dominate the degenerate direction. A simple example for a system with codominant parameters is given in Appendix A. We will discuss the issue of codominant parameters for the examples treated here in the Results section.
In practical applications the smallest eigenvalue will typically not be zero but close to zero. In this case an eigenvalue cutoff value ϵ ≈ 0, ϵ > 0 needs to be specified. An eigenvalue λ^{1} <ϵ is considered to be small enough to be treated as zero. Note λ^{ j }≥ 0 for all j since H is positive semidefinite.
 1.
Choose Δt, t _{ f }, ϵ. Set p* = p ^{lit}. Set I = {1,..., n _{ p }}, n _{ I }= n _{ p }, and U = ∅.
 2.
If I is empty, stop. The model is not identifiable with respect to any parameter in this case.
 3.
Fix the parameters p _{ k }, k ∈ U to their literature values and consider only the p _{ k }, k ∈ I to be variable. Formally, this corresponds to setting p to and treating all remaining parameters p _{ k }, k ∈ U as fixed numbers.
 4.
Calculate ϕ(p*) according to equation (9). Calculate the Hessian matrix of ϕ with respect to the parameters p _{ k }with k ∈ I and evaluate it at p = p*. Calculate the eigenvalues λ ^{ j }and corresponding eigenvectors u ^{ j }of the Hessian matrix. Assume the eigenvalues to be ordered such that . Assume the eigenvectors to be normalized.
 5.
If λ ^{1} ≥ ϵ ,stop. The model is identifiable with respect to the parameters p _{ k }for all k ∈ I.
 6.
If λ ^{1} < ϵ ,select k such that . Remove k from the set I, add k to the set U, set n _{ I }to the current number of elements in I, and return to step 2.
The order in which parameters are removed from I determines the ranking of parameters from least identifiable to most identifiable.
The method is similar to the approach introduced by Vajda et al. [26]. These authors also analyze the eigenvectors that correspond to small eigenvalues of the Hessian matrix, but they focus on the dependencies between eigenvectors that arise due to special parameter combinations of the form p_{1}/p_{2} or p_{1}·p_{2} in the model. In a two step procedure Vajda et al. first decide which parameters to lump together (for example, p_{ new }= p_{1}·p_{2}) and subsequently recalculate the eigenvalues and eigenvectors for the system with the new lumped parameters. These two steps are repeated until the smallest eigenvalue is sufficiently large. The lumping step requires manual inspection of the eigenvalues and eigenvectors of the Hessian matrix. While the approach proposed by Vajda et al. worked very well for their example with 5 parameters, it becomes infeasible for models with considerably more parameters. The examples treated in the next section demonstrate that our approach, in contrast, can be applied to models with up to at least a hundred parameters. Moreover, our approach can be carried out automatically, while the approach suggested by Vajda et al. was never intended for this purpose.
Correlation method
The correlation method was first introduced by Jacquez and Greif [25] who compared identifiability results achieved with the correlation method to analytical results obtained with a transfer function method (see [14] for a review). Jacquez and Greif [25] consider only small linear compartmental models with up to 3 states and 5 parameters. In most of the examples the correlation and the transfer function method were in agreement.
In the systems biology literature the correlation method was applied by Zak et al. [9] to investigate identifiability of a large genetic regulatory network (nonlinear, 44 states and 97 parameters). More recently, RodriguezFernandez et al. [10] embedded the correlation method into their framework for robust parameter estimation in order to exclude unidentifiable parameters from parameter estimation.
In equations (13)–(16) corr(S._{ i }, S._{ j }), cov(S._{ i }, S._{ j }), σ (S._{ i }), and denote the sample correlation between S._{ i }and S._{ j }, the sample covariance between S._{ i }and S._{ j }, the sample standard deviation of S._{ i }, and the mean of the entries of S._{ i }, respectively.
Two linearly dependent columns S._{ i }and S._{ j }of the sensitivity matrix give rise to an absolute value of the correlation corr(S._{ i }, S_{.j}) = 1. In the examples treated here, none of the parameters exhibit a correlation of exactly ± 1, however. In the numerical implementation of the method, two columns of S are considered correlated if the absolute value of their correlation is equal to or larger than 1 – ϵ_{ c }, where ϵ_{ c }∈ [0, 1] is a parameter of the algorithm. We stress that while ϵ_{ c }is a tuning parameter, the comparison of the identifiability methods is not affected by the choice of ϵ_{ c }. As explained below, we systematically vary ϵ_{ c }over its entire range 0 ≤ ϵ_{ c }≥ 1 in the comparison.
When applying the correlation method to the pathway model examples, two problems arise regularly that have not been discussed by Jacquez and Greif [25]. For one, the method detects pairs of correlated parameters, but there is no criterion which one of the parameters from a pair to consider unidentifiable. Moreover, if more than one pair of correlated parameters is detected, there is no criterion to choose among the pairs.
and L denotes the set of indices of those parameters that have not been found to be unidentifiable in any previous iteration. We select the parameter with the highest total correlation for removal. Some cases remain, however, in which two parameters have the same total correlation. In these cases we pick one parameter at random.
In order to be able to compare results to those of the other methods, we use the correlation method to rank model parameters from least identifiable to most identifiable. More precisely, we initially set ϵ_{ c }= 0 and L = {1... n_{ p }} and calculate the total correlations (17) for all parameters in L. If parameters with nonzero total correlations exist we select the parameter with highest total correlation to be unidentifiable and remove its index from L. If no such parameter exists we increase ϵ_{ c }until nonzero total correlations occur. The order in which parameters are removed from L creates a ranking of parameters from least to most identifiable. The algorithm is described in detail in Appendix B. Based on the ranking of parameters the method is compared to the other three approaches. The comparison is explained in detail in the subsection entitled Method comparison.
Principal component analysis (PCA) based method
Degenring et al. [27] introduce three criteria based on PCA that rank the influence of parameters on model output. Parameters that do not affect the model outputs are unidentifiable by definition and can be removed from the model equations. Degenring et al. successfully use their approach to simplify a complex metabolism model of Escherichia coli K12. A complete description how to get a full ranking using the three criteria can be found in [28]. A pseudo code description of the method can be found in Appendix C.
where i ∈ {1,..., n_{ y }}. While the sensitivity matrix S as defined in equation (7) describes all responses in one matrix, is created for each response r_{ i }separately.
of integers , where j ∈ {1, 2, 3} and i ∈ {1,..., n_{ y }}. The first ranking position and the last ranking position contain the index of the parameter with the lowest and the highest influence on the model output r_{ i }, respectively. The lower index j ∈ {1, 2, 3} denotes the criterion by which the ranking is calculated. We will explain one of the criteria in more detail in order to give the reader an idea of the method. The remaining two criteria are summarized in Appendix C. All 3n_{ y }rankings are integrated into one ranking by applying a strategy described in [28], which we briefly summarize below.
 1.
Set L _{1} = {1,..., n _{ y }}.
 2.
do:
The first criterion loops over the eigenvectors starting with the eigenvector that belongs to the smallest eigenvalue. It identifies the largest absolute entry of each eigenvector and selects the corresponding parameter for removal, if this parameter has not been selected yet. The index of the k th parameter selected for removal is ranked at position k, where k ∈ {1,..., n_{ p }}.
The remaining two criteria of the PCA based method are similar but differ with respect to the process for chosing r_{ l }. For brevity we omit details and refer the reader to Appendix C. A final ranking J that incorporates all 3n_{ y }previously calculated rankings is obtained as follows. Set N_{ q }= ∅, for all q = 1,..., n_{ p }. Set J to an empty list.
For q from 1 to n_{ p }do:
First note that an iteration q might exist, in which no N_{ q }is appended to J. Therefore the final number n_{ J }of elements in J is not necessarily equal to but might be smaller than n_{ p }. Further note that entries of J do not necessarily correspond to indices of single parameters but to sets of parameter indices. Therefore, a ranking position J_{ i }might contain several parameter indices an internal ranking of which cannot be obtained. This ambiguity hampers not only the interpretation of the ranking result but also the comparison with the rankings produced by the other methods. We describe a strategy to deal with the latter problem in section entitled Method comparison.
Orthogonal method
The orthogonal method was developed by Yao et al. [24] to analyze parameter identifiability of an Ethylene/Butene copolymerization model with 50 parameters. In the field of systems biology the method has been applied in a framework for model identification [36] and in the identifiability analysis of a NFκ B model [37].
We summarize the concept of the method and refer the reader to Appendix D for details. The method iterates over the columns S._{ k }of the sensitivity matrix S, with k ∈ {1,..., n_{ p }}. Those columns of S that correspond to identifiable parameters are collected in a matrix X^{ q }where q is the iteration counter. The algorithm starts by selecting the column of S with highest sum of squares in the first iteration. In iteration q + 1, q columns of S have been selected. In the order of their selection these columns form the matrix X^{ q }. The next step essentially amounts to selecting the column S._{ k }that exhibits the highest independence to the vector space V spanned by the columns of X^{ q }. More precisely, an orthogonal projection of S._{ k }onto V is calculated and is interpreted as the shortest connection from V to S._{ k }. The squared length of is used as measure of independence. If the length of is near zero, S._{ k }is nearly linearly dependent to the columns of X^{ q }. Conversely, a large value of indicates that parameter p_{ k }is linearly independent to the columns of X^{ q }. In the orthogonal method the parameter p_{ l }where is selected as the next identifiable parameter.
Essentially, the orthogonal method finds those columns of S that are as independent as possible. The quantity can be interpreted as a measure of independence that has been freed from dependencies on previously selected parameters. Therefore not only the influence of a parameter on the outputs, but also the dependencies between the parameters are accounted for by using as a measure. A visualization of the orthogonal method can be found in Appendix D.
Yao et al. [24] stop the selection process once the length of the maximal drops below a cutoff value ϵ_{ o }≈ 0, the choice of which is rather arbitrary. In the present paper we do not apply this cutoff criterion but merely rank all parameters from most to least identifiable where the terms most identifiable and least identifiable are used in the same sense as in the correlation method. A comparison to the results of the other methods is therefore not affected by the choice of ϵ_{ o }. Our approach to comparing the methods is explained in the section entitled Method comparison.
Method comparison
The central idea behind our comparison of the methods is the equivalence between the local identifiability of a model and the local positive definiteness of the Hessian matrix (10) at a minimum of the least squares parameter cost function (9) for this model. Due to this theoretical result, which has been established by Grewal and Glover [38], we can test local identifiability at a point in the model parameter space by testing the Hessian matrix (10) for positive definiteness at this point. Since the Hessian matrix is positive definite if and only if all its eigenvalues are strictly positive, we consider a model to be identifiable if the eigenvalues are bounded below by a small strictly positive number ϵ. Note the eigenvalue method proposed here is based on the same idea in that it selects those parameters to be unidentifiable that cause eigenvalues smaller than ϵ.
By virtue of the relation between local atapoint identifiability and the eigenvalues of the Hessian matrix we can compare all four identifiability testing methods to one another with the same criterion and an unique parameter value ϵ. For a given model we first create a ranking of the parameters from least to most identifiable with each method as described in the previous four sections. For each parameter ranking we then fix the parameter considered to be the least identifiable to its literature value, calculate the Hessian matrix (10) with respect to the remaining parameters, and determine the smallest eigenvalue. In all following steps we additionally fix the next least identifiable parameter and recalculate the Hessian and smallest eigenvalue. This process is carried out until the smallest eigenvalue exceeds ϵ. The parameters that need to be fixed in order for the smallest eigenvalue to exceed ϵ are considered to be the unidentifiable parameters. Clearly, the smaller the set of unidentifiable parameters, the larger the set of identifiable parameters or, equivalently, the larger the number of parameters for which the least squares parameter estimation problem can be solved. In this sense we consider the method to be the best one that results in the smallest number of unidentifiable parameters in our comparison.
Note in contrast to the other methods, the ranking created with the PCA based method does in general not contain one but several parameters. In such a case we fix all parameters ranked at the same position at once and reevaluate the smallest eigenvalue of the Hessian matrix. The last ranking position created by the PCA based method contains the indices of all parameters that have not been ranked previously. Fixing of parameters p_{ k }, with k ∈ , would therefore not leave any parameter unfixed. For this reason we consider the PCA method to have failed, if fixing of all parameters with indices in does not lead to a value of the smallest eigenvalue larger than or equal to ϵ.
Pathway model description
Having introduced the methods to be compared, we briefly summarize the three pathways and the corresponding models used for the identifiability studies.
JAKSTAT pathway
The Janus Kinase (JAK) – signal transducer and activator of transcription (STAT) pathway is triggered by cytokines and growth factors. The pathway has an impact on the expression of genes that regulate diverse cellular processes, such as cellular proliferation, differentiation, and apoptosis. A detailed model of the Interferoninduced JAKSTAT pathway is given by Yamada et al. [2]. This model describes the following signal transducing steps. Upon ligand binding the receptor dimerizes thus triggering the activation of receptorassociated JAK. Activated JAK immediately phosphorylates the receptor complex, enabling the binding and subsequent phosphorylation of cytoplasmic STAT. Phosphorylated STAT can dimerize, and finally, dimerized STAT is imported into the nucleus. Here it activates target genes, one of which is the suppressor of cytokine signaling 1 (SOCS1), an important mediator of negative feedback.
EGF induced MAP kinase pathway
Mitogenactivated protein (MAP) kinases are involved in mitosis and the regulation of cellular proliferation. The Epidermal Growth Factor (EGF)induced MAP kinase pathway is centered on a three kinase cascade that terminates with the dual phosphorylation of the third, socalled MAP kinase. EGF stimulation leads to dimerization of the EGF receptor. The dimerized EGF receptor triggers the phosphorylation of Raf, the first kinase of the cascade. Raf, in turn, phosphorylates the mitogen extracellular kinase, MEK, the second kinase in the cascade, which finally phosphorylates the MAP kinase (extracellular signalrelated kinase, ERK). Phosphorylated ERK regulates several proteins and nuclear transcription factors and controls the expression of target genes. The model published by Schoeberl et al. [3] additionally includes the internalization of EGF receptor and two further modules: an SH2domain containing protein (SHC) dependent module and an SHC independent one.
NFκ B pathway
Nuclear Factorκ B (NFκ B) is a transcription factor, which regulates genes involved in inflammation, immune response, cell proliferation, and apoptosis. In the unstimulated cell NFκ B is captured in the cytoplasm by the protein inhibitor of NFκ B (Iκ Bα). Upon stimulation by pathway activating signals such as the Tumor Necrosis Factor (TNF), the Iκ B kinase (IKK) is activated. Activated IKK phosphorylates Iκ Bα thus inducing its degradation. As a consequence NFκ B is released, translocates into the nucleus and regulates effector genes. NFκ B induces its own downregulation by inducing the production of two proteins: 1) Iκ Bα that inhibits NFκ B by relocating it to the cytoplasm and 2) the zinkfinger protein A20 that represses IKK and consequently indirectly inhibits NFκ B.
Results
In this section the results of the identifiability analysis are reported. All simulations are carried out with literature values p^{lit} for the model parameters, which are taken from the original publications of the models [1–3]. We assume that all state variables are available as outputs, i.e. y(t) = x(t) and n_{ y }= n_{ x }. Clearly, it is far from realistic to assume all state variables could be measured in an actual experiment for any of the signaling pathways. Since even under this strong assumption the models turn out not to be identifiable, however, it is not reasonable to investigate the identifiability with fewer outputs. In fact our identifiability results show that the models are overparameterized even under the very strong assumption of all state variables being measurable. The algorithmic parameter ϵ is set to ϵ = 10^{4}. While this value is motivated by our experience with numerical parameter estimation problems, we admit that it is somewhat arbitrary. Note, however, the comparison of the identifiability testing methods is consistent in that the same value ϵ = 10^{4} is used throughout. Output values y(t) are recorded from the simulations at equidistant points in time. The JAKSTAT model is simulated for 28800 seconds (8 hours) and the response function is recorded with a time step of Δt = 360 s. The corresponding values for the MAP kinase and NFκ B models are 3600 s (1 hour), Δt = 120 s, and 21600 s (6 hours), Δt = 360 s, respectively. These values are not critical. Similar results are obtained with other values of t_{ f }and Δt (data not shown).
JAKSTAT pathway analysis
Results of the eigenvalue method for the JAKSTAT model
iteration  removed parameter  max. entry of u^{1}  codominant entries of u^{1} 

1  kb7  0.725  0.56, 0.4 
2  kb30  0.728  0.68 
3  kb5  0.997   
The correlation method indicates that 13 parameters need to be fixed in order for the model to be locally identifiable (Figure 1). The sets of parameters removed by the eigenvalue and orthogonal method have only kb7 in common with the parameters selected by the correlation method. In the correlation method, the removal of parameter kb7 occurs in the last iteration and results in a clear increase of the smallest eigenvalue by a factor of about 100 (from 3.3·10^{5} to 2.2·10^{3}, see Figure 1). Surprisingly, previous iterations of the correlation method hardly have an effect on the minimum eigenvalue.
Ranking created by the PCA based method for the JAKSTAT model
ranking position i  size of J_{ i } 

1  1 
2  2 
3  4 
4  8 
5  36 
The second fixed parameter, kb30, corresponds to the rate of dissociation of STAT from the complex formed by SOCS1 and the activated receptor complex. In order to get a simplified model that is identifiable, we may remove this step. This is justified, because the key function of SOCS1 is not its binding to STAT, but its inhibition of the activated receptor complex [39]. The latter is still ensured in the simplified model.
The third fixed parameter, kb5, describes the dissociation of receptorbound unphosphorylated STAT. Assuming that STAT binds irreversibly to the activated receptor, the model can be simplified. In this scenario, STAT dissociates from the receptor only after STAT phosphorylation has occurred. Due to the presence of PPX, which can dephosphorylate cytoplasmic STAT, this change to the model need not result in an increase of the concentration of phosphorylated STAT.
We stress that the fact that kb7, kb30, and kb5 render the model unidentifiable does not imply the corresponding reactions do not exist. Our results imply, in contrast, that the model is too complex in the sense that these parameters cannot be determined by model based parameter estimation. Note that this result holds true even if we assume data for all the state variables to be available.
Map Kinase pathway analysis
Before any parameter of the MAP kinase model is fixed, the smallest eigenvalue of the Hessian matrix (10) equals 3.3·10^{13}. This implies the model is not identifiable. The eigenvalue and the orthogonal method again outperform the correlation method in that they find a significantly smaller set of parameters to be responsible for the unidentifiability of the model. The PCA based method does not lead to an identifiable method.
In the eigenvalue method the maximal components of the respective eigenvectors are near 1 (data not shown) in both iterations. As a result, two parameters, k15 and k1, can unambiguously be fixed in the first and second iteration, respectively.
Ranking created by the PCA based method for the MAP kinase model
ranking position i  size of J_{ i } 

1  1 
2  1 
3  3 
4  12 
5  78 
In summary, the eigenvalue method and the orthogonal method identify the smallest set of parameters that needs to be fixed in order to create an identifiable model. The first parameter, k15, is involved in internalization processes represented by more than twenty reactions [3]. Comprehensive changes to this part of the model that are necessary to ensure identifiability cannot be addressed here. The second parameter, k1, describes the binding of EGF to its receptor. This essential step cannot be simplified. However, experimental data on this reaction exists in the literature [40, 41]. Our analysis suggests using this kind of independent information to fix the value of k1 before attempting to determine the remaining parameters by parameter estimation.
NFκ B pathway analysis
In the first three iterations of the eigenvalue method, the largest components of u^{1} have absolute values close to one (data not shown). The method therefore selects these parameters unambiguously.
Results obtained with the correlation method for the NFκ B model
rank  removed parameter*  

1  c1(0.99)  1.90  1.000 
2  c1a(0.99)  3.98  1.000 
3  c3(0.99)  3.99  0.998 
4  a3(0.97)  4.06  1.958 
5  c3a(0.96)  4.07  0.967 
6  c3c(0.93)  4.07  1.874 
7  c4a(0.93)  4.61  0.938 
8  c4(0.92)  4.62  0.930 
9  c1c(0.92)  4.62  0.927 
10  kdeg(0.84)  4.65  0.849 
11  c2a(0.81)  4.96  0.819 
12  c2(0.80)  4.96  0.805 
13  c5a(0.74)  5.34  0.743 
14  a2(0.72)  6.54  0.727 
15  a1(0.64)  6.64  0.643 
16  i1(0.56)  6.64  0.565 
17  c6a(0.50)  6.82  0.506 
18  k2(0.50)  7.31  0.503 
19  e2a(0.46)  7.42  0.470 
20  e1a(0.45)  7.79  0.459 
21  kv(0.45)  10.08  0.455 
Ranking created by the PCA based method for the NFκ B model
ranking position i  size of J_{ i } 

1  1 
2  2 
3  3 
4  1 
5  10 
6  12 
The three parameters selected for removal by the eigenvalue and the orthogonal method indicate how to simplify the model. The first two parameters, c4a and c4, describe the only two translation steps in the model: the translation of Iκ Bα mRNA and A20 mRNA, respectively. By lumping together transcription and translation into one protein synthesis step the two unidentifiable parameters c4a and c4 can be removed from the model. The third parameter selected by the eigenvalue and orthogonal method, t1, describes the dissociation of activated IKK from Iκ α. Since this reaction is a key step of the model the only option for simplifying this part of the model is to remove IKK entirely. As a consequence A20 becomes obsolete, since the only function of A20 is the regulation of IKK. If we also remove A20, the resulting simplified model closely resembles the minimal model proposed by Krishna et al. [42].
Discussion
The eigenvalue, orthogonal, and correlation methods find the desired subset of identifiable parameters and the desired subset of unidentifiable parameters in all cases. The eigenvalue and orthogonal methods give the same results for each of the models. The subsets of unidentifiable parameters that result from the correlation method are larger than those that result from the eigenvalue or orthogonal method in all cases. The PCA based method fails for all three examples.
The four identifiability testing methods use different approaches to finding unidentifiable parameters. In order to carry out a meaningful comparison of the methods, we need a single identifiability criterion that can be applied to all methods. The positive definiteness of the Hessian matrix (10) of the least squares parameter estimation problem (9) is an appropriate and concise criterion for this purpose. Ultimately, the use of this criterion is justified by the equivalence between local atapoint identifiability and the positive definiteness of the Hessian matrix (10). This equivalence was established by Grewal and Glower [38].
Since the Hessian matrix is positive definite if and only if all its eigenvalues are strictly positive, we consider a model to be identifiable if the eigenvalues of the Hessian matrix (10) are bounded below by a small strictly positive number ϵ. Based on experience with parameter estimation problems we set ϵ = 10^{4}. While this choice is arguably arbitrary, the comparisons of the methods are meaningful since the same value of ϵ is applied in all comparisons.
In the remainder of the section we discuss the differences between the methods.
Eigenvalue method vs. orthogonal method
The eigenvalue method can be motivated in two different ways. For one, it can be interpreted as a convexity analysis of the minimization of the least squares cost function ϕ (9) at a nominal point p*, in parameter space. If ϕ is too flat at p*, the method identifies the parameters that cause this flatness. Secondly, the method can be looked upon as an approach to identifying linearly dependent columns of S. If S^{ T }S has zero eigenvalues it is not invertible, which implies that S has linearly dependent columns. By fixing those parameters that cause S^{ T }S to be not invertible, the linear independence of columns of S can be ensured. The orthogonal method selects those columns of S that have the largest possible orthogonal distance to previously selected columns. This way linearly independent columns are found. Essentially, the eigenvalue and orthogonal method use the same criterion, but the eigenvalue methods discards those parameters that render a model unidentifiable while the orthogonal method selects the identifiable parameters. Both methods give the same results for the examples treated here.
A formal analysis of the two methods reveals the computational complexity to depend on the magnitudes of n_{ y }n_{ t }and n_{ p }(see Appendix E). If , as is the case in the JAKSTAT and the NFκ B example, the eigenvalue method is an order of magnitude in the number of parameters faster than the orthogonal method. If we assume , as is the case for the MAP kinase example, the eigenvalue method is slightly faster than the orthogonal method. If n_{ y }n_{ t }≈ n_{ p }, both methods have the same computational complexity. We stress the complexity analysis is carried out under assumptions that are unfavorable for the eigenvalue method in that the eigenvalue method is assumed to require a full ranking to separate the identifiable from the unidentifiable parameters. In the three examples treated here this is clearly not the case, however. In fact the eigenvalue method stops after three, two, and three iterations in the JAKSTAT, the MAP kinase, and the NFκ B case, respectively, and therefore turns out to be far less computationally expensive than under the worst case assumption used in Appendix E.
Technical drawbacks of the correlation method
From a technical point of view, the correlation method suffers from two drawbacks. These drawbacks cause the differences between the number of unidentifiable parameters found by the correlation method as compared to the orthogonal and eigenvalue method. First, the correlation corr(S._{ i }, S._{ j }) is only an approximation of the linear dependency of columns of S. While two columns that are linearly dependent result in a correlation of ± 1, columns that have a correlation of ± 1 need not necessarily be linearly dependent (see Appendix F for an example). Therefore, the correlation method may find false positive unidentifiable parameters. Secondly, the correlation corr(S._{ i }, S._{ j }) is only a pair wise measure for any two columns S._{ i }and S._{ j }of S. Linear dependence of a set of more than two columns, which does not contain a linearly dependent pair, is not detected.
Technical drawbacks of the PCA based method
The PCA based method differs from the three other methods in several aspects. The PCA based method does not use the sensitivity matrix S, but a sensitivity matrix is calculated for each component r_{ i }of the response function separately. In contrast to the other methods, couplings between the components r_{ i }are therefore not considered. A second important difference is that the PCA based method does not use a single criterion, but a combination of criteria which all must hold for a parameter to be considered unidentifiable. Due to this combination of criteria, the method does not select a single parameter in each iteration but a set of parameters. Finally, some parameters that cause S not to have full rank are not found by the PCA based method in all three examples. For this reason, we consider the PCA based method to be inappropriate for the identifiability testing of the three treated pathways.
Conclusion
We proposed a new approach to finding identifiable and unidentifiable parameters of large mechanistic models. The method, which we refer to as the eigenvalue method, was applied to existing models of the JAKSTAT, the MAP kinase, and the NFκ B pathways. All three pathway models turned out not to be identifiable. In fact our results show that the models would not be identifiable even if all state variables could be measured precisely at a high frequency. The models must therefore be considered to be severely overparameterized. Note state identifiability investigated here is a necessary condition for output identifiability. Since the models turn out not even to be state identifiable, we refrained from further investigations of output identifiability.
The identifiability analysis reveals how to simplify the models in order to arrive at identifiable systems. For the JAKSTAT pathway an identifiable model can be obtained by simplifying only three reactions. For the NFκ B pathway model the results lead to a simplified model that closely resembles the minimal model published by Krishna et al. [42].
We presented a detailed comparison of the proposed eigenvalue approach to three established methods for identifiability testing, namely, the correlation method [25], the PCA based method [27], and the orthogonal method [24]. These three methods and the new approach suggested are of general interest, because they can be applied to a broad class of nonlinear systems of ordinary differential and algebraic equations. Essentially, the methods were compared with respect to their ability to find an identifiable subset of model parameters for each of the three pathway models. Despite algorithmically different, the eigenvalue and the orthogonal method result in the same subsets of identifiable parameters for each of the examples. Moreover, these two methods outperform the other methods in that they find the largest subsets of identifiable parameters.
Appendix
A: Example with codominant parameters
We present an illustrative example to motivate the notion of codominant parameters. Consider the trivial system = (p_{1} + p_{2})·x_{1} with y_{1} = x_{1}. Using the notation introduced below equation (10), the eigenvalue λ^{1} equals 0 (independent of the choice of p_{1}, p_{2}, sampling times, and initial condition) with u^{1} = (0.707, 0.707)^{ T }. From the simple model equation it is apparent that p_{1} and p_{2} are not identifiable separately, but only their sum p_{1} + p_{2} can be estimated from data. As a result, p_{1} and p_{2} are codominant as indicated by the result . Fixing either one of the parameters renders the other one identifiable.
B: Correlation method
We first summarize theoretical aspects of the correlation method and subsequently give a detailed description of the algorithm.
Theory
The last equality holds, because the y_{ i }(t_{ j }) are assumed to be noise free measurements and p* are the true parameter values by assumption. Therefore r_{ i }(t_{ j }, p*, x_{0})  y_{i}(t_{j}) = 0 for all i ∈ {1,..., n_{ y }} and j ∈ {1,..., n_{ t }}.
Let denote the least squares estimates of Δp, i.e. the particular values of Δp that minimize equation (20). The necessary condition for optimality is equivalent to the so called normal equation S^{ T }S Δp = 0. Solving the normal equation for Δp therefore results in the least squares estimate .
If S^{ T }S has full rank, the normal equation only admits the solution Δp = 0. This implies Δp = 0, or equivalently = p*, is the unique minimizer of the least squares function R(Δp). Consequently, the model parameters p are locally identifiable by definition. Note only local identifiability can be inferred, since an approximation by linearization was introduced. If, on the other hand, S^{ T }S does not have full rank, there exists a nontrivial solution ≠ 0 of the normal equation. As a consequence, a parameter vector ≠ p* exists that results in the same model response as p*. Therefore the model parameters p are not identifiable by definition.
The matrix S^{ T }S has full rank if and only if the columns of S are linearly dependent [43]. The central idea of the correlation method is to detect linear dependence of two columns of S by calculating the correlation of these columns. Parameters corresponding to columns of S with a correlation of ± 1 are considered unidentifiable.
Algorithm for the correlation method
 1.
Choose Δt and an initial guess p*. Set ϵ _{ c }= 0, I = {1,..., n _{ t }}, and initialize U to an empty list. Calculate the sensitivity matrix S.
 2.
Calculate the matrix C.
 3.
For all i ∈ I calculate (I) as defined in equation (17).
 4.
If I is empty, stop. The list U contains the parameter indices in the order of the least to most identifiable parameter.
 5.
 6.
If = 0, increase ϵ _{ c }by 0.01 and return to step 2. Otherwise, remove r _{ q }from I, append r _{ q }to the list U, and return to step 3.
The list U contains the desired result as explained in step 4. Note ϵ_{ c }is incremented in steps of Δϵ_{ c }= 0.01. The choice of this increment is not critical as long as it is small enough. If Δϵ_{ c }is chosen smaller than necessary the same ranking of parameters will be obtained but the algorithm may require more computation time.
C: PCA based method
We explain the second and third PCA based criterion and present the algorithm for the PCA based method. The first criterion is explained in the section entitled Methods.
Description of the second and third criterion of the PCA based method
Let and denote the j th eigenvalue and corresponding eigenvector of , respectively, and assume the eigenvalues to be ordered such that . For each i ∈ {1,..., n_{ p }} evaluate the second and third criterion as follows.

Second criterion:
Set L_{1} = {1,..., n_{ y }}.
Note in this sum, i and j are fixed, therefore the sum is not carried out over components of a particular eigenvector, but the l th entries of all eigenvectors are summed. The parameter with the largest value of (21) is selected.

Third criterion:
Set L_{1} = {1,..., n_{ y }}.
The third criterion loops over the eigenvectors but, in contrast to the first and second criterion, starts with the eigenvector that belongs to the largest eigenvalue. As in the first criterion, parameters are selected based on the absolute value of the eigenvector component. The index of the parameter selected first will be placed last in ranking , the index of the parameter selected second will be placed at position n_{ p } 1, and so on.
Algorithm for the PCA based method
 1.
Choose Δt and an initial guess p*. For all i ∈ {1,..., n _{ y }} let , , and be empty lists. For all q ∈ {1,..., n _{ p }} set N _{ q }= ∅. Set J to an empty list.
 2.
For all i ∈ {1,..., n _{ y }} calculate , its eigenvectors , and the corresponding eigenvalues , j ∈ {1,..., n _{ p }}.
 3.
For i ∈ {1,..., n _{ y }} calculate , , and by applying ranking criterion one to three as described in the Method section. Let denote the k th entry of .
 4.

Only if N_{ q }≠ ∅ append N_{ q }to the list J.

The final ranking that combines the PCA results of all and all three criteria is given by J, where the first position in J corresponds to the least and the last position in J corresponds to the most identifiable parameter.
D: Orthogonal method
In this part we present a geometric interpretation the orthogonal method, followed by a description of algorithmic details.
Visualization of the concept of the orthogonal method
Algorithm for the orthogonal method
 1.
 2.
Calculate the sensitivity matrix S.
 3.
 4.For q from 1 to n _{ p }

Calculate P_{ q }as given by equation (22).

Find r_{ q }such that , with corresponding to the k th column of P_{ q }.
and set L _{q+1}= L _{ q } {r _{ q }}.

The ranking is given by W^{ ortho }. The shown implementation ignores the stopping criterion applied in the original literature, to ensure a complete ranking.
E: Computational complexity of the orthogonal and the eigenvalue method
The numerical operations of the two methods that dominate the number of necessary numerical operations are 1) matrix inversions and eigenvalue/eigenvector calculations, which both require O(N^{3}) operations for N × N matrices, and 2) matrix multiplications, which require N·M·L operations for the multiplication of an N × M by an M × L matrix.
In what follows, we assume the eigenvalue method is used to rank all model parameters. This overestimates the computational cost of the eigenvalue method, since the method stops once an identifiable set of parameters has been found.
Computational complexity of the orthogonal method
Here denotes the i th column of X^{ i }. The last row is equal to the last column, since X^{ iT }X^{ i }is symmetric. The cost for i vector multiplications with 1 ≤ k ≤ i amounts to in_{ y }n_{ t }, which gives rise to the last term in the sum in equation (23).
where denotes the last column of X^{ i }and S._{ i }denotes the i th column of S.
The subtraction of S from Y S' (n_{ y }n_{ t }× n_{ p }matrix minus n_{ y }n_{ t }× n_{ p }matrix) in equation (22) requires O(n_{ y }n_{ t }n_{ p }) operations and therefore can be neglected.
In summary the dominant parts in equation (24) and (25) result in a computational complexity of order .
Computational complexity of the eigenvalue method
The first term accounts for the initial calculation of the Hessian matrix. The second term accounts for the eigenvalue calculation.
Comparing computational complexity of the eigenvalue and the orthogonal method
The computational complexity of the eigenvalue method is of order (see equation (27)), whereas the computational complexity of the orthogonal method is of order (see equation (24)). For a comparison we have to distinguish between the following three cases. In the first case we assume n_{ y }n_{ t }≤ n_{ p }. In this case the complexity of both methods is dominated by the term and both method are equally efficient. In the examples treated here, this case does not occur. In the second case we assume . Here the computational complexity of the eigenvalue and the orthogonal method reduce to and , respectively. This case applies to the MAPkinase example and the eigenvalue method is faster than the orthogonal method. The difference is the more pronounced the larger n_{ y }n_{ t } n_{ p }. In the last case we assume that . This is true in the JAKSTAT and the NFκ B example. Here the complexity of the eigenvalue method and the orthogonal method reduce to and , respectively. In this case the eigenvalue method is an order of magnitude in the number of parameters faster than the orthogonal method.
F: Correlation is not equal to linear dependence
In order to show that a correlation of ± 1 between two vectors does not necessarily imply their linear dependence, we present a simple counterexample. Consider the vectors x = (1, 1)^{ T }and y = (2, 0)^{ T }. According to equation (13) the correlation corr(x, y) = 1 results. Clearly, however, x and y are linearly independent. A set of parameters that are found to be unidentifiable with the correlation method may therefore contain false positives.
Declarations
Acknowledgements
We gratefully acknowledge funding by Deutsche Forschungsgemeinschaft (DFG) under grant MO 1086/51. We thank Prof. F. Schaper for providing his insight on biological aspects and C. Michalik for fruitful discussions. A previous version of this paper was presented at the 2nd Foundations of Systems Biology in Engineering conference, Stuttgart, Germany, Sept. 2007.
Authors’ Affiliations
References
 Lipniacki T, Paszek P, Brasier ARAR, Luxon B, Kimmel M: Mathematical model of NFkappaB regulatory module. J Theor Biol. 2004, 228 (2): 195215. 10.1016/j.jtbi.2004.01.001View ArticlePubMedGoogle Scholar
 Yamada S, Shiono S, Joo A, Yoshimura A: Control mechanism of JAK/STAT signal transduction pathway. FEBS Lett. 2003, 534 (1–3): 190196. 10.1016/S00145793(02)038425View ArticlePubMedGoogle Scholar
 Schoeberl B, EichlerJonsson C, Gilles ED, Mueller G: Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nat Biotechnol. 2002, 20 (4): 370375. 10.1038/nbt0402370View ArticlePubMedGoogle Scholar
 Walter E, Pronzato L: Identification of parametric models from experimental data. 1997, Springer BerlinGoogle Scholar
 Swameye I, Muller TG, Timmer J, Sandra O, Klingmuller U: Identification of nucleocytoplasmic cycling as a remote sensor in cellular signaling by databased modeling. Proc Natl Acad Sci USA. 2003, 100 (3): 10281033. 10.1073/pnas.0237333100PubMed CentralView ArticlePubMedGoogle Scholar
 Xia X, Moog CH: Identifiability of nonlinear systems with application to HIV/AIDS models. IEEE T Automat Contr. 2003, 48 (2): 330336. 10.1109/TAC.2002.808494.View ArticleGoogle Scholar
 Jeffrey A, Xia X: Identifiability of HIV/AIDS models. Deterministic and Stochastic Models of AIDS Epidemics and HIV Infections with Intervention. 2005, 255286. full_text.View ArticleGoogle Scholar
 Wu H, Zhu H, Miao H, Perelson A: Parameter Identifiability and Estimation of HIV/AIDS Dynamic Models. Bulletin of Mathematical Biology. 2008, 70 (3): 785799. 10.1007/s1153800792799View ArticlePubMedGoogle Scholar
 Zak DE, Gonye GE, Schwaber JS, Doyle FJ: Importance of input perturbations and stochastic gene expression in the reverse engineering of genetic regulatory networks: insights from an identifiability analysis of an in silico network. Genome Res. 2003, 13 (11): 23962405. 10.1101/gr.1198103PubMed CentralView ArticlePubMedGoogle Scholar
 RodriguezFernandez M, Mendes P, Banga JR: A hybrid approach for efficient and robust parameter estimation in biochemical pathways. Biosystems. 2006, 83 (2–3): 248265. 10.1016/j.biosystems.2005.06.016View ArticlePubMedGoogle Scholar
 Jacquez JA, Perry T: Parameter estimation: local identifiability of parameters. American Journal of PhysiologyEndocrinology And Metabolism. 1990, 258 (4): 727736.Google Scholar
 Ljung L, Glad T: On global identifiability for arbitrary model parametrizations. Automatica. 1994, 30 (2): 265276. 10.1016/00051098(94)900299.View ArticleGoogle Scholar
 Pohjanpalo H: System identifiability based on powerseries expansion of solution. Math Biosci. 1978, 41 (1–2): 2133. 10.1016/00255564(78)900639.View ArticleGoogle Scholar
 Godfrey K, DiStefano J: Identifiability of Parametric Models. 1987, Pergamon, OxfordGoogle Scholar
 Audoly S, Bellu G, D'Angiò L, Saccomani MP, Cobelli C: Global identifiability of nonlinear models of biological systems. IEEE Trans Biomed Eng. 2001, 48: 5565. 10.1109/10.900248View ArticlePubMedGoogle Scholar
 Walter E, Braems I, Jaulin L, Kieffer M: Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability. Lecture Notes in Computer Science. 2004, 124131.Google Scholar
 Vajda S, Rabitz H: State isomorphism approach to global identifiability of nonlinearsystems. IEEE T Automat Contr. 1989, 34 (2): 220223. 10.1109/9.21105.View ArticleGoogle Scholar
 Chappell M, Godfrey K: Structural identifiability of the parameters of a nonlinear batch reactor model. Math Biosci. 1992, 108 (2): 24151. 10.1016/00255564(92)900585View ArticlePubMedGoogle Scholar
 Peeters RLM, Hanzon B: Identifiability of homogeneous systems using the state isomorphism approach. Automatica. 2005, 41 (3): 513529. 10.1016/j.automatica.2004.11.019.View ArticleGoogle Scholar
 Asprey SP, Macchietto S: Statistical tools for optimal dynamic model building. Comput Chem Eng. 2000, 24 (2–7): 12611267. 10.1016/S00981354(00)003288.View ArticleGoogle Scholar
 Asprey SP, Macchietto S: Designing robust optimal dynamic experiments. J Process Control. 2002, 12 (4): 545556. 10.1016/S09591524(01)000208.View ArticleGoogle Scholar
 Asprey SP, Macchietto S: Dynamic model development: Methods, Theory and Applications. 2003, Elsevier, Amsterdam, The NetherlandsGoogle Scholar
 Brun R, Reichert P, Kunsch HR: Practical identifiability analysis of large environmental simulation models. Water Resour Res. 2001, 37 (4): 10151030. 10.1029/2000WR900350.View ArticleGoogle Scholar
 Yao KZ, Shaw BM, Kou B, McAuley KB, Bacon DW: Modeling ethylene/butene copolymerization with multisite catalysts: Parameter estimability and experimental design. Polym React Eng. 2003, 11 (3): 563588. 10.1081/PRE120024426.View ArticleGoogle Scholar
 Jacquez JA, Greif P: Numerical parameter identifiability and estimability: Integrating identifiability, estimability, and optimal sampling design. Math Biosci. 1985, 77 (1–2): 201227. 10.1016/00255564(85)900987.View ArticleGoogle Scholar
 Vajda S, Rabitz H, Walter E, Lecourtier Y: Qualitative and quantitative identifiability analysis of nonlinear chemical kinetivmodels. Chem Eng Commun. 1989, 83: 191219. 10.1080/00986448908940662.View ArticleGoogle Scholar
 Degenring D, Froemel C, Dikta G, Takors R: Sensitivity analysis for the reduction of complex metabolism models. J Process Control. 2004, 14 (7): 729745. 10.1016/j.jprocont.2003.12.008.View ArticleGoogle Scholar
 Froemel C: Parameterreduktion in Stoffwechselmodellen mit Methoden der Statistik. Master's thesis. 2003, Fachhochschule Aachen, Abteilung Juelich, Fachbereich Physikalische Technik, Studienrichtung TechnomathematikGoogle Scholar
 Hengl S, Kreutz C, Timmer J, Maiwald T: Databased identifiability analysis of nonlinear dynamical models. Bioinformatics. 2007, 23 (19): 26122618. 10.1093/bioinformatics/btm382View ArticlePubMedGoogle Scholar
 Chu Y, Hahn J: Parameter Set Selection via Clustering of Parameters into Pairwise Indistinguishable Groups of Parameters. Industrial & Engineering Chemistry Research. 2009Google Scholar
 Quaiser T, Marquardt W, Moennigmann M: Local Identifiability Analysis of Large Signaling Pathway Models. 2nd Conference Foundation of Systems Biology in Engineering, Proceedings Plenary and Contributed Papers, ISBN 9783816774365. Edited by: Allgoewer F, Reuss M. 2007, 465470. Stuttgart: Fraunhofer IRB VerlagGoogle Scholar
 Schittkowski K: Experimental design tools for ordinary and algebraic differential equations. Ind Eng Chem Res. 2007, 46 (26): 91379147. 10.1021/ie0703742.View ArticleGoogle Scholar
 Li S, Petzold L: Design of new Daspk for Sensitivity Analysis. Technischer Report. 1999Google Scholar
 Beck J, Arnold K: Parameter estimation in engineering and science. 1977, Wiley New YorkGoogle Scholar
 Zill D, Cullen M: Advanced Engineering Mathematics. 2006, Jones & Bartlett PublishersGoogle Scholar
 Gadkar KG, Gunawan R, Doyle FJ: Iterative approach to model identification of biological networks. BMC Bioinformatics. 2005, 6: 155 10.1186/147121056155PubMed CentralView ArticlePubMedGoogle Scholar
 Yue H, Brown M, Knowles J, Wang H, Broomhead DS, Kell DB: Insights into the behaviour of systems biology models from dynamic sensitivity and identifiability analysis: a case study of an NFkappaB signalling pathway. Mol BioSyst. 2006, 2 (12): 640649. 10.1039/b609442bView ArticlePubMedGoogle Scholar
 Grewal MS, Glover K: Identifiability of linear and nonlinear dynamicalsystems. IEEE T Automat Contr. 1976, 21 (6): 833836. 10.1109/TAC.1976.1101375.View ArticleGoogle Scholar
 Heinrich PC, Behrmann I, Haan S, Hermanns HM, MuellerNewen G, Schaper F: Principles of interleukin IL6type cytokine signalling and its regulation. Biochem J. 2003, 374 (Pt 1): 120. 10.1042/BJ20030407PubMed CentralView ArticlePubMedGoogle Scholar
 Berkers JA, en Henegouwen van Bergen PM, Boonstra J: Three classes of epidermal growth factor receptors on HeLa cells. J Biol Chem. 1991, 266 (2): 922927.PubMedGoogle Scholar
 Chung JC, Sciaky N, Gross DJ: Heterogeneity of epidermal growth factor binding kinetics on individual cells. Biophys J. 1997, 73 (2): 10891102. 10.1016/S00063495(97)781414PubMed CentralView ArticlePubMedGoogle Scholar
 Krishna S, Jensen MH, Sneppen K: Minimal model of spiky oscillations in NFkappaB signaling. Proc Natl Acad Sci USA. 2006, 103 (29): 1084010845. 10.1073/pnas.0604085103PubMed CentralView ArticlePubMedGoogle Scholar
 Strang G: Introduction to Linear Algebra. 2003, Wellesley Cambridge PrGoogle Scholar
Copyright
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/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.