DAISY: a new software tool to test global identifiability of biological and physiological systems
- PMID: 17707944
- PMCID: PMC2888537
- DOI: 10.1016/j.cmpb.2007.07.002
DAISY: a new software tool to test global identifiability of biological and physiological systems
Abstract
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/.
Figures


Similar articles
-
Examples of testing global identifiability of biological and biomedical models with the DAISY software.Comput Biol Med. 2010 Apr;40(4):402-7. doi: 10.1016/j.compbiomed.2010.02.004. Epub 2010 Feb 24. Comput Biol Med. 2010. PMID: 20185123 Free PMC article.
-
An effective automatic procedure for testing parameter identifiability of HIV/AIDS models.Bull Math Biol. 2011 Aug;73(8):1734-53. doi: 10.1007/s11538-010-9588-2. Epub 2010 Oct 17. Bull Math Biol. 2011. PMID: 20953911
-
Global identifiability of linear compartmental models--a computer algebra algorithm.IEEE Trans Biomed Eng. 1998 Jan;45(1):36-47. doi: 10.1109/10.650350. IEEE Trans Biomed Eng. 1998. PMID: 9444838
-
Review: To be or not to be an identifiable model. Is this a relevant question in animal science modelling?Animal. 2018 Apr;12(4):701-712. doi: 10.1017/S1751731117002774. Epub 2017 Nov 3. Animal. 2018. PMID: 29096725 Review.
-
Structural identifiability analysis of epidemic models based on differential equations: a tutorial-based primer.J Math Biol. 2023 Nov 3;87(6):79. doi: 10.1007/s00285-023-02007-2. J Math Biol. 2023. PMID: 37921877 Review.
Cited by
-
Practical Identifiability of Plant Growth Models: A Unifying Framework and Its Specification for Three Local Indices.Plant Phenomics. 2024 Feb 9;6:0133. doi: 10.34133/plantphenomics.0133. eCollection 2024. Plant Phenomics. 2024. PMID: 38347917 Free PMC article.
-
Computationally efficient framework for diagnosing, understanding and predicting biphasic population growth.J R Soc Interface. 2022 Dec;19(197):20220560. doi: 10.1098/rsif.2022.0560. Epub 2022 Dec 7. J R Soc Interface. 2022. PMID: 36475389 Free PMC article.
-
Hydrogenotrophic methanogens of the mammalian gut: Functionally similar, thermodynamically different-A modelling approach.PLoS One. 2019 Dec 11;14(12):e0226243. doi: 10.1371/journal.pone.0226243. eCollection 2019. PLoS One. 2019. PMID: 31826000 Free PMC article.
-
Can Population Modelling Principles be Used to Identify Key PBPK Parameters for Paediatric Clearance Predictions? An Innovative Application of Optimal Design Theory.Pharm Res. 2018 Sep 14;35(11):209. doi: 10.1007/s11095-018-2487-1. Pharm Res. 2018. PMID: 30218393 Free PMC article.
-
Next-generation, personalised, model-based critical care medicine: a state-of-the art review of in silico virtual patient models, methods, and cohorts, and how to validation them.Biomed Eng Online. 2018 Feb 20;17(1):24. doi: 10.1186/s12938-018-0455-y. Biomed Eng Online. 2018. PMID: 29463246 Free PMC article. Review.
References
-
- Audoly S, D’Angiò L, Saccomani MP, Cobelli C. Global identifiability of linear compartmental models. IEEE Trans. Biomed. Eng. 1998;vol. 45:36–47. - PubMed
-
- Audoly S, Bellu G, D’Angiò L, Saccomani MP, Cobelli C. Global identifiability of nonlinear models of biological systems. IEEE Trans. Biomed. Eng. 2001;vol. 48(no. 1):55–65. - PubMed
-
- Buchberger B. An algorithmical criterion for the solvability of algebraic system of equation. Aequationes Mathematicae. 1988;vol. 4(no. 3):45–50.
-
- Chapman MJ, Godfrey KR, Chappell MJ, Evans ND. Structural identifiability of non-linear systems using linear/non-linear splitting. Int. J. Control. 2003;vol. 76(no. 3):209–216.
-
- Chappell MJ, Godfrey KR. Structural identifiability of the parameters of a nonlinear batch reactor model. Math. Biosci. 1992;vol. 108:245–251. - PubMed
MeSH terms
Grants and funding
LinkOut - more resources
Full Text Sources