Markus Gerdin

On parameter and state estimation for linear differential-algebraic equations

The current demand for more complex models has initiated a shift away from state-space models towards models described by differential-algebraic equations (DAEs). These models arise as the natural product of object-oriented modeling languages, such as Modelica. However, the mathematics of DAEs is somewhat more involved than the standard state-space theory. The aim of this work is to present a well-posed description of a linear stochastic differential-algebraic equation and more importantly explain how well-posed estimation problems can be formed. We will consider both the system identification problem and the state estimation problem. Besides providing the necessary theory we will also explain how the procedures can be implemented by means of efficient numerical methods.

Nonlinear Stochastic Differential-Algebraic Equations with Application to Particle Filtering

Differential-algebraic equation (DAE) models naturally arise when modeling physical systems from first principles. To be able to use such models for state estimation procedures such as particle filtering, it is desirable to include a noise model. This paper discusses well-posedness of differential-algebraic equations with noise models, here denoted stochastic differential-algebraic equations. Since the exact conditions are rather involved, approximate implementation methods are also discussed. It is also discussed how a particle filter can be implemented for DAE models, and how the approximate implementation methods can be used for particle filtering. Finally, the particle filtering methods are exemplified by implementation of a particle filter for a DAE model

Parameter Estimation in Linear Differential-Algebraic Equations

This report describes how parameter estimation can be performed in linear DAE systems. Both time domain and frequency domain identification are examined. The results are exemplified on a small syst ...

Well-posedness of Filtering Problems for Stochastic Linear DAE Models

Modern modeling tools often give descriptor or DAE models, i.e., models consisting of a mixture of differential and algebraic relationships. The introduction of stochastic signals into such models in connection with filtering problems raises several questions of well-posedness. The main problem is that the system equations may contain hidden relationships affecting variables defined as white noise. The result might be that certain physical variables get infinite variance or contain formal differentiations of white noise. The paper gives conditions for well-posedness in terms of certain subspaces defined by the system matrices.

Global Identifiability of Complex Models, Constructed from Simple Submodels

It is a typical situation in modern modeling that a total model is built up from simpler submodels, or modules, for example residing in a model library. The total model could be quite complex, while the modules are well understood and analysed. A procedure to decide global parameter identifiability for such a collection of model equations of differential-algebraic nature is suggested. It is shown how to make use of the natural modularization of the model structure. Basically, global identifiability is obtained if and only if each module is identifiable, and the connecting signals can be retrieved from the external signals, without knowledge of the values of the parameters.

On Identifiability of Object-Oriented Models

When estimating unknown parameters, it is important that the model is identifiable so that the parameters can be estimated uniquely. For nonlinear differential-algebraic equation models with polynomial equations, a differential algebra approach to examine identifiability is available. This approach can be slow, so the present paper describes how this method can be modularized for object-oriented models. A characteristic set of equations is computed for components in model libraries, and stored together with the components. When an object-oriented model is built using such models, identifiability can be examined using the stored equations.

Using DAE Solvers to Examine Local Identifiability for Linear and Nonlinear Systems

If a model structure is not identifiable, then it is not possible to uniquely identify its parameters from measured data. This contribution describes how solvers for differential-algebraic equations (DAE) can be used to examine if a model structure is locally identifiable. The procedure can be applied to both linear and nonlinear systems. If a model structure is not identifiable, it is also possible to examine which functions of the parameters that are locally identifiable.

Local Identifiability and Observability of Nonlinear Differential-Algebraic Equations

Identifiability is important to guarantee convergence in system identification applications, and observability is important in applications such as control and diagnosis. In this paper, recent resu ...