DAISY
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/.
Keywords for this software
References in zbMATH (referenced in 38 articles )
Showing results 1 to 20 of 38.
Sorted by year (- Gross, Elizabeth; Harrington, Heather; Meshkat, Nicolette; Shiu, Anne: Linear compartmental models: input-output equations and operations that preserve identifiability (2019)
- Jeronimo, Gabriela; Pérez Millán, Mercedes; Solernó, Pablo: Identifiability from a few species for a class of biochemical reaction networks (2019)
- Lund, Alana; Dyke, Shirley J.; Song, Wei; Bilionis, Ilias: Global sensitivity analysis for the design of nonlinear identification experiments (2019)
- Saccomani, M. P.; Bellu, G.; Audoly, S.; d’Angió, L.: A new version of DAISY to test structural identifiability of biological models (2019)
- Verdière, N.; Orange, S.: A systematic approach for doing an a priori identifiability study of dynamical nonlinear models (2019)
- Villaverde, Alejandro F.: Observability and structural identifiability of nonlinear biological systems (2019)
- Janzén, David L. I.; Jirstrand, Mats; Chappell, Michael J.; Evans, Neil D.: Extending existing structural identifiability analysis methods to mixed-effects models (2018)
- Müller, Christian; Weysser, Fabian; Mrziglod, Thomas; Schuppert, Andreas: Markov-chain Monte-Carlo methods and non-identifiabilities (2018)
- Saccomani, Maria Pia; Thomaseth, Karl: The union between structural and practical identifiability makes strength in reducing oncological model complexity: a case study (2018)
- Tuncer, Necibe; Le, Trang T.: Structural and practical identifiability analysis of outbreak models (2018)
- Tuncer, Necibe; Marctheva, Maia; LaBarre, Brian; Payoute, Sabrina: Structural and practical identifiability analysis of zika epidemiological models (2018)
- Davidson, Shaun M.; Docherty, Paul D.; Murray, Rua: The dimensional reduction method for identification of parameters that trade-off due to similar model roles (2017)
- Eisenberg, Marisa C.; Jain, Harsh V.: A confidence building exercise in data and identifiability: modeling cancer chemotherapy as a case study (2017)
- Nimmegeers, Philippe; Lauwers, Joost; Telen, Dries; Logist, Filip; van Impe, Jan: Identifiability of large-scale non-linear dynamic network models applied to the ADM1-case study (2017)
- Joyner, Michele L.; Manning, Cammey C.; Forbes, Whitney; Maiden, Michelle; Nikas, Ariel N.: A physiologically-based pharmacokinetic model for the antibiotic ertapenem (2016)
- Letham, Benjamin; Letham, Portia A.; Rudin, Cynthia; Browne, Edward P.: Prediction uncertainty and optimal experimental design for learning dynamical systems (2016)
- Tuncer, Necibe; Gulbudak, Hayriye; Cannataro, Vincent L.; Martcheva, Maia: Structural and practical identifiability issues of immuno-epidemiological vector-host models with application to Rift Valley Fever (2016)
- Clermont, Gilles; Zenker, Sven: The inverse problem in mathematical biology (2015)
- Haffke, Björn; Möller, Riccardo; Melz, Tobias; Strackeljan, Jens: Validation of simulation models without knowledge of parameters using differential algebra (2015)
- 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)