Algorithm to find new identifiable reparametrizations of parametric rational ODE models
Nicolette Meshkat, Alexey Ovchinnikov, and Thomas Scanlon

TL;DR
This paper introduces a new algorithm to find globally identifiable reparametrizations of parametric rational ODE models, broadening the class of models that can be transformed into identifiable forms, especially for linear models.
Contribution
The paper develops an algorithm that extends existing methods to find globally identifiable reparametrizations for a wider range of models, including explicit formulas for certain linear models.
Findings
A globally identifiable reparametrization always exists for linear models.
Explicit reparametrization formulas are provided for specific linear compartmental models.
The method is demonstrated on multiple examples with detailed analysis available online.
Abstract
Structural identifiability concerns the question of which unknown parameters of a model can be recovered from (perfect) input-output data. If all of the parameters of a model can be recovered from data, the model is said to be identifiable. However, in many models, there are parameters that can take on an infinite number of values but yield the same input-output data. In this case, those parameters and the model are called unidentifiable. The question is then what to do with an unidentifiable model. One can try to add more input-output data or decrease the number of unknown parameters, if experimentally feasible, or try to find a reparametrization to make the model identifiable. In this paper, we take the latter approach. While existing approaches to find identifiable reparametrizations were limited to scaling reparametrizations or were not guaranteed to find a globally identifiable…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Advanced Control Systems Optimization · Scientific Measurement and Uncertainty Evaluation
