Optimal boundary control for the heat equation with application to freezing with phase change.