Global Identifiability of Differential Models

@article{Hong2020GlobalIO,
  title={Global Identifiability of Differential Models},
  author={Hoon Hong and Alexey Ovchinnikov and Gleb Pogudin and Chee-Keng Yap},
  journal={Communications on Pure and Applied Mathematics},
  year={2020},
  volume={73}
}
  • H. Hong, A. Ovchinnikov, C. Yap
  • Published 24 January 2018
  • Computer Science, Mathematics
  • Communications on Pure and Applied Mathematics
Many real‐world processes and phenomena are modeled using systems of ordinary differential equations with parameters. Given such a system, we say that a parameter is globally identifiable if it can be uniquely recovered from input and output data. The main contribution of this paper is to provide theory, an algorithm, and software for deciding global identifiability. First, we rigorously derive an algebraic criterion for global identifiability (this is an analytic property), which yields a… 

SIAN: a tool for assessing structural identifiability of parametric ODEs

TLDR
New software SIAN (Structural Identifiability ANalyser) that solves the problem of multiple parameter values that yield the same observed behavior even in the case of continuous noise-free data.

Differential elimination for dynamical models via projections with applications to structural identifiability

TLDR
An algorithm is proposed that computes a description of the set of differential-algebraic relations between the input and output variables of a dynamical system model and a new randomized algorithm for assessing structural identifiability of a parameter in a parametric model is built.

Multi-experiment parameter identifiability of ODEs and model theory

TLDR
An algorithm to determine the exact number of experiments for multi-experiment local identifiability and obtain an upper bound that is off at most by one for the number of ExperimentsBound, a Monte Carlo randomized version of the algorithm with a polynomial arithmetic complexity.

Computing all identifiable functions for ODE models

TLDR
This work gives an algorithm that not only finds all identifiable functions of parameters but also provides an upper bound for the number of experiments to be performed to identify these functions.

Parameter identifiability and input-output equations

TLDR
Identifiability implies input-output identifiability; these notions coincide if the model does not have rational first integrals; and the field of input- Output identifiable functions is generated by the coefficients of a "minimal" characteristic set of the corresponding differential ideal.

Observability and Structural Identifiability of Nonlinear Biological Systems

TLDR
This review article is threefold: to serve as a tutorial on observability and structural identifiability of nonlinear systems, using the differential geometry approach for their analysis; to review recent advances in the field; and to identify open problems and suggest new avenues for research in this area.

Computing input-output projections of dynamical models with applications to structural identifiability

TLDR
An algorithm is proposed that computes a description of the set of differential-algebraic relations between the input and output variables of a dynamical system model and a new randomized algorithm for assessing structural identifiability of a parameter in a parametric model is built.

Input-output equations and identifiability of linear ODE models

TLDR
This paper proves identifiability of the coefficients of input-output equations for types of differential models that often appear in practice, such as linear models with one output and linear compartment models in which, from each compartment, one can reach either a leak or an input.

References

SHOWING 1-10 OF 90 REFERENCES

Global identifiability of nonlinear models of biological systems

TLDR
A new algorithm for testing global identifiability of nonlinear dynamic models, based on differential algebra, is presented, capable of handling many features arising in biological system models, including zero initial conditions and time-varying parameters.

A new differential algebra algorithm to test identifiability of nonlinear systems with given initial conditions

TLDR
A new version of the algorithm is proposed which gives the correct answer even if the system is started at special states from which the accessibility property is not guaranteed, and which may run into difficulties for systems which are started at certain specific initial conditions.

On global identifiability for arbitrary model parametrizations

An Efficient Method for Structural Identifiability Analysis of Large Dynamic Systems

TLDR
The implementation of a recent probabilistic semi-numerical method for testing local structural identifiability based on computing the rank of a numerically instantiated Jacobian matrix (observability/identifiability matrix) is described and demonstrated to be capable of handling systems in the order of a hundred state variables and equally many parameters on a standard desktop computer.

DAISY: An efficient tool to test global identifiability. Some case studies

TLDR
The DAISY software checking the a priori global identifiability of two well-known nonlinear physiological models from the literature are demonstrated: a glucose minimal model which has been widely used in clinical studies to estimate the insulin sensitivity from an oral glucose tolerance test and a four-state HIV/AIDS model.

Structural Identifiability of Dynamic Systems Biology Models

TLDR
This paper shows how to analyse the structural identifiability of a very general class of nonlinear models by extending methods originally developed for studying observability by implementing STRIKE-GOLDD, a method implemented in a MATLAB toolbox.

SIAN: software for structural identifiability analysis of ODE models

TLDR
A new software SIAN (Structural Identifiability ANalyser) that can tackle problems that could not be tackled by previously developed packages is presented.

IDENTIFIABILITY OF POLYNOMIAL SYSTEMS: STRUCTURAL AND NUMERICAL ASPECTS

...