A priori global identifiability deals with the (theoretical) uniqueness of solutions of model parameters from noise free input–output data. This issue is particularly critical when dealing with physiological systems where a different numerical estimate can distinguish a pathological state from a normal state. Recently, differential algebra tools have been applied to study identifiability of dynamic systems described by polynomial or rational equations. These methods are based on elimination theory for algebraic differential systems, the main tool being the computation of the so-called characteristic set of a differential ideal associated to the polynomials defining the dynamic system. This characteristic set can be found by symbolic computation and provides the so-called exhaustive summary of the model.The reparametrization of the input–output relation of the system by the exhaustive summary plays a major role not only in a priori identifiability but also in parameter estimation of nonlinear models. It is in fact a linear reparametrization and can be used to derive explicit one-shot least-squares estimates of the parameters. This allows to avoid the usual bottleneck of nonlinear parameter optimization which has to be performed by iterative optimization routines which are often unreliable, e.g. they give no guarantee of converging to a true minimum, and hence require time-consuming random search in the parameter space. Our algorithm has been tested in one- and two-dimensional Michaelis–Menten model where the choice of initial values of the parameters is critical since nonlinear least-squares minimization problem shows many local minima. Our method structurally has only one minimum and does not require initial values for the unknown parameters. However, when noise in the data is present, the optimization problem is highly ill-conditioned and the solution of the problem in the general case is still under study.
[1]
L. D'Angio,et al.
A new differential algebra algorithm to test identifiability of nonlinear systems with given initial conditions
,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
[2]
C. Cobelli,et al.
A model to measure insulin effects on glucose transport and phosphorylation in muscle: a three-tracer study.
,
1996,
The American journal of physiology.
[3]
T. Glad,et al.
An Algebraic Approach to Linear and Nonlinear Control
,
1993
.
[4]
C. Cobelli,et al.
Qualitative experiment design in physiological system identification
,
1992,
IEEE Control Systems.
[5]
K R Godfrey,et al.
Structural identifiability of the parameters of a nonlinear batch reactor model.
,
1992,
Mathematical biosciences.
[6]
K R Godfrey,et al.
Effect of dose, molecular size, affinity, and protein binding on tumor uptake of antibody or ligand: a biomathematical model.
,
1989,
Cancer research.
[7]
E. Walter,et al.
Global approaches to identifiability testing for linear and nonlinear state space models
,
1982
.
[8]
Maria Pia Saccomani.
Linearization in the parameters via differential algebra techniques
,
2003
.
[9]
Eduardo D. Sontag,et al.
Mathematical Control Theory: Deterministic Finite Dimensional Systems
,
1990
.
[10]
Claudio Cobelli,et al.
Global identifiability of nonlinear models of biological systems
,
2001,
IEEE Transactions on Biomedical Engineering.
[11]
Claudio Cobelli,et al.
Roles of Glucose Transport and Glucose Phosphorylation in Muscle Insulin Resistance of NIDDM
,
1996,
Diabetes.
[12]
Maria Pia Saccomani,et al.
Parameter identifiability of nonlinear systems: the role of initial conditions
,
2003,
Autom..
[13]
Lennart Ljung,et al.
On global identifiability for arbitrary model parametrizations
,
1994,
Autom..