양자화 관측을 이용한 확률선형 시스템의 평균제곱 유계성

초록

본 논문은 마진 안정성을 가진 확률선형 시스템에 대해, 유한 개의 구간을 갖는 상태 양자화를 설계하고, 양자화된 측정값을 이용한 제한된 제어 정책을 제시한다. 제안된 방법은 폐루프 시스템의 상태 2차 모멘트가 유계임을 보장한다.

상세 분석

본 연구는 연속시간이 아닌 이산시간 선형 시스템 x_{t+1}=Ax_t+w_t 를 전제로 한다. 여기서 A는 스펙트럼 반경이 1 이하인 마진 안정 행렬이며, w_t는 평균이 0이고 공분산이 유한한 독립동일분포( i.i.d.) 잡음이다. 기존 문헌에서는 무한히 정밀한 센서가 가정되거나, 상태 피드백이 연속값으로 제공될 때 평균제곱 유계성을 보장하는 조건을 제시했지만, 실제 시스템에서는 디지털 통신 채널을 통해 양자화된 관측치만 전달된다는 현실적인 제약이 존재한다. 이 점을 고려하여 저자들은 두 단계 설계 방식을 제안한다. 첫 번째 단계는 상태 공간 ℝ^d 를 원점 중심의 구형 구간으로 나누고, 각 구간을 하나의 양자화 비트(또는 심볼)로 매핑하는 ‘finite‑bin quantizer’를 구성한다. 양자화 셀은 원점에서 일정 거리 r 이내의 작은 구역을 제외하고는 모두 동일한 반경 R 의 구형 셀으로 구성되며, 셀 경계는 A의 고유값과 잡음 분산을 고려해 설계된다. 두 번째 단계는 양자화된 상태 \hat{x}_t 를 이용해 제한된 제어 입력 u_t = K\hat{x}_t 를 적용하는 정책을 정의한다. 여기서 K는 A와 결합해 폐루프 행렬 A+BK 가 스펙트럼 반경이 1보다 작도록 선택된다. 핵심 이론적 기여는 두 가지 불평등을 결합한 Lyapunov‑type 분석이다. 첫째, 양자화 오차 e_t = x_t - \hat{x}_t 가 셀 반경에 의해 상한이 존재함을 보이고, 둘째, 잡음 w_t 와 오차 e_t 가 독립적이면서도 유한한 2차 모멘트를 갖는다는 점을 이용해 E