274 research outputs found
Structural Identifiability of Systems Biology Models: A Critical Comparison of Methods
Analysing the properties of a biological system through in silico experimentation requires a satisfactory mathematical representation of the system including accurate values of the model parameters. Fortunately, modern experimental techniques allow obtaining time-series data of appropriate quality which may then be used to estimate unknown parameters. However, in many cases, a subset of those parameters may not be uniquely estimated, independently of the experimental data available or the numerical techniques used for estimation. This lack of identifiability is related to the structure of the model, i.e. the system dynamics plus the observation function. Despite the interest in knowing a priori whether there is any chance of uniquely estimating all model unknown parameters, the structural identifiability analysis for general non-linear dynamic models is still an open question. There is no method amenable to every model, thus at some point we have to face the selection of one of the possibilities. This work presents a critical comparison of the currently available techniques. To this end, we perform the structural identifiability analysis of a collection of biological models. The results reveal that the generating series approach, in combination with identifiability tableaus, offers the most advantageous compromise among range of applicability, computational complexity and information provided
Waring identifiability for powers of forms via degenerations
We discuss an approach to the secant non-defectivity of the varieties
parametrizing -th powers of forms of degree . It employs a Terracini type
argument along with certain degeneration arguments, some of which are based on
toric geometry. This implies a result on the identifiability of the Waring
decompositions of general forms of degree kd as a sum of -th powers of
degree forms, for which an upper bound on the Waring rank was proposed by
Fr\"oberg, Ottaviani and Shapiro.Comment: 26 pages, 2 figures. Fixed a typo in the statement of Theorem 1.2 and
Corollary 5.
A probabilistic algorithm to test local algebraic observability in polynomial time
The following questions are often encountered in system and control theory.
Given an algebraic model of a physical process, which variables can be, in
theory, deduced from the input-output behavior of an experiment? How many of
the remaining variables should we assume to be known in order to determine all
the others? These questions are parts of the \emph{local algebraic
observability} problem which is concerned with the existence of a non trivial
Lie subalgebra of the symmetries of the model letting the inputs and the
outputs invariant. We present a \emph{probabilistic seminumerical} algorithm
that proposes a solution to this problem in \emph{polynomial time}. A bound for
the necessary number of arithmetic operations on the rational field is
presented. This bound is polynomial in the \emph{complexity of evaluation} of
the model and in the number of variables. Furthermore, we show that the
\emph{size} of the integers involved in the computations is polynomial in the
number of variables and in the degree of the differential system. Last, we
estimate the probability of success of our algorithm and we present some
benchmarks from our Maple implementation.Comment: 26 pages. A Maple implementation is availabl
Identifiability problem for recovering the mortality rate in an age-structured population dynamics model
In this article is studied the identifiability of the age-dependent mortality rate of the Von Foerster-Mc Kendrick model, from the observation of a given age group of the population. In the case where there is no renewal for the population, translated by an additional homogeneous boundary condition to the Von Foerster equation, we give a necessary and sufficient condition on the initial density that ensures the mortality rate identifiability. In the inhomogeneous case, modeled by a non local boundary condition, we make explicit a sufficicent condition for the identifiability property, and give a condition for which the identifiability problem is ill-posed. We illustrate this latter case with numercial simulation
A comprehensive analysis of the geometry of TDOA maps in localisation problems
In this manuscript we consider the well-established problem of TDOA-based
source localization and propose a comprehensive analysis of its solutions for
arbitrary sensor measurements and placements. More specifically, we define the
TDOA map from the physical space of source locations to the space of range
measurements (TDOAs), in the specific case of three receivers in 2D space. We
then study the identifiability of the model, giving a complete analytical
characterization of the image of this map and its invertibility. This analysis
has been conducted in a completely mathematical fashion, using many different
tools which make it valid for every sensor configuration. These results are the
first step towards the solution of more general problems involving, for
example, a larger number of sensors, uncertainty in their placement, or lack of
synchronization.Comment: 51 pages (3 appendices of 12 pages), 12 figure
- …