선형 기술자 시스템을 위한 최소극점 상태 추정 및 일반화 칼만 이중성

초록

본 논문은 비가역·비유계 선형 연산자를 포함하는 미분‑대수 방정식(DAE) 모델에 대해 일반화된 칼만 이중성 원리를 제시하고, 이를 기반으로 최소극점(Minimax) 상태 추정 이론과 필터·변분 형태의 알고리즘을 개발한다. 존재 정리와 최악‑사례 오차 평가를 제공하며, 연속·이산 시간 모두에 적용 가능한 실용적 구현 방법을 제시한다.

상세 분석

이 연구는 기존 칼만 이중성(Kalman duality)이 요구하는 유계·가역 연산자 가정이 깨지는 선형 DAE 시스템에 대한 근본적인 해법을 제시한다. 저자는 ‘일반화 칼만 이중성(GKD)’이라는 새로운 개념을 도입하여, 넓은 의미의 비가역·비유계 연산자와 널 공간(null‑space)이 존재하는 경우에도 이중 최적화 문제를 정의할 수 있음을 증명한다. 이를 통해 모델 오류와 관측 잡음이 각각 유계 집합에 포함된다는 가정 하에, 상태 함수 ℓ(x)의 최소극점 추정값을 구하는 a‑priori와 a‑posteriori 두 종류의 추정식을 도출한다.

주요 수학적 결과는 다음과 같다. 첫째, 타원형(ellipsoidal) 불확실성 집합 G와 G₂에 대해 최소극점 추정량이 선형 연산자 Q₁, Q₂와 연관된 해석식(식 4, 5 등)으로 명시된다. 둘째, 존재 정리와 함께 최악‑사례 오차(σ̂)가 ℓ와 연관된 최적 해 p의 내적 형태로 표현되어, 오차가 무한대가 되는 경우(ℓ∉F)를 명확히 구분한다. 셋째, 연속 시간 DAE에 대해서는 연산자 D와 그 수반 연산자 D*를 정의하고, D의 폐쇄성·밀도성을 이용해 상태 방정식(7)–(8)을 연산자 방정식 형태로 변환한다.

알고리즘 측면에서는 두 가지 구현 경로를 제시한다. 변분 형태는 라그랑주 승수를 이용해 최적 제어 문제와 동등시켜, 연속 시간 시스템에 대한 Riccati‑유사 방정식 형태의 필터를 도출한다. 이산 시간 경우에는 행렬 블록 구조(F, H, B)를 이용해 전진·후진 재귀식(식 13‑15)으로 구성된 최소극점 재귀 추정기를 제시한다. 특히, 필터 설계 시 행렬