Global identifiability of linear compartmental models-a computer algebra algorithm

A priori global identifiability deals with the uniqueness of the solution for the unknown parameters of a model and is, thus, a prerequisite for parameter estimation of biological dynamic models. Global identifiability is however difficult to test, since it requires solving a system of algebraic nonlinear equations which increases both in nonlinearity degree and number of terms and unknowns with increasing model carrier. In this paper, a computer algebra tool, GLOBI (GLOBal Identifiability) is presented, which combines the topological transfer function method with the Buchberger algorithm, to test global identifiability of linear compartmental models. GLOBI allows far the automatic testing of a priori global identifiability of general structure compartmental models from general multi input-multi output experiments. Examples of usage of GLOBI to analyze a priori global identifiability of some complex biological compartmental models are provided.

[1]  Malcolm MacCallum,et al.  Algebraic computing with REDUCE : lecture notes from the First Brazilian School on Computer Algebra , 1991 .

[2]  S. Vajda,et al.  IDENTIFIABILITY OF POLYNOMIAL SYSTEMS: STRUCTURAL AND NUMERICAL ASPECTS , 1987 .

[3]  C. Cobelli,et al.  Parameter and structural identifiability concepts and ambiguities: a critical review and analysis. , 1980, The American journal of physiology.

[4]  Bruno Buchberger,et al.  An Algorithmic Criterion for the Solvability of a System of Algebraic Equations (translated by Michael Abramson and Robert Lumbert) , 1998 .

[5]  A. W. Kelman,et al.  Compartmental models and their application , 1985 .

[6]  K. R. Godfrey,et al.  Chapter 1 – IDENTIFIABILITY OF MODEL PARAMETERS , 1987 .

[7]  S. Audoly,et al.  On the identifiability of linear compartmental systems: a revisited transfer function approach based on topological properties , 1983 .

[8]  J. DiStefano,et al.  Identifiability of Model Parameter , 1985 .

[9]  J. Jacquez,et al.  Numerical parameter identifiability and estimability: Integrating identifiability, estimability, and optimal sampling design , 1985 .

[10]  J. Jacquez.  Compartmental analysis in biology and medicine , 1985 .

[11]  Heinz Kredel,et al.  Gröbner Bases: A Computational Approach to Commutative Algebra , 1993 .

[12]  Maria Pia Saccomani,et al.  Pride: A Program to Test a Priori Global Identifiability of Linear Compartmental Models , 1994 .

[13]  Yves Lecourtier,et al.  Unidentifiable compartmental models: what to do? , 1981 .

[14]  D M Foster,et al.  Zinc metabolism in humans: a kinetic model. , 1984, The American journal of physiology.

[15]  C. Cobelli,et al.  On the structural identifiability of biological compartmental systems in a general input-output configuration , 1976 .

[16]  C Cobelli,et al.  Unappreciation of a priori identifiability in software packages causes ambiguities in numerical estimates. , 1990, The American journal of physiology.

[17]  R. Bellman,et al.  On structural identifiability , 1970 .

[18]  Claudio Cobelli,et al.  Identifiability results on some constrained compartmental systems , 1979 .

[19]  Lennart Ljung,et al.  On global identifiability for arbitrary model parametrizations , 1994, Autom..

[20]  J. P. Norton,et al.  An investigation of the sources of nonuniqueness in deterministic identifiability , 1982 .

[21]  Claudio Cobelli,et al.  Identifiability of compartmental systems and related structural properties , 1979 .

[22]  E. Walter,et al.  Global approaches to identifiability testing for linear and nonlinear state space models , 1982 .

[23]  Eric Walter,et al.  On the structural output distinguishability of parametric models, and its relations with structural identifiability , 1984 .

[24]  F. Ollivier.  Le probleme de l'identifiabilite structurelle globale : approche theorique, methodes effectives et bornes de complexite , 1990 .

[25]  J A Jacquez,et al.  Parameter estimation: local identifiability of parameters. , 1990, The American journal of physiology.

[26]  C. Cobelli,et al.  An automatized topological method to test a priori global identifiability of a class of compartmental models , 1992, 1992 14th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[27]  J Shepherd,et al.  Sensitive methods to study human apolipoprotein B metabolism using stable isotope-labeled amino acids. , 1996, The American journal of physiology.

[28]  Leontina D'Angiò.  On some topological properties of a strongly connected compartmental system with application to the identifiability problem , 1985 .

[29]  C. Cobelli,et al.  A minimal input-output configuration for a priori identifiability of a compartmental model of leucine metabolism , 1993, IEEE Transactions on Biomedical Engineering.

[30]  C. Cobelli,et al.  Qualitative experiment design in physiological system identification , 1992, IEEE Control Systems.

[31]  Ewart R. Carson,et al.  The mathematical modeling of metabolic and endocrine systems : model formulation, identification, and validation , 1983 .