[논문 리뷰] Backstepping Control of the One-Phase Stefan Problem

Shumon Koga, Mamadou Diagne외 2명|arXiv (Cornell University)|2016. 07. 14.

Stability and Controllability of Differential Equations참고 문헌 14인용 수 5

한 줄 요약

이 논문은 이동 경계를 가진 1차원 PDE-ODE 시스템인 1상 스테파노 문제를 위한 비선형 백스테핑 경계 제어기를 제시한다. 도메인 재스케일링을 피하는 새로운 비선형 백스테핑 변환을 도입함으로써, 이동 경계와 온도 오차의 H¹-노름에 대한 지수적 안정성이 확보되며, 초기 조건에 상대적인 설정점에 대한 물리적 제약 조건이 유지된다.

ABSTRACT

In this paper, a backstepping control of the one-phase Stefan Problem, which is a 1-D diffusion Partial Differential Equation (PDE) defined on a time varying spatial domain described by an ordinary differential equation (ODE), is studied. A new nonlinear backstepping transformation for moving boundary problem is utilized to transform the original coupled PDE-ODE system into a target system whose exponential stability is proved. The full-state boundary feedback controller ensures the exponential stability of the moving interface to a reference setpoint and the ${\cal H}_1$-norm of the distributed temperature by a choice of the setpint satisfying given explicit inequality between initial states that guarantees the physical constraints imposed by the melting process.

연구 동기 및 목표

• 시간에 따라 변하는 도메인을 가진 1차원 확산 PDE에 대한 제어 방법론의 부족을 해결하기 위해.
• 도메인 재스케일링이나 고정 도메인 가정 없이 지수적 안정성을 보장하는 백스테핑 기반 제어기를 개발하기 위해.
• 제어 입력이 양수를 유지함으로써 물리적 타당성을 보장함으로써 모델의 정합성을 유지하기 위해.
• 이전의 유한차원 근사에 국한된 제한을 극복하고 백스테핑 방법론을 이동 경계 문제로 확장하기 위해.
• 융해/ freezing 과정 중 물리적 제약 조건을 유지하기 위해 초기 자료에 상대적인 설정점에 대한 조건을 설정하기 위해.

제안 방법

• 이동 경계를 가진 PDE-ODE 시스템에 특화된 새로운 비선형 백스테핑 변환을 설계하여, 고정된 공간 간격으로 도메인을 재스케일링할 필요 없이 시스템을 다룰 수 있도록 한다.
• 이 변환은 원래의 연관된 PDE-ODE 시스템을 지수적 안정성 특성을 알 수 있는 목표 시스템으로 매핑한다.
• 제어기는 이 변환의 역함수로부터 유도되며, 이동 경계와 온도 프로파일에 대한 전 상태 피드백 제어를 보장한다.
• 폐쇄형 루프 시스템의 지수적 안정성을 입증하기 위해 리아푸노프 함수를 구성하며, 감쇠률은 제어기 이득과 시스템 파라미터에 의존한다.
• 에너지 유사 노름의 신중한 추정을 통해 시간에 따라 변하는 도메인을 고려한 안정성 분석을 수행하며, 이는 온도의 H¹-노름과 경계 편차를 포함한다.
• 제어 입력이 양수를 유지하도록 제어기 이득을 선택함으로써 융해/ freezing 역학과의 물리적 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 도메인 재스케일링 없이도 백스테핑 제어 프레임워크를 이동 경계를 가진 PDE-ODE 시스템으로 확장할 수 있는가?
• RQ2 초기 자료에 상대적인 설정점에 대한 조건은 1상 스테파노 문제에서 물리적 타당성과 안정성을 보장하는가?
• RQ3 이동 경계와 온도 오차의 H¹-노름에 대한 지수적 안정성을 동시에 달성하는 방법은 무엇인가?
• RQ4 제어 입력의 양수성은 상변화 과정에서 물리적 타당성과 안정성 유지에 어떤 역할을 하는가?
• RQ5 수렴 속도와 제약 조건 처리 측면에서 이전의 접근 방식에 비해 본 방법은 어떻게 비교되는가?

주요 결과

• 제안된 백스테핑 변환은 도메인 재스케일링 없이도 1상 스테파노 문제에서 이동 경계와 온도 오차의 H¹-노름에 대한 안정성을 성공적으로 확보한다.
• 리아푸노프 함수를 통한 분석을 통해 폐쇄형 루프 시스템의 지수적 안정성이 입증되었으며, 감쇠률은 제어기 이득과 시스템 파라미터에 따라 달라진다.
• 제어기는 제어 입력이 양수를 유지함으로써 물리적 일관성을 보장하며, 비물리적인 융해나 freezing 행동을 방지한다.
• 물리적 제약 조건을 유지하기 위해 설정점은 식 (10)에서 유도된 명시적 부등식을 만족해야 한다.
• 수치 시뮬레이션은 이론적 결과를 확인한다: $ s_0 = 0.01 $m 일 때, 경계는 $ s_r = 0.35 $m로 수렴하며 $ ilde{q}(t) > 0 $; $ s_0 = 0.25 $m 일 때, 제어기가 음수가 되며 이는 이론적 조건과 일치한다.
• 본 방법은 이동 경계 오차와 온도 오차의 H¹-노름 합에 대한 지수적 안정성을 달성하여, 이전 연구들이 달성한 점진적 안정성 또는 L²-노름 안정성보다 뛰어나다.