Source author record

Atte Aalto

Atte Aalto appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.OC math.AP math.DS math.ST Molecular Networks Statistics Theory

Catalog footprint

What is connected

7works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Continuous time Gaussian process dynamical models in gene regulatory network inference

One of the focus areas of modern scientific research is to reveal mysteries related to genes and their interactions. The dynamic interactions between genes can be encoded into a gene regulatory network (GRN), which can be used to gain understanding on the genetic mechanisms behind observable phenotypes. GRN inference from time series data has recently been a focus area of systems biology. Due to low sampling frequency of the data, this is a notoriously difficult problem. We tackle the challenge by introducing the so-called continuous-time Gaussian process dynamical model, based on Gaussian process framework that has gained popularity in nonlinear regression problems arising in machine learning. The model dynamics are governed by a stochastic differential equation, where the dynamics function is modelled as a Gaussian process. We prove the existence and uniqueness of solutions of the stochastic differential equation. We derive the probability distribution for the Euler discretised trajectories and establish the convergence of the discretisation. We develop a GRN inference method called BINGO, based on the developed framework. BINGO is based on MCMC sampling of trajectories of the GPDM and estimating the hyperparameters of the covariance function of the Gaussian process. Using benchmark data examples, we show that BINGO is superior in dealing with poor time resolution and it is computationally feasible.

preprint2016arXiv

Iterative observer-based state and parameter estimation for linear systems

We propose an iterative method for joint state and parameter estimation using measurements on a time interval [0,T] for systems that are backward output stabilizable. Since this time interval is fixed, errors in initial state may have a big impact on the parameter estimate. We propose to use the back and forth nudging (BFN) method for estimating the system's initial state and a Gauss--Newton step between BFN iterations for estimating the system parameters. Taking advantage of results on the optimality of the BFN method, we show that for systems with skew-adjoint generators, the initial state and parameter estimate minimizing an output error cost functional is an attractive fixed point for the proposed method. We treat both linear source estimation and bilinear parameter estimation problems.

preprint2016arXiv

Output error minimizing back and forth nudging method for initial state recovery

We show that for linear dynamical systems with skew-adjoint generators, the initial state estimate given by the back and forth nudging method with colocated feedback, converges to the minimizer of the discrepancy between the measured and simulated outputs - given that the observer gains are chosen suitably and the system is exactly observable. If the system's generator A is essentially skew-adjoint and dissipative (with not too much dissipation), the colocated feedback has to be corrected by the operator e^{At}e^{A*t} in order to obtain such convergence. In some special cases, a feasible approximation for this operator can be found analytically. The case with wave equation with constant dissipation will be demonstrated.

preprint2015arXiv

Convergence of discrete time Kalman filter estimate to continuous time estimate

This article is concerned with the convergence of the state estimate obtained from the discrete time Kalman filter to the continuous time estimate as the temporal discretization is refined. We derive convergence rate estimates for different systems, first finite dimensional and then infinite dimensional with bounded or unbounded observation operators. Finally, we derive the convergence rate in the case where the system dynamics is governed by an analytic semigroup. The proofs are based on applying the discrete time Kalman filter on a dense numerable subset of a certain time interval $[0,T]$.

preprint2015arXiv

Convergence of discrete-time Kalman filter estimate to continuous-time estimate for systems with unbounded observation

In this article, we complement recent results on the convergence of the state estimate obtained by applying the discrete-time Kalman filter on a time-sampled continuous-time system. As the temporal discretization is refined, the estimate converges to the continuous-time estimate given by the Kalman--Bucy filter. We shall give bounds for the convergence rates for the variance of the discrepancy between these two estimates. The contribution of this article is to generalize the convergence results to systems with unbounded observation operators under different sets of assumptions, including systems with diagonaliz-able generators, systems with admissible observation operators, and systems with analytic semigroups. The proofs are based on applying the discrete-time Kalman filter on a dense, numerable subset on the time interval [0,T] and bounding the increments obtained. These bounds are obtained by studying the regularity of the underlying semigroup and the noise-free output.

preprint2014arXiv

Spatial discretization error in Kalman filtering for discrete-time infinite dimensional systems

We derive a reduced-order state estimator for discrete-time infinite dimensional linear systems with finite dimensional Gaussian input and output noise. This state estimator is the optimal one-step estimate that takes values in a fixed finite dimensional subspace of the system's state space --- consider, for example, a Finite Element space. We then derive a Riccati difference equation for the error covariance and use sensitivity analysis to obtain a bound for the error of the state estimate due to the state space discretization.

preprint2013arXiv

Acoustic wave guides as infinite-dimensional dynamical systems

We prove the unique solvability, passivity/conservativity and some regularity results of two mathematical models for acoustic wave propagation in curved, variable diameter tubular structures of finite length. The first of the models is the generalised Webster's model that includes dissipation and curvature of the 1D waveguide. The second model is the scattering passive, boundary controlled wave equation on 3D waveguides. The two models are treated in an unified fashion so that the results on the wave equation reduce to the corresponding results of approximating Webster's model at the limit of vanishing waveguide intersection.