2,249 research outputs found
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
A Generalized LMI Formulation for Input-Output Analysis of Linear Systems of ODEs Coupled with PDEs
In this paper, we consider input-output properties of linear systems
consisting of PDEs on a finite domain coupled with ODEs through the boundary
conditions of the PDE. This framework can be used to represent e.g. a lumped
mass fixed to a beam or a system with delay. This work generalizes the
sufficiency proof of the KYP Lemma for ODEs to coupled ODE-PDE systems using a
recently developed concept of fundamental state and the associated
boundary-condition-free representation. The conditions of the generalized KYP
are tested using the PQRS positive matrix parameterization of operators
resulting in a finite-dimensional LMI, feasibility of which implies prima facie
provable passivity or L2-gain of the system. No discretization or approximation
is involved at any step and we use numerical examples to demonstrate that the
bounds obtained are not conservative in any significant sense and that
computational complexity is lower than existing methods involving
finite-dimensional projection of PDEs
- …