Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability

DOI10.1137/22M1469067zbMATH Open1521.93034arXiv2111.00991MaRDI QIDQ6043379FDOQ6043379

Authors: Christian Goodbrake, Heather A. Harrington, Gleb Pogudin 

Publication date: 5 May 2023

Published in: SIAM Journal on Applied Algebra and Geometry (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/2111.00991

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

zbMATH Keywords

dynamical systemsparameter identifiabilitydifferential elimination

Mathematics Subject Classification ID

Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25) Inverse problems involving ordinary differential equations (34A55) System identification (93B30) Differential algebra (12H05) Algebraic methods (93B25)

Cites Work

• Title not available (Why is that?)
• On global identifiability for arbitrary model parametrizations
• Identifiability of nonlinear systems with application to HIV/AIDS models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relax, but don't be too lazy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sharp estimates for triangular sets
• A Gröbner free alternative for polynomial system solving
• Explicit factors of some iterated resultants and discriminants
• Definability and fast quantifier elimination in algebraically closed fields
• Converting bases with the Gröbner walk
• Algebraic methods for nonlinear control systems. Theory and applications.
• Computing representations for radicals of finitely generated differential ideals
• Orders of Input/Output Differential Equations and State-Space Dimensions
• An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using Gröbner bases
• Thomas decomposition of algebraic and differential systems
• Title not available (Why is that?)
• Computing differential characteristic sets by change of ordering
• Identifiability and estimation of pharmacokinetic parameters for the ligands of the macrophage mannose receptor
• A probabilistic algorithm to test local algebraic observability in polynomial time
• Newton's method and FFT trading
• Algebraic transformation of differential characteristic decompositions from one ranking to another
• New algebraic-geometric conditions for the linearization by input-output injection
• Change of order for regular chains in positive dimension
• Title not available (Why is that?)
• System identifiability (symbolic computation) and parameter estimation (numerical computa\-tion)
• Parameter identifiability and input-output equations
• The Distribution of Galois Groups and Hilbert's Irreducibility Theorem
• Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems
• Global Identifiability of Differential Models
• On Hilbert’s irreducibility theorem
• Nemo/Hecke
• Model distinguishability and inference robustness in mechanisms of cholera transmission and loss of immunity
• Multi-experiment Parameter Identifiability of ODEs and Model Theory
• Computing all identifiable functions of parameters for ODE models
• Web-based structural identifiability analyzer
• A Differential Analog of the Noether Normalization Lemma
• A parameter-free model comparison test using differential algebra
• Determining reliable parameter estimates for within-host and within-vector models of Zika virus

Cited In (8)

• Differential elimination and biological modelling
• 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
• Modeling the CD8+ T cell immune response to influenza infection in adult and aged mice
• Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences
• Mathematical analysis of simple behavioral epidemic models
• Algebraic design of physical computing system
• Algorithm for globally identifiable reparametrizations of ODEs

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)