Safe Trajectory Tracking of the Stefan Problem with Second-Order Moving Boundary Dynamics
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914597790810112 |
|---|---|
| author | Koga, Shumon Krstic, Miroslav |
| author_facet | Koga, Shumon Krstic, Miroslav |
| contents | This paper considers a safe trajectory tracking of the Stefan problem with a second-order moving boundary dynamics. The model is given by a parabolic Partial Differential Equation (PDE) defined on a time-varying domain of moving boundary governed by a second-order Ordinary Differential Equation (ODE) associated with the Neumann boundary condition. A feedforward control is designed by a series expansion approach to solve the inverse Stefan problem under given reference trajectory of the moving boundary, and the convergence of infinite series is proven. A trajectory tracking controller is derived based on an energy-shaping, which ensures the safety of the model constraint in the closed-loop system. The closed-loop system is also shown to be globally exponentially stable with respect to the tracking error by performing PDE backstepping transformation and Lyapunov analysis. Numerical simulation illustrates an effective tracking performance of the proposed method under a sinusoidal reference trajectory. Code is released at https://github.com/shumon0423/StefanTracking_ACC2026.git. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_25084 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Safe Trajectory Tracking of the Stefan Problem with Second-Order Moving Boundary Dynamics Koga, Shumon Krstic, Miroslav Optimization and Control Systems and Control This paper considers a safe trajectory tracking of the Stefan problem with a second-order moving boundary dynamics. The model is given by a parabolic Partial Differential Equation (PDE) defined on a time-varying domain of moving boundary governed by a second-order Ordinary Differential Equation (ODE) associated with the Neumann boundary condition. A feedforward control is designed by a series expansion approach to solve the inverse Stefan problem under given reference trajectory of the moving boundary, and the convergence of infinite series is proven. A trajectory tracking controller is derived based on an energy-shaping, which ensures the safety of the model constraint in the closed-loop system. The closed-loop system is also shown to be globally exponentially stable with respect to the tracking error by performing PDE backstepping transformation and Lyapunov analysis. Numerical simulation illustrates an effective tracking performance of the proposed method under a sinusoidal reference trajectory. Code is released at https://github.com/shumon0423/StefanTracking_ACC2026.git. |
| title | Safe Trajectory Tracking of the Stefan Problem with Second-Order Moving Boundary Dynamics |
| topic | Optimization and Control Systems and Control |
| url | https://arxiv.org/abs/2605.25084 |