샘플링 데이터 관측기 설계와 1차원 비국소 출력 파라볼릭 PDE

논문은 1‑차원 파라볼릭 편미분방정식(PDE) 시스템에 대해, 출력이 비국소적이며 연속적인 측정이 불가능한 상황을 전제로 샘플링 데이터 관측기 설계를 연구한다. 서론에서는 기존의 PDE 관측기 설계가 연속 출력에 의존해 왔으며, 실제 시스템에서는 시간적으로 샘플링된 데이터만 이용 가능함을 지적한다. 관련 연구로는 ODE에 대한 샘플링 관측기, 그리고 PDE에 대한 연속‑시간 관측기(루엔버거, 백스테핑, Lyapunov 등)들이 소개된다. 그러나 비국소 출력과 샘플링을 동시에 다룬 연구는 부족했다. 시스템 모델링에서는 Sturm‑Liouville 연산자 \(L\)를 정의하고, 가정(H1) 하에 고유값·고유함수의 적절한 성장 조건을 확보한다. PDE는 전역 리프시츠 비선형 항 \(K\)와 비국소 연산자 \(P\)를 포함하며, 입력 \(v(t,x)\)와 경계 조건을 갖는다. 출력은 가중 평균 형태의 비국소 연산자 \(\xi_i(t)=\int_0^1 k_i(x)u(t,x)dx\) 로 정의되고, 이 값은 샘플링 시점 \(\{t_j\}\) 에서만 측정된다. 두 종류의 관측기를 제시한다. 첫 번째는 인터샘플 예측기 기반 관측기로, 연속‑시간 관측기(식 2.15‑2.16)와 추가적인 ODE 형태의 예측기(식 2.17)를 결합한다. 여기서 원래 출력 커널 \(k_i\)를 근사하는 함수 \(c_i\)를 선택하고, \(\zeta_i(t)=\int_0^1 c_i(x)w(t,x)dx\) 를 정의한다. \(\zeta_i\) 의 동역학은 PDE와 연동되어, 샘플링 사이에 출력 신호를 추정한다. 관측기 설계에 사용되는 행렬 \(A\)는 고유값 \(\lambda_i\)와 근사 커널 \(c_i\) 를 이용해 (식 2.12) 로 구성된다. 두 번째는 ZOH 기반 관측기로, 샘플링 시점에만 측정값을 이용해 혁신 항을 업데이트하고, 그 사이에는 고정된 값을 유지한다. 이 경우 관측기 PDE는 (식 2.15)와 동일하지만, \(\zeta_i\) 의 업데이트가 ZOH 형태가 된다. 주요 정리로는 정리 2.2와 정리 2.3이 있다. 정리 2.2는 인터샘플 예측기 관측기에 대해, 샘플링 간격 상한 \(\tau_{\max}\) 가 특정 Lyapunov‑함수 기반 부등식(관측 이득, 리프시츠 상수, 행렬 \(A\) 의 스펙트럼 등)을 만족하면 관측 오차가 지수적으로 수렴함을 보인다. 또한 수렴 속도 \(\alpha\) 를 \(\tau_{\max}\) 의 함수로 명시한다. 정리 2.3은 ZOH 관측기에 대해 유사한 결과를 제공하지만, 요구되는 \(\tau_{\max}\) 가 더 작아 실제 적용 시 샘플링 주기가 짧아야 함을 의미한다. 노이즈·모델링 오차가 존재할 경우, 두 설계 모두 입력‑출력 안정성(IOS) 추정치를 제공한다. 즉, 관측 오차 \(\|e\|_{L_\infty}\) 가 측정 노이즈 \(\|\xi\|_{L_\infty}\) 와 모델링 오차 \(\|v-\tilde v\|_{L_\infty}\) 에 대해 선형적으로 바운드된다. 예시 3.1에서는 특정 파라볼릭 PDE에 대해 인터샘플 예측기 설계가 \(\tau_{\max}\) 를 거의 무제한으로 허용함을 시연한다. 반면 ZOH 관측기는 일정 이하의 \(\tau_{\max}\) 를 만족해야만 수렴한다. 예시 3.2는 경계점 측정(지역 출력) 상황을 다루며, 제안된 프레임워크가 경계 출력에도 적용 가능하고, sup‑norm(공간 최대값) 에 대한 강한 수렴 추정치를 제공함을 보여준다. 증명은 Lyapunov‑함수와 에너지 추정, 그리고 작은 이득 원리를 결합한다. 관측 오차를 고유함수 전개 형태로 표현하고, 각 모드에 대한 미분 불등식으로부터 전체 시스템의 지수 안정성을 도출한다. 인터샘플 예측기 설계에서는 추가적인 ODE 모드가 등장하지만, 적절한 행렬 \(A\) 와 작은 이득 조건을 통해 전체 시스템을 안정화한다. 결론에서는 비국소 출력과 비선형 항을 포함하는 파라볼릭 PDE에 대한 샘플링 데이터 관측기 설계가 가능함을 강조하고, 인터샘플 예측기 기반 설계가 샘플링 주기 제한을 크게 완화한다는 점을 부각한다. 향후 연구로는 다중 입력·출력 시스템, 시간 변동 파라미터, 그리고 실시간 구현을 위한 수치 알고리즘 개발을 제시한다.