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

Coverage and Field Estimation on Bounded Domains by Diffusive Swarms

In this paper, we consider stochastic coverage of bounded domains by a diffusing swarm of robots that take local measurements of an underlying scalar field. We introduce three control methodologies with diffusion, advection, and reaction as independent control inputs. We analyze the diffusion-based control strategy using standard operator semigroup-theoretic arguments. We show that the diffusion coefficient can be chosen to be dependent only on the robots' local measurements to ensure that the swarm density converges to a function proportional to the scalar field. The boundedness of the domain precludes the need to impose assumptions on decaying properties of the scalar field at infinity. Moreover, exponential convergence of the swarm density to the equilibrium follows from properties of the spectrum of the semigroup generator. In addition, we use the proposed coverage method to construct a time-inhomogenous diffusion process and apply the observability of the heat equation to reconstruct the scalar field over the entire domain from observations of the robots' random motion over a small subset of the domain. We verify our results through simulations of the coverage scenario on a 2D domain and the field estimation scenario on a 1D domain.Comment: To appear in the proceedings of the 55th IEEE Conference on Decision and Control (CDC 2016

Model based fault diagnosis and prognosis of class of linear and nonlinear distributed parameter systems modeled by partial differential equations

With the rapid development of modern control systems, a significant number of industrial systems may suffer from component failures. An accurate yet faster fault prognosis and resilience can improve system availability and reduce unscheduled downtime. Therefore, in this dissertation, model-based prognosis and resilience control schemes have been developed for online prediction and accommodation of faults for distributed parameter systems (DPS). First, a novel fault detection, estimation and prediction framework is introduced utilizing a novel observer for a class of linear DPS with bounded disturbance by modeling the DPS as a set of partial differential equations. To relax the state measurability in DPS, filters are introduced to redesign the detection observer. Upon detecting a fault, an adaptive term is activated to estimate the multiplicative fault and a tuning law is derived to tune the fault parameter magnitude. Then based on this estimated fault parameter together with its failure limit, time-to-failure (TTF) is derived for prognosis. A novel fault accommodation scheme is developed to handle actuator and sensor faults with boundary measurements. Next, a fault isolation scheme is presented to differentiate actuator, sensor and state faults with a limited number of measurements for a class of linear and nonlinear DPS. Subsequently, actuator and sensor fault detection and prediction for a class of nonlinear DPS are considered with bounded disturbance by using a Luenberger observer. Finally, a novel resilient control scheme is proposed for nonlinear DPS once an actuator fault is detected by using an additional boundary measurement. In all the above methods, Lyapunov analysis is utilized to show the boundedness of the closed-loop signals during fault detection, prediction and resilience under mild assumptions --Abstract, page iv