비선형 시스템을 위한 집합 기반 관측기 비교

초록

본 논문은 비선형 이산시간 시스템에 적용 가능한 다양한 집합 기반 상태 추정기들을 CORA 툴박스에 구현하고, 동일한 벤치마크 환경에서 계산 비용, 확장성, 추정 집합의 보수성 등을 정량적으로 비교한다. 인터섹션 기반, 전파 기반, 구간 기반으로 분류된 관측기들의 장단점을 분석하고, 구현 코드를 공개함으로써 재현성과 향후 연구를 지원한다.

상세 분석

논문은 먼저 비선형 시스템 상태 추정에서 보장된 집합을 얻는 것이 안전 임계 응용에 필수적임을 강조한다. 이를 위해 사용되는 집합 표현을 인터벌, 타원, 폴리토프(특히 폴리토프 → 존토프 → 제약 존토프) 등으로 구분하고, 각각의 연산 복잡도와 닫힘 성질을 상세히 정리한다. 인터벌은 차원 증가에 강건하지만 형태가 단순하고 보수성이 크며, 타원은 고차원에서도 효율적인 계산이 가능하지만 교차와 합 연산에서 보수성이 크게 늘어난다. 폴리토프는 복잡한 형태를 표현할 수 있지만 H-표현에서의 연산 비용이 지수적으로 증가한다. 존토프는 중심 대칭성을 이용해 합과 선형 변환을 O(n)·O(n³) 수준으로 처리할 수 있어 고차원 시스템에 적합하지만 교차 연산이 제한적이다. 제약 존토프는 추가적인 선형 제약을 통해 보수성을 감소시키고 교차 연산도 효율적으로 수행할 수 있지만, 반복 연산 시 생성자와 제약 행렬이 급증하는 문제를 해결하기 위해 차원 축소와 제약 축소 기법이 필요하다.

관측기 분류는 기존 선형 관측기 연구(Althoff & Rath, 2021)를 확장해 인터섹션 기반, 전파 기반, 구간 기반으로 나눈다. 인터섹션 기반은 예측 단계에서 비선형 동역학을 집합으로 전파하고, 측정 스트립과 교차하여 보정한다. 여기서는 평균값 확장(Theorem 1)과 차함수(DC) 분해 기법을 활용해 비선형 함수를 상하한으로 감싸는 방법을 제시한다. 특히 FRad‑A, VolMin‑A, CZMV 등은 존토프 혹은 제약 존토프를 사용해 생성자 행렬의 프뢰베니우스 노름 혹은 부피를 최소화함으로써 보수성을 낮춘다. DC 기반 관측기(ZDC, CZDC)는 함수 f를 볼록 함수 차이(g‑h)로 분해해 각각의 볼록 상하한을 구하고, 이를 통해 더 타이트한 집합을 얻는다.

전파 기반 관측기는 Luenberger 형태의 관측기를 집합 연산에 적용하고, 교차 없이 오차 보정 행렬 G를 온라인으로 계산한다. 비선형 시스템에선 보수적 선형화를 사용해 고차항을 헤시안 기반 잔차로 상한한다. FRad‑C가 대표적인 구현이며, G 계산에 Kalman‑filter 유사 최적화를 적용한다.

구간 기반 관측기는 현재까지 일반적인 비선형 이산시간 시스템에 대한 순수 구현이 없으며, 대신 예측 단계에서 상하한을 별도로 전파하고 교차 단계에서 이를 결합하는 하이브리드 방식을 사용한다.

실험에서는 2‑4 차원 비선형 베치마크(예: 로봇 팔, 자율 주행 차량 모델)를 선정하고, 동일한 초기 집합·잡음·교란 조건 하에 각 관측기의 실행 시간, 메모리 사용량, 추정 집합 부피(보수성 지표)를 측정한다. 결과는 존토프 기반이 차원 증가에 가장 효율적이며, 제약 존토프가 보수성 측면에서 가장 우수하지만 연산 비용이 크게 늘어난다는 전형적인 트레이드오프를 확인한다. 또한, DC 분해를 활용한 관측기가 동일 차원에서 타원 기반보다 현저히 작은 집합을 제공함을 보여준다.

마지막으로 논문은 모든 구현 코드를 오픈소스로 공개하고, CORA 프레임워크에 새로운 벤치마크 스위트를 추가함으로써 향후 연구자들이 동일 조건에서 새로운 방법을 손쉽게 비교할 수 있는 기반을 마련한다.