1,720,962 research outputs found
Identifiability of nonlinear systems with given initial conditions.
No full textIdentifiability is a fundamental prerequisite for model identification; it concerns uniqueness of the model parameters determined from the input–output data, under ideal conditions of noise-free observations and error-free model structure. In the late 1980s concepts of differential algebra have been introduced in control and system theory. Recently, differential algebra tools have been applied to study the identifiability of dynamic systems described by polynomial equations. These methods all exploit the characteristic set of the differential ideal generated by the polynomials defining the system. In this paper, it will be shown that the identifiability test procedures based on differential algebra may fail for systems which are started at specific initial conditions and that this problem is strictly related to the accessibility of the system from the given initial conditions. In particular, when the system is not accessible from the given initial conditions, the ideal I having as generators the polynomials defining the dynamic system may not correctly describe the manifold of the solution. In this case a new ideal that includes all differential polynomials vanishing at the solution of the dynamic system started from the initial conditions should be calculated. An identifiability test is proposed which works, under certain technical hypothesis, also for systems with specific initial conditions
A differential algebra algorithm to test a priori global identifiability of nonlinear systems
No full text
DAISY: a new software tool to test global identifiability of biological and physiological systems.
No full textA 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/
Examples of testing global identifiability of biological and biomedical models with the DAISY software.
No full textDAISY (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/
A new differential algebra algorithm to test identifiability of nonlinear systems with given initial conditions
No full textGlobal identifiability of linear compartmental models. A computer algebra algorithm.
No full textA priori global identifiability deals with the uniqueness of the solution for the unknown parameters of a model and is, thus, a prerequisite for parameter estimation of biological dynamic models. Global identifiability is however difficult to test, since it requires solving a system of algebraic nonlinear equations which increases both in nonlinearity degree and number of terms and unknowns with increasing model carrier. In this paper, a computer algebra tool, GLOBI (GLOBal Identifiability) is presented, which combines the topological transfer function method with the Buchberger algorithm, to test global identifiability of linear compartmental models. GLOBI allows far the automatic testing of a priori global identifiability of general structure compartmental models from general multi input-multi output experiments. Examples of usage of GLOBI to analyze a priori global identifiability of some complex biological compartmental models are provided
Global identifiability of nonlinear models of biological systems
No full textA prerequisite for well-posedness of parameter estimation of biological and physiological systems is a priori global identifiability, a property which concerns uniqueness of the solution for the unknown model parameters. Assessing a priori global identifiability is particularly difficult for nonlinear dynamic models. Various approaches have been proposed in the literature but no solution exists in the general case. In this paper we present a new algorithm for testing global identifiability of nonlinear dynamic models, based on differential algebra. The characteristic set associated to the dynamic equations is calculated in an efficient way and computer algebra techniques are used to solve the resulting set of nonlinear algebraic equations. The algorithm is capable of handling many features arising in biological system models, including zero initial conditions and time-varying parameters. Examples of usage of the algorithm for analyzing a priori global identifiability of nonlinear models of biological and physiological systems are presented
A New Version of DAISY to Test Structural Identifiability of Biological Models
No full textOften ODE models in systems biology, medical research, epidemiology, ecology and many other areas, contain unknown parameters which need to be estimated from experimental data. Identifiability deals with the uniqueness of the relation between model parameters and ODE solution thus being a prerequisite for the well-posedness of parameter estimation. In this paper a novel extension of the software tool DAISY (Differential Algebra for Identifiability of SYstems) is presented. DAISY performs structural identifiability analysis for linear and nonlinear dynamic models described by polynomial or rational ODE’s. The major upgrades of this new version regard the ability to include in the identifiability analysis either known and unknown model initial conditions, the possibility of entering a parameter estimate to calculate all the equivalent parameter solutions, the portability to MacOS platforms and an user-friendly interface. These upgrades make DAISY surely more general and easy to use. Practical examples are presented. DAISY is available at the web site daisy.dei.unipd.it
- …
