DAISY: A new software tool to test global identifiability of biological and physiological systems. A priori global identifiability is a structural property of biological and physiological models. It is considered a prerequisite for well-posed estimation, since it concerns the possibility of recovering uniquely the unknown model parameters from measured input–output data, under ideal conditions (noise-free observations and error-free model structure). Of course, determining if the parameters can be uniquely recovered from observed data is essential before investing resources, time and effort in performing actual biomedical experiments. Many interesting biological models are nonlinear but identifiability analysis for nonlinear system turns out to be a difficult mathematical problem. Different methods have been proposed in the literature to test identifiability of nonlinear models but, to the best of our knowledge, so far no software tools have been proposed for automatically checking identifiability of nonlinear models. In this paper, we describe a software tool implementing a differential algebra algorithm to perform parameter identifiability analysis for (linear and) nonlinear dynamic models described by polynomial or rational equations. Our goal is to provide the biological investigator a completely automatized software, requiring minimum prior knowledge of mathematical modelling and no in-depth understanding of the mathematical tools. The DAISY (Differential Algebra for Identifiability of SYstems) software will potentially be useful in biological modelling studies, especially in physiology and clinical medicine, where research experiments are particularly expensive and/or difficult to perform. Practical examples of use of the software tool DAISY are presented. DAISY is available at the web site http://www.dei.unipd.it/∼pia/.

References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Clermont, Gilles; Zenker, Sven: The inverse problem in mathematical biology (2015)
  2. Mansell, Erin J.; Docherty, Paul D.; Fisk, Liam M.; Chase, J.Geoffrey: Estimation of secondary effect parameters in glycaemic dynamics using accumulating data from a virtual type 1 diabetic patient (2015)
  3. Meshkat, Nicolette; Sullivant, Seth; Eisenberg, Marisa: Identifiability results for several classes of linear compartment models (2015)
  4. Wongvanich, N.; Hann, C.E.; Sirisena, H.R.: Robust global identifiability theory using potentials -- application to compartmental models (2015)
  5. Yang, Huan; Meijer, Hil G.E.; Doll, Robert J.; Buitenweg, Jan R.; van Gils, Stephan A.: Computational modeling of Adelta-fiber-mediated nociceptive detection of electrocutaneous stimulation (2015)
  6. Eisenberg, Marisa C.; Hayashi, Michael A. L.: Determining identifiable parameter combinations using subset profiling (2014)
  7. Berthoumieux, Sara; Brilli, Matteo; Kahn, Daniel; de Jong, Hidde; Cinquemani, Eugenio: On the identifiability of metabolic network models (2013)
  8. Petrov, Andrii Y.; Geoffrey Chase, J.; Sellier, Mathieu; Docherty, Paul D.: Non-identifiability of the Rayleigh damping material model in magnetic resonance elastography (2013)
  9. Meshkat, Nicolette; Anderson, Chris; DiStefano, Joseph J. III: Alternative to Ritt’s pseudodivision for finding the input-output equations of multi-output models (2012)
  10. Meshkat, Nicolette; Anderson, Chris; DiStefano, Joseph J.III: Finding identifiable parameter combinations in nonlinear ODE models and the rational reparameterization of their input-output equations (2011)
  11. Miao, Hongyu; Xia, Xiaohua; Perelson, Alan S.; Wu, Hulin: On identifiability of nonlinear ODE models and applications in viral dynamics (2011)
  12. Saccomani, Maria Pia: An effective automatic procedure for testing parameter identifiability of HIV/AIDS models (2011)
  13. Chase, J.Geoffrey; Mayntzhusen, Klaus; Docherty, Paul D.; Andreassen, Steen; McAuley, Kirsten A.; Lotz, Thomas F.; Hann, Christopher E.: A three-compartment model of the C-peptide-insulin dynamic during the DIST test (2010)
  14. Meshkat, Nicolette; Eisenberg, Marisa; DiStefano, Joseph J. III: An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using Gröbner bases (2009)