3,764 research outputs found
Input-dependent structural identifiability of nonlinear systems
A dynamic model is structurally identifiable if it is possible to infer its unknown parameters by observing its output. Structural identifiability depends on the system dynamics, output, and input, as well as on the specific values of initial conditions and parameters. Here we present a symbolic method that characterizes the input that a model requires to be structurally identifiable. It determines which derivatives must be non-zero in order to have a sufficiently exciting input. Our approach considers structural identifiability as a generalization of nonlinear observability and incorporates extended Lie derivatives. The methodology assesses structural identifiability for time-varying inputs and, additionally, it can be used to determine the input profile that is required to make the parameters structurally locally identifiable. Furthermore, it is sometimes possible to replace an experiment with time-varying input with multiple experiments with constant inputs. We implement the resulting method as a MATLAB toolbox named STRIKE-GOLDD2. This tool can assist in the design of new experiments for the purpose of parameter estimation
Observability and Structural Identifiability of Nonlinear Biological Systems
Observability is a modelling property that describes the possibility of
inferring the internal state of a system from observations of its output. A
related property, structural identifiability, refers to the theoretical
possibility of determining the parameter values from the output. In fact,
structural identifiability becomes a particular case of observability if the
parameters are considered as constant state variables. It is possible to
simultaneously analyse the observability and structural identifiability of a
model using the conceptual tools of differential geometry. Many complex
biological processes can be described by systems of nonlinear ordinary
differential equations, and can therefore be analysed with this approach. The
purpose of this review article is threefold: (I) to serve as a tutorial on
observability and structural identifiability of nonlinear systems, using the
differential geometry approach for their analysis; (II) to review recent
advances in the field; and (III) to identify open problems and suggest new
avenues for research in this area.Comment: Accepted for publication in the special issue "Computational Methods
for Identification and Modelling of Complex Biological Systems" of Complexit
Dynamical compensation and structural identifiability: analysis, implications, and reconciliation
The concept of dynamical compensation has been recently introduced to
describe the ability of a biological system to keep its output dynamics
unchanged in the face of varying parameters. Here we show that, according to
its original definition, dynamical compensation is equivalent to lack of
structural identifiability. This is relevant if model parameters need to be
estimated, which is often the case in biological modelling. This realization
prompts us to warn that care should we taken when using an unidentifiable model
to extract biological insight: the estimated values of structurally
unidentifiable parameters are meaningless, and model predictions about
unmeasured state variables can be wrong. Taking this into account, we explore
alternative definitions of dynamical compensation that do not necessarily imply
structural unidentifiability. Accordingly, we show different ways in which a
model can be made identifiable while exhibiting dynamical compensation. Our
analyses enable the use of the new concept of dynamical compensation in the
context of parameter identification, and reconcile it with the desirable
property of structural identifiability
Understanding predictive uncertainty in hydrologic modeling: The challenge of identifying input and structural errors
Meaningful quantification of data and structural uncertainties in conceptual rainfall-runoff modeling is a major scientific and engineering challenge. This paper focuses on the total predictive uncertainty and its decomposition into input and structural components under different inference scenarios. Several Bayesian inference schemes are investigated, differing in the treatment of rainfall and structural uncertainties, and in the precision of the priors describing rainfall uncertainty. Compared with traditional lumped additive error approaches, the quantification of the total predictive uncertainty in the runoff is improved when rainfall and/or structural errors are characterized explicitly. However, the decomposition of the total uncertainty into individual sources is more challenging. In particular, poor identifiability may arise when the inference scheme represents rainfall and structural errors using separate probabilistic models. The inference becomes ill‐posed unless sufficiently precise prior knowledge of data uncertainty is supplied; this ill‐posedness can often be detected from the behavior of the Monte Carlo sampling algorithm. Moreover, the priors on the data quality must also be sufficiently accurate if the inference is to be reliable and support meaningful uncertainty decomposition. Our findings highlight the inherent limitations of inferring inaccurate hydrologic models using rainfall‐runoff data with large unknown errors. Bayesian total error analysis can overcome these problems using independent prior information. The need for deriving independent descriptions of the uncertainties in the input and output data is clearly demonstrated.Benjamin Renard, Dmitri Kavetski, George Kuczera, Mark Thyer, and Stewart W. Frank
Data-driven modelling of biological multi-scale processes
Biological processes involve a variety of spatial and temporal scales. A
holistic understanding of many biological processes therefore requires
multi-scale models which capture the relevant properties on all these scales.
In this manuscript we review mathematical modelling approaches used to describe
the individual spatial scales and how they are integrated into holistic models.
We discuss the relation between spatial and temporal scales and the implication
of that on multi-scale modelling. Based upon this overview over
state-of-the-art modelling approaches, we formulate key challenges in
mathematical and computational modelling of biological multi-scale and
multi-physics processes. In particular, we considered the availability of
analysis tools for multi-scale models and model-based multi-scale data
integration. We provide a compact review of methods for model-based data
integration and model-based hypothesis testing. Furthermore, novel approaches
and recent trends are discussed, including computation time reduction using
reduced order and surrogate models, which contribute to the solution of
inference problems. We conclude the manuscript by providing a few ideas for the
development of tailored multi-scale inference methods.Comment: This manuscript will appear in the Journal of Coupled Systems and
Multiscale Dynamics (American Scientific Publishers
The use of a formal sensitivity analysis on epidemic models with immune protection from maternally acquired antibodies
This paper considers the outcome of a formal sensitivity analysis on a series of epidemic model structures developed to study the population level effects of maternal antibodies. The analysis is used to compare the potential influence of maternally acquired immunity on various age and time domain observations of infection and serology, with and without seasonality. The results of the analysis indicate that time series observations are largely insensitive to variations in the average duration of this protection, and that age related empirical data are likely to be most appropriate for estimating these characteristics
A Manifesto for the Equifinality Thesis.
This essay discusses some of the issues involved in the identification and predictions of hydrological models given some calibration data. The reasons for the incompleteness of traditional calibration methods are discussed. The argument is made that the potential for multiple acceptable models as representations of hydrological and other environmental systems (the equifinality thesis) should be given more serious consideration than hitherto. It proposes some techniques for an extended GLUE methodology to make it more rigorous and outlines some of the research issues still to be resolved
Causal Discovery with Continuous Additive Noise Models
We consider the problem of learning causal directed acyclic graphs from an
observational joint distribution. One can use these graphs to predict the
outcome of interventional experiments, from which data are often not available.
We show that if the observational distribution follows a structural equation
model with an additive noise structure, the directed acyclic graph becomes
identifiable from the distribution under mild conditions. This constitutes an
interesting alternative to traditional methods that assume faithfulness and
identify only the Markov equivalence class of the graph, thus leaving some
edges undirected. We provide practical algorithms for finitely many samples,
RESIT (Regression with Subsequent Independence Test) and two methods based on
an independence score. We prove that RESIT is correct in the population setting
and provide an empirical evaluation
- …