More Efficient Identifiability Verification in ODE Models by Reducing Non-Identifiability

@article{Ilmer2022MoreEI,
  title={More Efficient Identifiability Verification in ODE Models by Reducing Non-Identifiability},
  author={Ilia Ilmer and Alexey Ovchinnikov and Gleb Pogudin and Pedro Soto},
  journal={ArXiv},
  year={2022},
  volume={abs/2204.01623}
}
Structural global parameter identifiability indicates whether one can determine a parameter’s value from given inputs and outputs in the absence of noise. If a given model has parameters for which there may be infinitely many values, such parameters are called non-identifiable. We present a procedure for accelerating a global identifiability query by eliminating algebraically independent non-identifiable parameters. Our proposed approach significantly improves performance across different computer… 
View PDF on arXiv

Figures and Tables from this paper

References

SHOWING 1-10 OF 34 REFERENCES

Obtaining weights for Gröbner basis computation in parameter identifiability problems

We consider a specific class of polynomial systems that arise in parameter identifiability problems of models of ordinary differential equations (ODE) and discover a method for speeding up the…

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

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 allows the identification of models that could not be tackled before.

Global Identifiability of Differential Models

First, an algebraic criterion for global identifiability is rigorously derived, which yields a deterministic algorithm, which improves the efficiency by randomizing the algorithm while guaranteeing the probability of correctness.

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

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.

Multi-experiment parameter identifiability of ODEs and model theory

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.

A New Version of DAISY to Test Structural Identifiability of Biological Models

A novel extension of the software tool DAISY (Differential Algebra for Identifiability of SYstems) is presented, which performs structural identifiability analysis for linear and nonlinear dynamic models described by polynomial or rational ODE’s.

On Finding and Using Identifiable Parameter Combinations in Nonlinear Dynamic Systems Biology Models and COMBOS: A Novel Web Implementation

Novel algorithms that address and solve the SI problem for a practical class of ordinary differential equation (ODE) systems biology models, as a user-friendly and universally-accessible web application (app)–COMBOS are developed and implemented.

SIAN: software for structural identifiability analysis of ODE models

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

Structural Identifiability of Systems Biology Models: A Critical Comparison of Methods

The results reveal that the generating series approach, in combination with identifiability tableaus, offers the most advantageous compromise among range of applicability, computational complexity and information provided.

A probabilistic algorithm to test local algebraic observability in polynomial time

A probabilistic seminumerical algorithm is presented that proposes a solution to the local algebraic observability problem concerned with the existence of a non trivial Lie subalgebra of the symmetries of the model letting the inputs and the outputs invariant in polynomial time.