Calculating all multiple parameter solutions of ODE models to avoid biological misinterpretations.

Biological system's dynamics are increasingly studied with nonlinear ordinary differential equations, whose parameters are estimated from input/output experimental data. Structural identifiability analysis addresses the theoretical question whether the inverse problem of recovering the unknown parameters from noise-free data is uniquely solvable (global), or if there is a finite (local), or an infinite number (non identifiable) of parameter values that generate identical input/output trajectories. In contrast, practical identifiability analysis aims to assess whether the experimental data provide information on the parameter estimates in terms of precision and accuracy.

Comparison of approaches for parameter identifiability analysis of biological systems.

Motivation: Modeling of dynamical systems using ordinary differential equations is a popular approach in the field of Systems Biology. The amount of experimental data that are used to build and calibrate these models is often limited. In this setting, the model parameters may not be uniquely determinable.

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

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.

Cellular signaling identifiability analysis: a case study.

Two primary purposes for mathematical modeling in cell biology are (1) simulation for making predictions of experimental outcomes and (2) parameter estimation for drawing inferences from experimental data about unobserved aspects of biological systems. While the former purpose has become common in the biological sciences, the latter is less common, particularly when studying cellular and subcellular phenomena such as signaling-the focus of the current study. Data are difficult to obtain at this level.

Examples of testing global identifiability of biological and biomedical models with the DAISY software.

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.

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.

Conceptual, methodological and computational issues concerning the compartmental modeling of a complex biological system: Postprandial inter-organ metabolism of dietary nitrogen in humans.

A multi-compartmental model has been developed to describe dietary nitrogen (N) postprandial distribution and metabolism in humans. This paper details the entire process of model development, including the successive steps of its construction, parameter estimation and validation. The model was built using experimental data on dietary N kinetics in certain accessible pools of the intestine, blood and urine in healthy adults fed a [15N]-labeled protein meal.