Abstract:This paper presents the design and analysis of the extremum seeking for static maps with input passed through a partial differential equation (PDE) of the diffusion type defined on a time-varying spatial domain whose boundary position is governed by an ordinary differential equation (ODE). This is the first effort to pursue an extension of extremum seeking from the heat PDE to the Stefan PDE. We compensate the average-based actuation dynamics by a controller via backstepping transformation for the moving boundary, which is utilized to transform the original coupled PDE-ODE into a target system whose exponential stability of the average equilibrium of the average system is proved. The discussion for the delay-compensated extremum seeking control of the Stefan problem is also presented and illustrated with numerical simulations.

What problem does this paper attempt to address?

This paper aims to solve the problem of how to design and analyze the Extremum Seeking (ES) controller for the Stefan partial differential equation (PDE) with moving boundaries. Specifically, the paper focuses on how to design effective control strategies when the position of the phase - change interface needs to reach the maximum or minimum of an unknown performance index during the heat conduction process. This involves the optimization of static mappings, and the inputs of these static mappings are transmitted through a diffusion - type PDE defined on a time - varying spatial domain, and the boundary position is controlled by an ordinary differential equation (ODE). ### Main contributions of the paper: 1. **First attempt at extension**: This is the first attempt to extend the extremum - seeking method from the heat conduction PDE to the Stefan PDE, which is a more complex moving - boundary problem. 2. **Controller design**: Compensate for the influence of the moving boundary through the Backstepping Transformation, convert the original coupled PDE - ODE system into a target system, and prove the exponential stability of the average equilibrium point of the target system. 3. **Delay compensation**: Discuss the situation where a delay is introduced in the PDE actuator dynamics and compensate for it through the predictive feedback method. 4. **Numerical simulation**: Verify the effectiveness of the proposed control strategy through numerical simulation, and show the convergence of the moving boundary and the temperature distribution. ### Key technical details: - **Backstepping method**: Convert the original system into a target system through the backstepping method, thereby simplifying the stability analysis. - **Averaging theory**: Use the averaging theory to deal with the high - frequency oscillations of the system and ensure the local exponential stability of the system. - **Delay compensation**: Compensate for the delay in the actuator dynamics through the predictive feedback method to ensure the control effect. ### Application background: The Stefan problem is very common in many practical applications, such as ice - water phase change, metal solidification processes, etc. These processes usually involve moving boundaries, so designing effective control strategies is crucial for improving the performance and efficiency of the system. ### Conclusion: The method proposed in the paper successfully optimizes the static mapping through the extremum - seeking technique in the presence of moving boundaries and possible actuator delays, and reaches the optimal value of the phase - change interface position. Although the actuator dynamics must be known, no specific information about the mapping parameters needs to be assumed. The numerical simulation results verify the effectiveness of this method.

Extremum Seeking for Stefan PDE with Moving Boundary

Backstepping Control of an Underactuated Hyperbolic-parabolic Coupled PDE System

Backstepping Control of Mixed Hyperbolic-Parabolic PDE System with Multiple Coupling Terms

Extremum Seeking Control for Scalar Maps with Distributed Diffusion PDEs

Backstepping Synthesis for Feedback Control of First-Order Hyperbolic PDEs with Spatial-Temporal Actuation

Finite‐time Local Piecewise Control for Parabolic PDEs with ODE Output Feedback

Sliding Mode Control To Stabilization Of The Coupled Pde-Pde System With Boundary Input Disturbance

Exponential Stabilization of an Unstable Parabolic PDE System Using Boundary Optimal Control

Exponential Stabilization of Unstable Diffusion-Reaction Pdes with Mixed Boundary Condition

Observer-based Stabilization of an Unstable Parabolic PDE Using the Pseudospectral Method and Sturm-Liouville Theory

POD-based Reduced Order Optimal Control of Parabolic PDE Systems Via Diffusivity-Interior-boundary Actuation

Extremum Seeking of General Nonlinear Static Maps: A Time-Delay Approach

Boundary Stabilization of a Class of Reaction–advection–diffusion Systems Via a Gradient-Based Optimization Approach

Nonlinear Control under Discrete Transport Pdes on Domains of Time-Varying Length

Output stabilization of boundary-controlled parabolic PDEs via gradient-based dynamic optimization

Optimal Tracking for a Divergent-Type Parabolic PDE System in Current Profile Control

Unbiased Extremum Seeking for PDEs

Extremum and Nash Equilibrium Seeking with Delays and PDEs: Designs & Applications

Extremum Seeking for the First Derivative of Nonlinear Maps: A Time-delay Approach

Backstepping for Partial Differential Equations

PDEs in Moving Time Dependent Domains