On mean-square boundedness of stochastic linear systems with quantized observations

기술 요약: 양자화된 관측을 가진 확률적 선형 시스템의 평균 제곱 유계성

문제 정식화
본 논문은 $\mathbb{R}^d$에서 진화하는 이산 시간 선형 확률 시스템 $x_{t+1} = A x_t + B u_t + w_t$를 다룹니다. 이 시스템은 유계된 4차 모멘트를 갖는 평균이 0인 상호 독립적인 노이즈 벡터 $(w_t)$ 시퀀스의 영향을 받습니다. 주요 과제는 제어기가 완벽한 상태 측정을 얻는 것이 아니라, 양자화 함수 $q: \mathbb{R}^d \to Q$ (여기서 $Q$는 벡터의 유한 집합인 알파벳)에 의해 생성된 양자화된 상태 측정값 $q(x_t)$를 받는다는 점입니다.

목표는 유한 알파벳을 갖는 양자화기와 그에 대응하는 유계 제어 정책을 설계하여 폐루프 시스템 상태가 평균 제곱 유계(즉, $\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$)가 되도록 하는 것입니다. 제어 입력 또한 균등하게 유계되어야 합니다 ($\|u_t\| \leq U_{max}$).

저자들은 특히 행렬 $A$가 리아푸노프 안정(eigenvalues의 크기가 $\leq 1$이며, 단위 원 위에 있는 고윳값들은 기하적 및 대수적 중복도가 동일함)인 시스템에 초점을 맞춥니다. 이는 통신 제약 하에서 불안정한 고윳값(단위 원 외부)을 가진 시스템을 안정화하는 광범위한 문헌과 차별화되는 지점입니다. 저자들은 무한한 노이즈를 가진 확률 시스템에서 1보다 큰 고윳값을 하나라도 가질 경우 유계된 입력을 통한 국소 안정화가 불가능하다는 점을 언급하며, 따라서 이미 리아푸노프 안정적인 시스템을 위한 "최대한으로 거친(maximally coarse)" 양자화에 초점을 맞춥니다.

방법론
제안된 솔루션은 제어 시퀀스가 양자화된 상태의 이력(history)에 의해 결정되는 $\kappa$-이력 의존 정책을 활용합니다. 방법론은 다음과 같은 구조적 가정 및 구성에 기반합니다:

1. 시스템 특성: 쌍 $(A, B)$는 $\kappa$ 단계 내에서 도달 가능(reachable)하다고 가정됩니다. 일반성을 잃지 않기 위해, 저자들은 기저 변환을 통해 $A$를 직교 행렬로 취급할 수 있습니다.
2. 양자화기 설계: 양자화기는 "방사형(radial)"으로 설계됩니다. 특정 반지름 $r$(구 $B_r$의 경계) 외부의 상태에 대해, 양자화기는 해당 상태를 경계 $\partial B_r$ 위의 한 점으로 매핑합니다. 구 $B_r$ 내부에서 양자화 규칙은 평균 제곱 유계성에 관해 임의적입니다. 양자화기는 상태 $z$와 그 양자화된 버전 $q(z)$ 사이의 각도 $\phi$가 유계되도록 보장합니다.
3. 제어 정책: 제어 정책은 각 단계 $t$에서 양자화된 상태 $q(x_{\kappa t})$를 바탕으로 $\kappa$개의 제어 입력을 적용합니다. 정책은 다음과 같이 정의됩니다:
   $$\bar{u}_{\kappa t} = -R_{\kappa}(A, B)^+ A^{\kappa} q(x_{\kappa t})$$
   여기서 $R_{\kappa}(A, B)$는 도달 가능성 행렬이며, $(\cdot)^+$는 무어-펜로즈 유사 역행렬을 나타냅니다. 이 제어 법칙은 양자화된 정보를 사용하여 상태를 원점으로 유도하려고 시도합니다.
4. 안정성 분석: 유계성 증명은 [5]에서 유도된 결과인 Proposition 3에 의존합니다. 이는 비음수 확률 변수가 값이 클 때 음의 드리프트(negative drift)를 보이고 유계된 4차 증분(fourth-order increments)을 가지면 평균 제곱 유계성을 가진다는 것을 확립합니다.
   • 저자들은 리아푸노프 유사 변수 $\xi_t = \|x_{\kappa t}\|$를 정의합니다.
   • $\|x_{\kappa t}\| > r$일 때, 반지름 $r$과 최대 양자화 각도 $\phi$가 시스템의 특이값 및 노이즈 바운드와 관련된 특정 부등식을 만족하면 기대 노름의 변화가 음수(드리프트 조건)임을 입증합니다.
   • 상태 증분의 4차 모멘트가 유계됨을 확인하여 Proposition 3의 조건을 충족함을 검증합니다.

주요 결과
본 논문은 폐루프 시스템의 평균 제곱 유계성에 대한 충분 조건을 제공하는 Theorem 2를 제시합니다:

• 양자화기가 특정 기하학적 제약(유한 알파벳, 반지름 $r$인 구의 경계에서의 방사형 투영, 그리고 상태와 양자화된 값 사이의 유계된 각도 $\phi$)을 만족하고,
• 제어 바운드 $U_{max}$가 시스템 파라미터에 비해 충분히 크다면 ($U_{max} \geq r / \sigma_{\min}(R_{\kappa}(A, B))$),
• 제안된 $\kappa$-단계 제어 정책의 연속적인 적용은 $\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$를 보장합니다.

이 정리는 유한한 수의 빈(bin)을 가진 양자화기가, 무한한 노이즈가 존재하는 상황에서도 시스템이 리아푸노프 안정적이라면 상태의 2차 모멘트를 안정화할 수 있음을 시사합니다.

의의 및 주장
저자들은 본 연구가 리아푸노드 안정 시스템을 위한 유한 알파벳 기반의 안정화와 관련된 문헌의 공백을 메운다고 주장합니다. 기존 연구들([2, 4, 1, 3, 7, 8])은 주로 통신 제약과 불안정한 고윳값을 가진 시스템에 집중해 왔으나, 본 논문은 이미 안정적인 시스템을 위한 "최대한 거친" 양자화를 목표로 합니다.

주요 기여에 대한 핵심 주장은 다음과 같습니다:

• 독창성: 저자들은 리아푸노프 안정 시스템 맥락에서 유한 알파벳을 이용한 안정화 문제를 다룬 선행 연구를 알지 못한다고 명시합니다.
• 실현 가능성: 이 절차는 불안정한 시스템과 연관된 통신 제약 없이도 유한 알파벳 양자화기가 평균 제곱 유계성을 보장하기에 충분하다는 것을 보여줍니다.
• 기존 결과의 회복: $r$-구면 상의 빈 밀도가 증가함에 따라(즉, $\phi \to 0$일 때), 제안된 정책은 저자들의 이전 연구 [6]에서 확립된 결과와 $U_{max}$에 대한 하한을 회복합니다.

시뮬레이션
논문에는 회전 행렬 $A$와 가우시안 노이즈를 가진 2D 시스템의 시뮬레이션이 포함되어 있습니다. 결과는 1000회의 실행 동안 제안된 정책(빈 개수 2, 4, 8개)을 [6]의 정책과 비교하여 상태의 평균 제곱 노름을 보여줍니다. 시뮬레이션은 유계된 상태 분산을 유지하는 데 있어 양자화 제어 전략의 성능을 시각적으로 보여줍니다.