Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability
From MaRDI portal
Publication:6043379
Abstract: Elimination of unknowns in a system of differential equations is often required when analysing (possibly nonlinear) dynamical systems models, where only a subset of variables are observable. One such analysis, identifiability, often relies on computing input-output relations via differential algebraic elimination. Determining identifiability, a natural prerequisite for meaningful parameter estimation, is often prohibitively expensive for medium to large systems due to the computationally expensive task of elimination. We propose an algorithm that computes a description of the set of differential-algebraic relations between the input and output variables of a dynamical system model. The resulting algorithm outperforms general-purpose software for differential elimination on a set of benchmark models from literature. We use the designed elimination algorithm to build a new randomized algorithm for assessing structural identifiability of a parameter in a parametric model. A parameter is said to be identifiable if its value can be uniquely determined from input-output data assuming the absence of noise and sufficiently exciting inputs. Our new algorithm allows the identification of models that could not be tackled before. Our implementation is publicly available as a Julia package at https://github.com/SciML/StructuralIdentifiability.jl.
Recommendations
- Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences
- Structural identifiability analysis of some highly structured families of statespace models using differential algebra
- A systematic approach for doing an a priori identifiability study of dynamical nonlinear models
- Parameter identifiability and input-output equations
- Structural identifiability analysis via symmetries of differential equations
Cites work
- scientific article; zbMATH DE number 1206418 (Why is no real title available?)
- scientific article; zbMATH DE number 1302473 (Why is no real title available?)
- scientific article; zbMATH DE number 481965 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 1182386 (Why is no real title available?)
- scientific article; zbMATH DE number 1979251 (Why is no real title available?)
- scientific article; zbMATH DE number 1979252 (Why is no real title available?)
- scientific article; zbMATH DE number 1860740 (Why is no real title available?)
- A Gröbner free alternative for polynomial system solving
- A differential analog of the Noether normalization lemma
- A parameter-free model comparison test using differential algebra
- A probabilistic algorithm to test local algebraic observability in polynomial time
- Algebraic methods for nonlinear control systems. Theory and applications.
- Algebraic transformation of differential characteristic decompositions from one ranking to another
- An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using Gröbner bases
- Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems
- Change of order for regular chains in positive dimension
- Computing all identifiable functions of parameters for ODE models
- Computing differential characteristic sets by change of ordering
- Computing representations for radicals of finitely generated differential ideals
- Converting bases with the Gröbner walk
- Definability and fast quantifier elimination in algebraically closed fields
- Determining reliable parameter estimates for within-host and within-vector models of Zika virus
- Explicit factors of some iterated resultants and discriminants
- Fast computation of power series solutions of systems of differential equations
- Global identifiability of differential models
- Identifiability and estimation of pharmacokinetic parameters for the ligands of the macrophage mannose receptor
- Identifiability of nonlinear systems with application to HIV/AIDS models
- Model distinguishability and inference robustness in mechanisms of cholera transmission and loss of immunity
- Multi-experiment parameter identifiability of ODEs and model theory
- Nemo/Hecke. Computer algebra and number theory packages for the Julia programming language
- New algebraic-geometric conditions for the linearization by input-output injection
- Newton's method and FFT trading
- On Hilbert's irreducibility theorem
- On global identifiability for arbitrary model parametrizations
- Orders of Input/Output Differential Equations and State-Space Dimensions
- Parameter identifiability and input-output equations
- Relax, but don't be too lazy
- Sharp estimates for triangular sets
- System identifiability (symbolic computation) and parameter estimation (numerical computa\-tion)
- The Distribution of Galois Groups and Hilbert's Irreducibility Theorem
- Thomas decomposition of algebraic and differential systems
- Web-based structural identifiability analyzer
Cited in
(9)- Mathematical analysis of simple behavioral epidemic models
- A parameter-free model comparison test using differential algebra
- Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences
- Algebraic design of physical computing system
- Algorithm for globally identifiable reparametrizations of ODEs
- Differential elimination and biological modelling
- Modeling the CD8+ T cell immune response to influenza infection in adult and aged mice
- Nonlinear compartmental modeling to monitor ovarian follicle population dynamics on the whole lifespan
- Vaccination compartmental epidemiological models for the delta and omicron SARS-CoV-2 variants
This page was built for publication: Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6043379)