Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1884

Preprint Number 1884

Previous Next Preprint server

1884. Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, and Thomas Scanlon
Multi-experiment parameter identifiability of ODEs and model theory

Submission date: 21 November 2020


Structural identifiability is a property of an ODE model with parameters that allows for the parameters to be determined from continuous noise-free data. This is natural prerequisite for practical identifiability. Conducting multiple independent experiments could make more parameters or functions of parameters identifiable, which is a desirable property to have. How many experiments are sufficient? In the present paper, we provide 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 experiments for multi-experiment global identifiability.
Interestingly, the main theoretical ingredient of the algorithm has been discovered and proved using model theory (in the sense of mathematical logic).
We hope that this unexpected connection will stimulate interactions between applied algebra and model theory, and we provide a short introduction to model theory in the context of parameter identifiability. As another related application of model theory in this area, we construct a nonlinear ODE system with one output such that single-experiment and mutiple-experiment identifiability are different for the system. This contrasts with recent results about single-output linear systems.
We also present a Monte Carlo randomized version of the algorithm with a polynomial arithmetic complexity. Implementation of the algorithm is provided and its performance is demonstrated on several examples. The source code is available at

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2011.10868: pdf, ps.

Last updated: March 23 2021 10:21 Please send your corrections to: