재전송 여부 결정 실시간 원격 추정 최적 정책

** 본 논문은 산업 자동화, 스마트 그리드, 촉각 인터넷 등 미션 크리티컬한 실시간 제어 응용에서 핵심적인 역할을 하는 원격 상태 추정 문제를 다룬다. 시스템은 LTI 동적 프로세스를 관측하는 스마트 센서와, 무선 채널을 통해 데이터를 수신하는 원격 추정기로 구성된다. 센서는 매 샘플링 주기마다 칼만 필터를 적용해 로컬 추정값 \(\hat{x}^s_k\)를 얻고, 이를 패킷에 담아 전송한다. 전송 채널은 i.i.d. 패킷 손실을 갖으며, 전통적인 ARQ와 달리 HARQ를 적용하면 재전송 횟수에 따라 성공 확률이 증가한다. 핵심 질문은 “패킷 전송이 실패했을 때, 센서는 이전에 실패한 패킷을 재전송할 것인가, 아니면 최신 측정값을 새로 전송할 것인가”이다. 재전송은 성공 확률을 높여 신뢰성을 확보하지만, 최신 정보가 오래된 상태로 전달되어 추정 신선도가 떨어진다. 반대로 새 전송은 최신성을 유지하지만 성공 확률이 낮다. 이러한 트레이드오프를 정량화하기 위해, 논문은 다음과 같은 모델링을 수행한다. 1. **시스템 모델**: - 동적 프로세스: \(x_{k+1}=Ax_k+w_k,\; y_k=Cx_k+v_k\) (Gaussian 잡음). - 센서 로컬 칼만 필터는 안정적이며, 수렴된 공분산 \(\bar{P}_0\)를 사용한다. 2. **통신 모델**: - HARQ 성공 확률은 \(1-g(r_k)\)로 표현, 여기서 \(r_k\)는 현재 재전송 횟수. - \(g(0)=\lambda\) (새 전송 손실 확률), \(g(r)\)는 \(r\)가 증가할수록 감소한다. 3. **원격 추정기**: - 성공적으로 수신된 패킷이 있으면 해당 시점의 로컬 추정값을 이용해 현재 상태를 \(A^{\Delta}\hat{x}^s_{k-\Delta}\) 형태로 예측한다. - 실패 시에는 이전 성공 패킷을 기반으로 동일한 방식으로 예측한다. 4. **상태 정의**: - \(r_k\): 현재 재전송 횟수 (새 전송이면 0). - \(q_k\): 최신 성공 패킷과 현재 시점 사이의 시간 차(즉, AoI와 유사). - 두 변수는 MDP의 상태 \((r_k,q_k)\)를 구성한다. 5. **MDP 구성**: - **행동** \(a_k\in\{0,1\}\): 0은 새 전송, 1은 재전송. - **전이 확률**는 HARQ 성공 확률에 따라 결정되고, \(r_k,q_k\)의 업데이트 규칙은 (6),(9)식에 의해 정의된다. - **비용**는 현재 추정 오차 공분산의 트레이스, 즉 \(\text{Tr}(P_k)=\text{Tr}(f^{q_k+1}(\bar{P}_0))\)이며, \(q_k\)가 클수록 비용이 증가한다. 6. **정책 존재 조건**: - 평균 MSE가 유계가 되려면 시스템 행렬 \(A\)와 채널 특성 사이에 \(\rho^2(A)(1-g(0))<1\)이라는 충분조건이 필요하다. 이는 시스템이 자체적으로 발산하지 않도록 하는 안정성 조건과 동일하게 해석된다. 7. **정책 구조**: - 최적 정책은 “스위칭 형태”임을 증명한다. 즉, 임계값 \(q^*\)가 존재해 \(q_k\le q^*\)이면 새 전송, \(q_k>q^*\)이면 재전송을 선택한다. 이 구조는 상태 공간이 무한히 커지는 문제를 효율적으로 해결한다. 8. **서브옵티멀 정책**: - 최적 정책을 구하기 위한 동적 프로그래밍은 계산량이 크다. 논문은 \(q_k\)와 \(r_k\)의 선형 결합을 기준으로 스위칭을 결정하는 저복잡도 정책을 제안한다. 이 정책은 임계값을 근사적으로 계산하면서도 거의 최적에 근접한다. 9. **수치 실험**: - 2차원 LTI 시스템(\(\rho^2(A)=1.5\) 등)과 다양한 패킷 손실 확률(0.1~0.5) 하에서 시뮬레이션을 수행. - 제안 최적 정책은 평균 MSE를 기존 비‑HARQ 정책 대비 20~35% 감소시켰으며, 서브옵티멀 정책도 95% 이상의 성능을 유지했다. - 특히 채널 품질이 낮을 때 재전송을 적절히 활용함으로써, 오래된 정보라도 높은 성공 확률로 전달되어 전체 추정 정확도가 크게 향상되었다. 10. **의의 및 향후 연구**: - HARQ를 원격 추정에 적용함으로써 신뢰성과 신선도 사이의 균형을 정량적으로 제어할 수 있음을 보였다. - 정책 존재 조건은 시스템 설계 단계에서 채널 요구사항을 판단하는 기준이 될 수 있다. - 향후 연구에서는 마코프 채널, 다중 센서, 에너지 제약 등을 포함한 확장 모델과, 실시간 구현을 위한 경량 알고리즘 개발이 제안된다. **