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 45 articles )
Showing results 1 to 20 of 45.
Sorted by year (- Lichtblau, Daniel: Symbolic analysis of multiple steady states in a MAPK chemical reaction network (2021)
- Gross, Elizabeth; Harrington, Heather; Meshkat, Nicolette; Shiu, Anne: Joining and decomposing reaction networks (2020)
- Kabanikhin, S. I.; Krivorotko, O. I.: Optimization methods for solving inverse immunology and epidemiology problems (2020)
- Kabanikhin, S. I.; Krivorotko, O. I.: Mathematical modeling of the Wuhan COVID-2019 epidemic and inverse problems (2020)
- Müller, Christian; Diedam, Holger; Mrziglod, Thomas; Schuppert, Andreas: A neural network assisted Metropolis adjusted Langevin algorithm (2020)
- 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)
- Olivier, Audrey; Smyth, Andrew W.: A marginalized unscented Kalman filter for efficient parameter estimation with applications to finite element models (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)