arXiv subjects

Sergiy Zhuk

Publications and source records attributed to Sergiy Zhuk.

47 records · Page 3Linked to original sources

arXiv2017

Exponentially convergent data assimilation algorithm for Navier-Stokes equations

The paper presents a new state estimation algorithm for a bilinear equation representing the Fourier- Galerkin (FG) approximation of the Navier-Stokes (NS) equations on a torus in R2. This state equation is subject to uncertain but bounded noise in the input (Kolmogorov forcing) and initial conditions, and its output is incomplete and contains bounded noise. The algorithm designs a time-dependent gain such that the estimation error converges to zero exponentially. The sufficient condition for the existence of the gain are formulated in the form of algebraic Riccati equations. To demonstrate the results we apply the proposed algorithm to the reconstruction a chaotic fluid flow from incomplete and noisy data.

math.OC↗

arXiv2017

Localised sequential state estimation for advection dominated flows with non-Gaussian uncertainty description

This paper presents a new iterative state estimation algorithm for advection dominated flows with non-Gaussian uncertainty description of $L^\infty$-type: uncertain initial condition and model error are assumed to be pointvise bounded in space and time, and the observation noise has uncertain but bounded second moments. The algorithm approximates this $L^\infty$-type bounding set by a union of possibly overlapping ellipsoids, which are localized (in space) on a number of sub-domains. On each sub-domain the state of the original system is estimated by the standard $L^2$-type filter (e.g. Kalman/minimax filter) which uses Gaussian/ellipsoidal uncertainty description and observations (if any) which correspond to this sub-domain. The resulting local state estimates are stitched together by the iterative d-ADN Schwartz method to reconstruct the state of the original system. The efficacy of the proposed method is demonstrated with a set of numerical examples.

math.OC↗

arXiv2017

A detectability criterion and data assimilation for non-linear differential equations

In this paper we propose a new sequential data assimilation method for non-linear ordinary differential equations with compact state space. The method is designed so that the Lyapunov exponents of the corresponding estimation error dynamics are negative, i.e. the estimation error decays exponentially fast. The latter is shown to be the case for generic regular flow maps if and only if the observation matrix H satisfies detectability conditions: the rank of H must be at least as great as the number of nonnegative Lyapunov exponents of the underlying attractor. Numerical experiments illustrate the exponential convergence of the method and the sharpness of the theory for the case of Lorenz96 and Burgers equations with incomplete and noisy observations.

math.DS↗

arXiv2017

Where computer vision can aid physics: dynamic cloud motion forecasting from satellite images

This paper describes a new algorithm for solar energy forecasting from a sequence of Cloud Optical Depth (COD) images. The algorithm is based on the following simple observation: the dynamics of clouds represented by COD images resembles the motion (transport) of a density in a fluid flow. This suggests that, to forecast the motion of COD images, it is sufficient to forecast the flow. The latter, in turn, can be accomplished by fitting a parametric model of the fluid flow to the COD images observed in the past. Namely, the learning phase of the algorithm is composed of the following steps: (i) given a sequence of COD images, the snapshots of the optical flow are estimated from two consecutive COD images; (ii) these snapshots are then assimilated into a Navier-Stokes Equation (NSE), i.e. an initial velocity field for NSE is selected so that the corresponding NSE' solution is as close as possible to the optical flow snapshots. The prediction phase consists of utilizing a linear transport equation, which describes the propagation of COD images in the fluid flow predicted by NSE, to estimate the future motion of the COD images. The algorithm has been tested on COD images provided by two geostationary operational environmental satellites from NOAA serving the west-hemisphere.

math.OC↗

arXiv2017

Minimax Observers for Linear DAEs

In this note we construct minimax observers for linear stationary DAEs with bounded uncertain inputs, given noisy measurements. We prove a new duality principle and show that a finite (infinite) horizon minimax observer exists if and only if the DAE is $\ell$-impulse observable ($\ell$-detectable) . Remarkably, the regularity of the DAE is not required.

math.OC↗

arXiv2016

Solutions of differential-algebraic equations as outputs of LTI systems: application to LQ control problem

In this paper we synthesize behavioral ideas with geometric control theory and propose a unified geometric framework for representing all solutions of a Linear Time Invariant Differential-Algebraic Equation (DAE-LTI) as outputs of classical Linear Time Invariant systems (ODE-LTI). An algorithm for computing an ODE-LTI that generates solutions of a given DAE-LTI is described. It is shown that two different ODE-LTIs which represent the same DAE-LTI are feedback equivalent. The proposed framework is then used to solve an LQ optimal control problem for DAE-LTIs with rectangular matrices.

math.OC↗

arXiv2015

