Abstract: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.

Lyapunov equations: a (fixed) point of view

Lyapunov Exponent and Stability of Optimally Controlled Quasi Partially Integrable Hamiltonian Systems

Technical communique: Asymptotic Lyapunov stability with probability one of quasi-integrable Hamiltonian systems with delayed feedback control

Feedback Stabilization of Quasi Nonintegrable Hamiltonian Systems by Using Lyapunov Exponent

Stochastic Stabilization of Quasi-Partially Integrable Hamiltonian Systems by Using Lyapunov Exponent

Lyapunov Functions in Piecewise Linear Systems: From Fixed Point to Limit Cycle

Substability and Substabilization: Control of Subfully Actuated Systems

On Converse Lyapunov Theorem for Fixed-Time Input-to-State Stability

A categorical view on the converse Lyapunov theorem

Lyapunov Differential Equations and Inequalities for Stability and Stabilization of Linear Time-Varying Systems

Generalized Lyapunov Equations for Stable Singular System.

A Universal Formula For Stabilization With Bounded Controls

Lyapunov exponential stability of linear hyperbolic systems of balance laws

Lyapunov characterization of input-to-state stability for semilinear control systems over Banach spaces

The Lyapunov approach to boundary stabilization of an anti-stable one-dimensional wave equation with boundary disturbance

Lyapunov Stability Theory for Nonlinear Nabla Fractional Order Systems

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems

Lyapunov iteration and equation characterizations for unobservable subspace

Lyapunov stability of the equilibrium of the non-local continuity equation

A piecewise-linear fixed point theorem

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