불안정 시스템의 이진 센싱을 이용한 능동 위치추정

초록

본 논문은 불안정한 선형 시스템에 대해 단일 비트 근접 측정만을 이용해 초기 상태와 고정 랜드마크 위치를 정확히 복원하는 방법을 제시한다. 불안정성 자체가 상태를 빠르게 구분 가능하게 만든다는 역설적 사실을 이용해, 지속적인 양성 측정이 확보될 경우 초기 상태 불확실성을 지수적으로 축소한다. 이를 위해 구면 Voronoi 분할을 기반으로 한 회복 제어법을 설계하고, 집합 기반 추정기와 결합한 ActiveLocalize 알고리즘을 제안한다. 이론적 수렴 보증과 수치 실험을 통해 제안 방법의 유효성을 확인한다.

상세 분석

논문은 먼저 불안정 시스템이 관측 가능성에 미치는 영향을 재해석한다. 기존 연구에서는 불안정성이 관측을 방해한다는 직관이 지배했지만, 저자들은 “잘못된 초기 추정은 시간이 지남에 따라 실제 궤적과 발산한다”는 사실을 증명한다. 이때 양성(1) 측정이 충분히 자주 발생하면, 잘못된 추정은 관측 가능한 영역을 벗어나게 되고, 따라서 불안정성 자체가 상태를 구분하는 메커니즘이 된다.

핵심 수학적 도구는 구면 Voronoi Partition (SVP)이다. 저자들은 α‑SVP를 정의하고, 같은 셀에 속한 두 점이 최소 내적 2α²‑1 이상을 만족한다는 정리를 제시한다. 특히 √3/2‑SVP를 사용하면, 현재 상태가 센싱 구(B(m,r)) 안에 있을 때, 해당 구의 경계에서 최소 하나의 Voronoi 셀 전체가 여전히 센싱 구 안에 포함됨을 보인다. 이 기하학적 성질을 이용해, 상태가 센싱 구를 이탈했을 때도 특정 셀에 속한 모든 가능한 탈출 지점을 한 번에 회복할 수 있는 제어 입력을 설계한다.

제어 설계는 두 단계로 구성된다. 첫 번째는 “양성 유지 단계”로, 현재 상태가 센싱 구 안에 있을 경우, 제어 입력을 선택해 연속적으로 y_k=1을 유지하면서 Reach 연산을 통해 초기 상태 집합 X₀를 점차 축소한다. 여기서는 Estimate 알고리즘이 핵심 역할을 한다. Estimate는 양성 측정이 발생한 시간 인덱스 L_k 를 이용해, 각 측정 시점 j에 대해 μ_{k,j}=−(A^{k}−A^{j})^{-1}∑{m=j}^{k‑1}A^{k‑1‑m}Bu_m와 P{k,j}=(A^{k}−A^{j})ᵀ(A^{k}−A^{j})/(4r²) 로 정의된 타원체 E(μ_{k,j},P_{k,j})와 X₀의 교집합을 반복적으로 계산한다. 이렇게 얻어진 축소된 X₀는 Reach 연산을 통해 현재 시점의 상태 집합 X_k와 랜드마크 집합 M를 동시에 업데이트한다.

두 번째는 “신호 손실 복구 단계”이다. 불안정성 때문에 상태가 B(m,r) 밖으로 빠져 y_k=0이 되면, 위에서 정의한 √3/2‑SVP의 셀 정보를 활용해, 각 셀에 대응하는 회복 제어 u^{rec}_i를 미리 설계한다. 이 제어는 모든 셀 내부의 가능한 탈출점들을 하나의 공통 목표점(예: 구의 중심)으로 끌어들이며, 제어 입력의 크기와 방향은 Voronoi 셀의 기저 벡터 p_i 로부터 유도된다. 저자들은 이 복구 제어가 유한 시간 내에 반드시 센싱 구로 복귀함을 정리 5.2 로 증명한다.

전체 알고리즘인 ActiveLocalize는 위 두 단계(양성 유지 + 복구)를 번갈아 가며 실행한다. 주요 가정은 랜드마크 불확실성 M이 시스템의 불안정도와 연관된 조건(식 22) 을 만족한다는 점이다. 이 조건이 충족되면, 매번 양성 측정이 확보될 때마다 초기 상태 집합의 직경이 상수 C·a^k (0<a<1) 로 기하급수적으로 감소한다. 따라서 lim_{k→∞} diam(ĤX₀