General Optimization Framework for Robust and Regularized 3D Full Waveform Inversion

Scarcity of hydrocarbon resources and high exploration risks motivate the development of high fidelity algorithms and computationally viable approaches to exploratory geophysics. Whereas early approaches considered least-squares minimization, recent developments have emphasized the importance of robust formulations, as well as formulations that allow disciplined encoding of prior information into the inverse problem formulation. The cost of a more flexible optimization framework is a greater computational complexity, as least-squares optimization can be performed using straightforward methods (e.g., steepest descent, Gauss-Newton, L-BFGS), whilst incorporation of robust (non-smooth) penalties requires custom changes that may be difficult to implement in the context of a general seismic inversion workflow. In this study, we propose a generic, flexible optimization framework capable of incorporating a broad range of noise models, forward models, regularizers, and reparametrization transforms. This framework covers seamlessly robust noise models (such as Huber and Student's $t$), as well as sparse regularizers, projected constraints, and Total Variation regularization. The proposed framework is also expandable --- we explain the adjustments that are required for any new formulation to be included. Lastly, we conclude with few numerical examples demonstrating the versatility of the formulation.

math.OC↗

arXiv2013

Infinite horizon control and minimax observer design for linear DAEs

In this paper we construct an infinite horizon minimax state observer for a linear stationary differential-algebraic equation (DAE) with uncertain but bounded input and noisy output. We do not assume regularity or existence of a (unique) solution for any initial state of the DAE. Our approach is based on a generalization of Kalman's duality principle. The latter allows us to transform minimax state estimation problem into a dual control problem for the adjoint DAE: the state estimate in the original problem becomes the control input for the dual problem and the cost function of the latter is, in fact, the worst-case estimation error. Using geometric control theory, we construct an optimal control in the feed-back form and represent it as an output of a stable LTI system. The latter gives the minimax state estimator. In addition, we obtain a solution of infinite-horizon linear quadratic optimal control problem for DAEs.

math.OC↗

arXiv2011

Minimax state estimation for linear descriptor systems

Author's Summary of the dissertation for the degree of the Candidate of Science (physics and mathematics). The aim of the dissertation is to develop a generalized Kalman Duality concept applicable for linear unbounded non-invertible operators and introduce the minimax state estimation theory and algorithms for linear differential-algebraic equations. In particular, the dissertation pursues the following goals: - develop generalized duality concept for the minimax state estimation theory for DAEs with unknown but bounded model error and random observation noise with unknown but bounded correlation operator; - derive the minimax state estimation theory for linear DAEs with unknown but bounded model error and random observation noise with unknown but bounded correlation operator; - describe how the DAE model propagates uncertain parameters; - estimate the worst-case error; - construct fast estimation algorithms in the form of filters; - develop a tool for model validation, that is to assess how good the model describes observed phenomena. The dissertation contains the following new results: - generalized version of the Kalman duality principle is proposed allowing to handle unbounded linear model operators with non-trivial null-space; - new definitions of the minimax estimates for DAEs based on the generalized Kalman duality principle are proposed; - theorems of existence for minimax estimates are proved; - new minimax state estimation algorithms (in the form of filter and in the variational form) for DAE are proposed.

math.OC↗

arXiv2011

Minimax state estimation for linear continuous differential-algebraic equations

This paper describes a minimax state estimation approach for linear Differential-Algebraic Equations (DAE) with uncertain parameters. The approach addresses continuous-time DAE with non-stationary rectangular matrices and uncertain bounded deterministic input. An observation's noise is supposed to be random with zero mean and unknown bounded correlation function. Main results are a Generalized Kalman Duality (GKD) principle and sub-optimal minimax state estimation algorithm. GKD is derived by means of Young-Fenhel duality theorem. GKD proves that the minimax estimate coincides with a solution to a Dual Control Problem (DCP) with DAE constraints. The latter is ill-posed and, therefore, the DCP is solved by means of Tikhonov regularization approach resulting a sub-optimal state estimation algorithm in the form of filter. We illustrate the approach by an synthetic example and we discuss connections with impulse-observability.

math.OC↗

arXiv2010

Recursive set-membership state estimation for linear non-causal time-variant differential- algebraic equation with continuous time

This paper describes a state estimation approach for non-causal time-varying linear descriptor equations with uncertain parameters. The uncertainty in the state equation and in the measurements is supposed to admit a set-membership description. The approach is based on the notion of the linear minimax estimation. Suboptimal minimax state estimation algorithm is introduced for DAEs with non-stationary rectangular matrices. Optimal algorithm is presented for DAEs with special structure of the matrices. A comparison of suboptimal and optimal algorithms is presented for 2D time-varying DAE with a singular matrix pencil.

math.OC↗