Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences.

In this paper methods from differential algebra are used to study the structural identifiability of biological and pharmacokinetics models expressed in state-space form and with a structure given by rational functions. The focus is on the examples presented and on the application of efficient, automatic methods to test for structural identifiability for various input-output experiments. Differential algebra methods are coupled with Gröbner bases, Lie derivatives and the Taylor series expansion in order to obtain efficient algorithms. In particular, an upper bound on the number of derivatives needed for the Taylor series approach for a structural identifiability analysis of rational function models is given.

[1]  Dongming Wang,et al.  An Implementation of the Characteristic Set Method in Maple , 1995 .

[2]  S. Vajda,et al.  Structural Identifiability of Linear, Bilinear, Polynomial and Rational Systems , 1984 .

[3]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

[4]  K R Godfrey,et al.  Global identifiability of the parameters of nonlinear systems with specified inputs: a comparison of methods. , 1990, Mathematical biosciences.

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

[6]  Keith Godfrey,et al.  Compartmental Models and Their Application , 1983 .

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

[8]  Eric Walter,et al.  Identifiability of State Space Models , 1982 .

[9]  L. Sokoloff,et al.  Model of Kinetic Behavior of Deoxyglucose in Heterogeneous Tissues in Brain: A Reinterpretation of the Significance of Parameters Fitted to Homogeneous Tissue Models , 1991, Journal of cerebral blood flow and metabolism : official journal of the International Society of Cerebral Blood Flow and Metabolism.

[10]  Eric Walter,et al.  Identifiability of parametric models , 1987 .

[11]  S. I. Rubinow.  Mathematical Problems in the Biological Sciences , 1987 .

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

[13]  A. Holmberg.  On the practical identifiability of microbial growth models incorporating Michaelis-Menten type nonlinearities , 1982 .

[14]  Dongming Wang,et al.  Automated Practical Reasoning , 1995, Texts and Monographs in Symbolic Computation.

[15]  Michel Fliess,et al.  Nonlinear control theory and differential algebra , 1988 .

[16]  S. T. Glad,et al.  Differential Algebraic Modelling of Nonlinear Systems , 1990 .

[18]  C. Cobelli,et al.  A New Algorithm to Test Global Identifiability of Physiological Nonlinear Models , 1997 .

[19]  T. Glad,et al.  An Algebraic Approach to Linear and Nonlinear Control , 1993 .

[20]  François Boulier,et al.  Representation for the radical of a finitely generated differential ideal , 1995, ISSAC '95.

[21]  I. Kaplansky.  An introduction to differential algebra , 1957 .

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

[23]  Jochen Pfalzgraf,et al.  Automated practical reasoning : algebraic approaches , 1995 .

[24]  Harry L. Trentelman,et al.  Essays on control : perspectives in the theory and its applications , 1993 .

[25]  Krister Forsman,et al.  Constructive algebraic geometry in nonlinear control , 1990, 29th IEEE Conference on Decision and Control.

[26]  Brahim Sadik,et al.  A Bound for the Order of Characteristic Set Elements of an Ordinary Prime Differential Ideal and some Applications , 2000, Applicable Algebra in Engineering, Communication and Computing.