샘플 경로 기반 분리 원리 재조명

초록

본 논문은 연속시간 선형‑이차 제어 문제에서 전통적인 확률적 접근법이 놓치는 “샘플 경로” 관점을 도입한다. 시스템을 확률 과정이 아닌 개별 신호 경로 사이의 맵으로 정의하고, 피드백 루프가 경로별로 결정론적으로 잘 정의될 때만 제어법을 허용한다. 이러한 프레임워크를 통해 가우시안 백색 잡음뿐 아니라 점프를 포함하는 일반 마팅게일 잡음에도 분리 원리를 확장한다. 핵심 결과는 “샘플 경로 수준에서의 결정론적 정상성”이 보장될 경우, 최적 제어는 칼만 추정기와 선형 피드백의 곱으로 표현된다는 것이다.

상세 분석

논문은 먼저 기존의 선형‑이차 레귤레이터(LQR)와 칼만 필터가 결합된 전통적 분리 원리의 미묘한 가정을 짚어낸다. 일반적인 확률론적 증명에서는 제어 입력 u(t)가 관측 필터 y(t)에 적응(adapted)하기만 하면 충분하다고 가정하지만, 실제로는 제어가 비선형이면 출력 과정 y(t) 자체가 비가우시안이 되어 조건부 평균 ˆx(t)=E{x(t)|Y_t}가 칼만 필터와 일치하지 않을 위험이 있다. 저자는 이를 “제어‑관측 순환 의존성”이라 명명하고, 이 순환이 깨지는 경우 Σ(t)=Cov{x(t)-ˆx(t)}가 제어에 의존하게 되어 최적 제어가 단순히 K(t)ˆx(t) 형태로 귀결되지 않을 수 있음을 보여준다.

핵심 아이디어는 시스템을 “샘플 경로 사이의 연산자”로 보는 것이다. 즉, 입력 신호 y(·)를 받아 출력 u(·)를 생성하는 함수 π를 정의하고, 피드백 방정식 z = z₀ + g π H z 가 모든 경로 ω∈Ω에 대해 유일한 해를 갖는지를 검증한다. 여기서 g는 볼테라 적분 연산자, H는 출력 선택 행렬이다. 이 조건을 “결정론적 정상성(deterministic well‑posedness)”이라 부르며, 이는 “강해(solution) 존재”보다 강한 요구사항이다. 정상성이 확보되면, 피드백 루프 내부의 정보 흐름이 선형 연산자만을 통해 전달된다는 사실을 이용해, 제어와 추정이 완전히 분리될 수 있음을 수학적으로 증명한다.

또한, 논문은 가우시안 백색 잡음 w(t) 대신 일반 마팅게일 M(t) (예: 포아송 점프 마팅게일)으로 확장한다. 이 경우에도 동일한 샘플 경로 기반 프레임워크를 적용하면, 조건부 평균 ˆx(t)=E{x(t)|Y_t}가 여전히 잘 정의된 적합한 추정 과정이 되고, 최적 제어는 u(t)=K(t)ˆx(t) 형태로 유지된다. 다만, 마팅게일에 점프가 포함되면 ˆx(t)의 정규성은 보장되지 않으므로, 추정 과정의 정칙성(regularity)을 확보하기 위한 추가 가정이 필요하다.

마지막으로 지연 시스템(Delay‑differential equations)까지 일반화한다. 지연 연산자를 포함한 볼테라 형태(8)로 시스템을 기술하고, 동일한 정상성 조건을 만족하면 지연 효과가 있는 경우에도 분리 원리가 성립한다는 점을 보여준다. 전체적으로 논문은 “경로‑수준의 결정론적 정상성”이라는 새로운 관점을 통해 기존 문헌에서 간과되던 비가우시안·비선형·점프·지연 등 다양한 복합 상황에서도 분리 원리를 일관되게 유지할 수 있음을 입증한다.