[논문 리뷰] Sampled-Data Control of the Stefan System

Shumon Koga, Iasson Karafyllis외 1명|arXiv (Cornell University)|2019. 05. 31.

Stability and Controllability of Differential Equations참고 문헌 43인용 수 4

한 줄 요약

이 논문은 연속 시간 제어 법칙을 디지털 환경에서 구현하기 위해 제로 오더 홀드(Zero-Order-Hold, ZOH)를 사용하여 스타인프 문제에 대한 최초의 샘플드 데이터 경계 피드백 제어 설계를 제시한다. 제어 이득과 샘플링 주기 사이의 조건을 만족할 경우, L2 노름에서 전역 지수 안정성과 모델 타당성을 입증하였으며, 일상상과 이상상 스타인프 시스템에 대해 수치 시뮬레이션을 통해 검증하였다.

ABSTRACT

This paper presents results for the sampled-data boundary feedback control to the Stefan problem. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. First, we consider the sampled-data control for the one-phase Stefan problem by assuming that the solid phase temperature is maintained at the equilibrium melting temperature. We apply Zero-Order-Hold (ZOH) to the nominal continuous-time control law developed in [23] which is designed to drive the liquid-solid interface position to a desired setpoint. Provided that the control gain is bounded by the inverse of the upper diameter of the sampling schedule, we prove that the closed-loop system under the sampled-data control law satisfies some conditions required to validate the physical model, and the system's origin is globally exponentially stable in the spatial $L_2$ norm. Analogous results for the two-phase Stefan problem which incorporates the dynamics of both liquid and solid phases with moving interface position are obtained by applying the proposed procedure to the nominal control law for the two-phase problem developed in [30]. Numerical simulation illustrates the desired performance of the control law implemented to vary at each sampling time and keep constant during the period.

연구 동기 및 목표

• 스타인프 문제(상태에 따라 변하는 경계를 가지는 비선형 편미분방정식의 일종)에 대한 샘플드 데이터 제어 설계가 부족한 점을 보완하기 위해.
• 백스텝핑을 통해 유도된 연속 시간 경계 피드백 제어 법칙을 제로 오더 홀드(ZOH)를 활용해 실용적인 디지털 구현으로 확장하기 위해.
• 폐쇄 루프 안정성과 물리적 모델 타당성을 보장하는 제어 이득과 샘플링 주기 사이의 충분한 조건을 설정하기 위해.
• 일상상 및 이상상 스타인프 시스템의 수치 시뮬레이션을 통해 이론적 결과를 검증하기 위해.
• 미래의 관측기 기반 출력 피드백 및 양자화 제어 확장의 기초를 마련하기 위해.

제안 방법

• 백스텝핑을 통해 유도된 일상상 및 이상상 스타인프 문제에 대한 연속 시간 경계 피드백 제어 법칙에 제로 오더 홀드(ZOH)를 적용하기 위한 방법.
• L2 노름에서 폐쇄 루프 시스템의 전역 지수 안정성을 입증하기 위해 리아푸노프 기반 분석을 사용하기.
• 경계 온도가 융해점 이상이 되도록 보장하기 위해 제어 이득과 샘플링 주기 사이의 관계를 유도하기.
• 수치 시뮬레이션을 위해 경계 이동을 고려한 방법과 유한 차분 반디스크리티제이션을 조합한 방법을 사용하기.
• 시스템 노름을 추정하고 안정성 한계를 설정하기 위해 에너지 유사 리아푸노프 함수를 구성하기.
• 열역학적 제약 조건을 만족시키기 위해, 포물형 편미분방정식과 결합된 상미분방정식을 통해 이동 경계 역학을 통합하기.

실험 결과

연구 질문

• RQ1 ZOH 기반 샘플드 데이터 제어는 이동 경계를 가진 일상상 스타인프 문제를 안정화시키고 물리적 모델 타당성을 유지할 수 있는가?
• RQ2 샘플드 데이터 폐쇄 루프 시스템에서 L2 노름에서의 전역 지수 안정성을 보장하기 위해 제어 이득과 샘플링 주기 사이에 어떤 조건이 필요한가?
• RQ3 제안된 샘플드 데이터 제어는 경계면 수렴, 제어 입력 행동, 경계 온도 역학 측면에서 어떻게 성능을 발휘하는가?
• RQ4 일상상 문제에 대한 이론적 결과는 액체상과 고체상 동역학을 모두 포함하는 이상상 스타인프 문제로 확장될 수 있는가?
• RQ5 샘플링 순간의 불연속성 존재 상황에서 ZOH 구현이 제어 입력의 양성 및 경계 온도에 어떤 영향을 미치는가?

주요 결과

• 제어 이득이 최대 샘플링 주기의 역수 이하로 제한될 경우, 폐쇄 루프 시스템은 L2 노름에서 전역 지수 안정성을 유지한다.
• 경계면 위치는 오버슈트 없이 단조롭고 매끄럽게 설정값으로 수렴하며, 샘플링 간격 동안 제어 입력은 항상 양수이자 조각별로 일정하다.
• 모든 시점에서 경계 온도는 융해점 이상을 유지하며, 샘플링 순간에 제어 입력의 급격한 변화로 인해 일시적인 피크가 발생한다.
• 수치 시뮬레이션은 이론적 안정성 및 모델 타당성 조건을 확인하였으며, 2시간에 걸친 시뮬레이션 동안 일관된 성능을 보였다.
• 동일한 ZOH 기반 제어 법칙을 사용하여 일상상 및 이상상 스타인프 문제 모두에서 안정성 결과가 성립한다.
• 분석을 통해 물리적 모델이 타당함을 보장하였으며, 특히 액체상 온도가 융해점 이상이 되는 조건이 제어 입력의 양성으로 인해 유지됨을 입증하였다.