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

High-order numerical methods for 2D parabolic problems in single and composite domains

In this work, we discuss and compare three methods for the numerical approximation of constant- and variable-coefficient diffusion equations in both single and composite domains with possible discontinuity in the solution/flux at interfaces, considering (i) the Cut Finite Element Method; (ii) the Difference Potentials Method; and (iii) the summation-by-parts Finite Difference Method. First we give a brief introduction for each of the three methods. Next, we propose benchmark problems, and consider numerical tests-with respect to accuracy and convergence-for linear parabolic problems on a single domain, and continue with similar tests for linear parabolic problems on a composite domain (with the interface defined either explicitly or implicitly). Lastly, a comparative discussion of the methods and numerical results will be given.Comment: 45 pages, 12 figures, in revision for Journal of Scientific Computin