An effective automatic procedure for testing parameter identifiability of HIV/AIDS models

MP Saccomani - Bulletin of mathematical biology, 2011 - Springer
Bulletin of mathematical biology, 2011Springer
Realistic HIV models tend to be rather complex and many recent models proposed in the
literature could not yet be analyzed by traditional identifiability testing techniques. In this
paper, we check a priori global identifiability of some of these nonlinear HIV models taken
from the recent literature, by using a differential algebra algorithm based on previous work of
the author. The algorithm is implemented in a software tool, called DAISY (Differential
Algebra for Identifiability of SYstems), which has been recently released (DAISY is freely …
Abstract
Realistic HIV models tend to be rather complex and many recent models proposed in the literature could not yet be analyzed by traditional identifiability testing techniques. In this paper, we check a priori global identifiability of some of these nonlinear HIV models taken from the recent literature, by using a differential algebra algorithm based on previous work of the author. The algorithm is implemented in a software tool, called DAISY (Differential Algebra for Identifiability of SYstems), which has been recently released (DAISY is freely available on the web site http://www.dei.unipd.it/~pia/ ). The software can be used to automatically check global identifiability of (linear and) nonlinear models described by polynomial or rational differential equations, thus providing a general and reliable tool to test global identifiability of several HIV models proposed in the literature. It can be used by researchers with a minimum of mathematical background.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果