arXiv subjects

Rami Katz

Publications and source records attributed to Rami Katz.

24 records · Page 2Linked to original sources

arXiv2021

Global finite-dimensional observer-based stabilization of a semilinear heat equation with large input delay

We study global finite-dimensional observer-based stabilization of a semilinear 1D heat equation with globally Lipschitz semilinearity in the state variable. We consider Neumann actuation and point measurement. Using dynamic extension and modal decomposition we derive nonlinear ODEs for the modes of the state. We propose a controller that is based on a nonlinear finite-dimensional Luenberger observer. Our Lypunov $H^1$-stability analysis leads to LMIs, which are shown to be feasible for a large enough observer dimension and small enough Lipschitz constant. Next, we consider the case of a constant input delay $r>0$. To compensate the delay, we introduce a chain of $M$ sub-predictors that leads to a nonlinear closed-loop ODE system, coupled with nonlinear infinite-dimensional tail ODEs. We provide LMIs for $H^1$-stability and prove that for any $r>0$, the LMIs are feasible provided $M$ and $N$ are large enough and the Lipschitz constant is small enough. Numerical examples demonstrate the efficiency of the proposed approach.

math.OC↗

arXiv2021

Finite-dimensional boundary control of the linear Kuramoto-Sivashinsky equation under point measurement with guaranteed $L^2$-gain

Finite-dimensional observer-based controller design for PDEs is a challenging problem. Recently, such controllers were introduced for the 1D heat equation, under the assumption that one of the observation or control operators is bounded. This paper suggests a constructive method for such controllers for 1D parabolic PDEs with both (observation and control) operators being unbounded. We consider the Kuramoto-Sivashinsky equation (KSE) under either boundary or in-domain point measurement and boundary actuation. We employ a modal decomposition approach via dynamic extension, using eigenfunctions of a Sturm-Liouville operator. The controller dimension is defined by the number of unstable modes, whereas the observer dimension $N$ may be larger than this number. We suggest a direct Lyapunov approach to the full-order closed-loop system, which results in an LMI whose elements and dimension depend on $N$. The value of $N$ and the decay rate are obtained from the LMI. We extend our approach to internal stabilization with guaranteed $L^2$-gain and input-to-state stabilization. We prove two crucial properties of the derived LMIs. First, We prove that the LMIs are always feasible provided $N$ and the $L^2$ or ISS gains are large enough, thereby obtaining guarantees for our approach. Moreover, for the case of stabilization, we show that feasibility of the LMI for some $N$ implies its feasibility for $N+1$ (i.e., enlarging $N$ in the LMI cannot deteriorate the resulting decay rate of the closed-loop system). Numerical examples demonstrate the efficiency of the method.

math.OC↗

arXiv2021

Sub-predictors and classical predictors for finite-dimensional observer-based control of parabolic PDEs

We study constant input delay compensation by using finite-dimensional observer-based controllers in the case of the 1D heat equation. We consider Neumann actuation with nonlocal measurement and employ modal decomposition with $N+1$ modes in the observer. We introduce a chain of $M$ sub-predictors that leads to a closed-loop ODE system coupled with infinite-dimensional tail. Given an input delay $r$, we present LMI stability conditions for finding $M$ and $N$ and the resulting exponential decay rate and prove that the LMIs are always feasible for any $r$. We also consider a classical observer-based predictor and show that the corresponding LMI stability conditions are feasible for any $r$ provided $N$ is large enough. A numerical example demonstrates that the classical predictor leads to a lower-dimensional observer. However, it is known to be hard for implementation due to the distributed input signal.

math.OC↗

arXiv2020

Finite-dimensional control of the heat equation: Dirichlet actuation and point measurement

Recently finite-dimensional observer-based controllers were introduced for the 1D heat equation, where at least one of the observation or control operators is bounded. In this paper, for the first time, we manage with such controllers for the 1D heat equation with both operators being unbounded. We consider Dirichlet actuation and point measurement and use a modal decomposition approach via dynamic extension. We suggest a direct Lyapunov approach to the full-order closed-loop system, where the finite-dimensional state is coupled with the infinite-dimensional tail of the state Fourier expansion, and provide LMIs for finding the controller dimension and the resulting exponential decay rate. We further study sampled-data implementation of the controller under sampled-data measurement. We use Wirtinger-based, discontinuous in time, Lyapunov functionals which compensate sampling in the finite-dimensional state. To compensate sampling in the infinite-dimensional tail, we use a novel form of Halanay's inequality, which is appropriate for Lyapunov functions with jump discontinuities that do not grow in the jumps. Numerical examples demonstrate the efficiency of the method.

math.OC↗

arXiv2019

Entrainment to Subharmonic Trajectories in Oscillatory Discrete-Time Systems

A matrix $A$ is called totally positive (TP) if all its minors are positive, and totally nonnegative (TN) if all its minors are nonnegative. A square matrix $A$ is called oscillatory if it is TN and some power of $A$ is TP. A linear time-varying system is called an oscillatory discrete-time system (ODTS) if the matrix defining its evolution at each time $k$ is oscillatory. We analyze the properties of $n$-dimensional time-varying nonlinear discrete-time systems whose variational system is an ODTS, and show that they have a well-ordered behavior. More precisely, if the nonlinear system is time-varying and $T$-periodic then any trajectory either leaves any compact set or converges to an $(n-1)T$-periodic trajectory, that is, a subharmonic trajectory. These results hold for any dimension $n$. The analysis of such systems requires establishing that a line integral of the Jacobian of the nonlinear system is an oscillatory matrix. This is non-trivial, as the sum of two oscillatory matrices is not necessarily oscillatory, and this carries over to integrals. We derive several new sufficient conditions guaranteeing that the line integral of a matrix is oscillatory, and demonstrate how this yields interesting classes of discrete-time nonlinear systems that admit a well-ordered behavior.

math.DS↗

arXiv2018

Sampling and Approximation of Bandlimited Volumetric Data

We present an approximation scheme for functions in three dimensions, that requires only their samples on the Cartesian grid, under the assumption that the functions are sufficiently concentrated in both space and frequency. The scheme is based on expanding the given function in the basis of generalized prolate spheroidal wavefunctions, with the expansion coefficients given by weighted dot products between the samples of the function and the samples of the basis functions. As numerical implementations require all expansions to be finite, we present a truncation rule for the expansions. Finally, we derive a bound on the overall approximation error in terms of the assumed space/frequency concentration.

math.NA↗