Source author record

Sergiy Zhuk

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

11 published item(s)

preprint2022arXiv

A Real-Time Region Tracking Algorithm Tailored to Endoscopic Video with Open-Source Implementation

With a video data source, such as multispectral video acquired during administration of fluorescent tracers, extraction of time-resolved data typically requires the compensation of motion. While this can be done manually, which is arduous, or using off-the-shelf object tracking software, which often yields unsatisfactory performance, we present an algorithm which is simple and performant. Most importantly, we provide an open-source implementation, with an easy-to-use interface for researchers not inclined to write their own code, as well as Python modules that can be used programmatically.

preprint2022arXiv

Reinforcement Learning with Algorithms from Probabilistic Structure Estimation

Reinforcement learning (RL) algorithms aim to learn optimal decisions in unknown environments through experience of taking actions and observing the rewards gained. In some cases, the environment is not influenced by the actions of the RL agent, in which case the problem can be modeled as a contextual multi-armed bandit and lightweight myopic algorithms can be employed. On the other hand, when the RL agent's actions affect the environment, the problem must be modeled as a Markov decision process and more complex RL algorithms are required which take the future effects of actions into account. Moreover, in practice, it is often unknown from the outset whether or not the agent's actions will impact the environment and it is therefore not possible to determine which RL algorithm is most fitting. In this work, we propose to avoid this difficult decision entirely and incorporate a choice mechanism into our RL framework. Rather than assuming a specific problem structure, we use a probabilistic structure estimation procedure based on a likelihood-ratio (LR) test to make a more informed selection of learning algorithm. We derive a sufficient condition under which myopic policies are optimal, present an LR test for this condition, and derive a bound on the regret of our framework. We provide examples of real-world scenarios where our framework is needed and provide extensive simulations to validate our approach.

preprint2022arXiv

Spatial Positioning Token (SPToken) for Smart Parking

In this paper, we describe an approach to guide drivers searching for a parking space (PS). The proposed system suggests a sequence of routes that drivers should traverse in order to maximise the expected likelihood of finding a PS and minimise the travel distance. This system is built on our recent architecture SPToken, which combines both Distributed Ledger Technology (DLT) and Reinforcement Learning (RL) to realise a system for the estimation of an unknown distribution without disturbing the environment. For this, we use a number of virtual tokens that are passed from vehicle to vehicle to enable a massively parallelised RL system that estimates the best route for a given origin-destination (OD) pair, using crowdsourced information from participant vehicles. Additionally, a moving window with reward memory mechanism is included to better cope with non-stationary environments. Simulation results are given to illustrate the efficacy of our system.

preprint2022arXiv

Super Resolution for Turbulent Flows in 2D: Stabilized Physics Informed Neural Networks

We propose a new design of a neural network for solving a zero shot super resolution problem for turbulent flows. We embed Luenberger-type observer into the network's architecture to inform the network of the physics of the process, and to provide error correction and stabilization mechanisms. In addition, to compensate for decrease of observer's performance due to the presence of unknown destabilizing forcing, the network is designed to estimate the contribution of the unknown forcing implicitly from the data over the course of training. By running a set of numerical experiments, we demonstrate that the proposed network does recover unknown forcing from data and is capable of predicting turbulent flows in high resolution from low resolution noisy observations.

preprint2020arXiv

Perfusion Quantification from Endoscopic Videos: Learning to Read Tumor Signatures

Intra-operative identification of malignant versus benign or healthy tissue is a major challenge in fluorescence guided cancer surgery. We propose a perfusion quantification method for computer-aided interpretation of subtle differences in dynamic perfusion patterns which can be used to distinguish between normal tissue and benign or malignant tumors intra-operatively in real-time by using multispectral endoscopic videos. The method exploits the fact that vasculature arising from cancer angiogenesis gives tumors differing perfusion patterns from the surrounding tissue, and defines a signature of tumor which could be used to differentiate tumors from normal tissues. Experimental evaluation of our method on a cohort of colorectal cancer surgery endoscopic videos suggests that the proposed tumor signature is able to successfully discriminate between healthy, cancerous and benign tissue with 95% accuracy.

preprint2016arXiv

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.

preprint2015arXiv

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.

preprint2013arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

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.

preprint2010arXiv

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.