710 research outputs found
Backstepping PDE Design: A Convex Optimization Approach
Abstract\u2014Backstepping design for boundary linear PDE is
formulated as a convex optimization problem. Some classes of
parabolic PDEs and a first-order hyperbolic PDE are studied,
with particular attention to non-strict feedback structures. Based
on the compactness of the Volterra and Fredholm-type operators
involved, their Kernels are approximated via polynomial
functions. The resulting Kernel-PDEs are optimized using Sumof-
Squares (SOS) decomposition and solved via semidefinite
programming, with sufficient precision to guarantee the stability
of the system in the L2-norm. This formulation allows optimizing
extra degrees of freedom where the Kernel-PDEs are included
as constraints. Uniqueness and invertibility of the Fredholm-type
transformation are proved for polynomial Kernels in the space
of continuous functions. The effectiveness and limitations of the
approach proposed are illustrated by numerical solutions of some
Kernel-PDEs
Control and State Estimation of the One-Phase Stefan Problem via Backstepping Design
This paper develops a control and estimation design for the one-phase Stefan
problem. The Stefan problem represents a liquid-solid phase transition as time
evolution of a temperature profile in a liquid-solid material and its moving
interface. This physical process is mathematically formulated as a diffusion
partial differential equation (PDE) evolving on a time-varying spatial domain
described by an ordinary differential equation (ODE). The state-dependency of
the moving interface makes the coupled PDE-ODE system a nonlinear and
challenging problem. We propose a full-state feedback control law, an observer
design, and the associated output-feedback control law via the backstepping
method. The designed observer allows estimation of the temperature profile
based on the available measurement of solid phase length. The associated
output-feedback controller ensures the global exponential stability of the
estimation errors, the H1- norm of the distributed temperature, and the moving
interface to the desired setpoint under some explicitly given restrictions on
the setpoint and observer gain. The exponential stability results are
established considering Neumann and Dirichlet boundary actuations.Comment: 16 pages, 11 figures, submitted to IEEE Transactions on Automatic
Contro
- …