Algorithm for finding new identifiable reparametrizations of parametric ODEs

1 code implementation • 4 Oct 2023 • Nicolette Meshkat, Alexey Ovchinnikov, Thomas Scanlon

If all of the parameters of a model can be recovered from data, the model is said to be identifiable.

Identifiable specializations for ODE models

1 code implementation • 30 Aug 2023 • Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon

The parameter identifiability problem for a dynamical system is to determine whether the parameters of the system can be found from data for the outputs of the system.

Computing all identifiable functions of parameters for ODE models

2 code implementations • 16 Apr 2020 • Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon

Parameter identifiability is a structural property of an ODE model for recovering the values of parameters from the data (i. e., from the input and output variables).

Effective difference elimination and Nullstellensatz

no code implementations • 4 Dec 2017 • Alexey Ovchinnikov, Gleb Pogudin, Thomas Scanlon

We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings.

Algebraic Geometry Logic 12H10, 13P25 (Primary), 14Q20, 03C10, 03C60 (Secondary)