Examples of testing global identifiability of biological and biomedical models with the DAISY software.
Examples of testing global identifiability of biological and biomedical models with the DAISY software.
复制标题
DOI：
10.1016/j.compbiomed.2010.02.004
复制
发表时间：
2010-04
影响因子：
7.7
通讯作者：
D'Angio, Leontina
中科院分区：
文献类型：
--
作者：
Saccomani, Maria Pia;Audoly, Stefania;Bellu, Giuseppina;D'Angio, Leontina
关键词：
DAISY（Differential Algebra for Identifiability of Systems）是近年来发展起来的一种计算机代数软件工具，它可以自动检验由多项式或有理函数微分方程描述的（线性和）非线性动态模型的全局可辨识性。全局可辨识性是模型辨识的一个基本前提，它不仅对生物或医学系统很重要，而且对许多由第一性原理导出的物理和工程系统也很重要。缺乏可识别性意味着参数估计技术可能不会失败，但任何获得的数值估计将是毫无意义的。该软件不需要理解基本的数学原理，可以由具有最低数学背景的应用领域的研究人员使用。我们说明了DAISY软件检查的先验全局可识别性的两个基准非线性模型从文献中。这两个例子的分析包括与其他方法的比较，并演示了如何识别分析是由这个工具简化。因此，我们说明了其他两个例子的可识别性分析，包括讨论的一些具体方面有关的作用的可观测性和知识的初始条件，在测试可识别性和软件的计算复杂性。本文的主要重点不是在描述的数学背景的算法，这已在其他地方，但说明其使用和它的一些更有趣的功能。DAISY可在网站http://www.dei.unipd.it/~pia/上查阅。
DAISY (Differential Algebra for Identifiability of SYstems) is a recently developed computer algebra software tool which can be used to automatically check global identifiability of (linear and) nonlinear dynamic models described by differential equations involving polynomial or rational functions. Global identifiability is a fundamental prerequisite for model identification which is important not only for biological or medical systems but also for many physical and engineering systems derived from first principles. Lack of identifiability implies that the parameter estimation techniques may not fail but any obtained numerical estimates will be meaningless. The software does not require understanding of the underlying mathematical principles and can be used by researchers in applied fields with a minimum of mathematical background. We illustrate the DAISY software by checking the a priori global identifiability of two benchmark nonlinear models taken from the literature. The analysis of these two examples includes comparison with other methods and demonstrates how identifiability analysis is simplified by this tool. Thus we illustrate the identifiability analysis of other two examples, by including discussion of some specific aspects related to the role of observability and knowledge of initial conditions in testing identifiability and to the computational complexity of the software. The main focus of this paper is not on the description of the mathematical background of the algorithm, which has been presented elsewhere, but on illustrating its use and on some of its more interesting features. DAISY is available on the web site http://www.dei.unipd.it/~pia/.
登录
查看更多内容
影响因子：
4.6
作者：
WALTER, E;LECOURTIER, Y
通讯作者：
LECOURTIER, Y
影响因子：
6.4
作者：
LJUNG, L;GLAD, T
通讯作者：
GLAD, T
影响因子：
6.4
作者：
Saccomani, MP;Audoly, S;D'Angiò, L
通讯作者：
D'Angiò, L
影响因子：
4.6
作者：
Audoly, S;Bellu, G;Cobelli, C
通讯作者：
Cobelli, C
影响因子：
6.4
作者：
Joly-Blanchard, G;Denis-Vidal, L
通讯作者：
Denis-Vidal, L