[논문 리뷰] Error Correcting Codes for Distributed Control

Ravi Teja Sukhavasi, Babak Hassibi|arXiv (Cornell University)|2011. 12. 19.

Cellular Automata and Applications참고 문헌 35인용 수 8

한 줄 요약

이 논문은 실시간 오류 수정을 위한 선형 트리 코드를 제안하며, 노이즈가 있는 채널을 통해 불안정한 식물의 안정화를 가능하게 하며 디코딩 오류 확률이 지수적으로 감소한다. 선형 트리 코드가 높은 확률로 존재함을 증명하고, 일정한 평균 디코딩 복잡도를 갖는 삭제 채널에 대해 명시적인 구축법을 제공하여 제어 안정성에 필수적인 anytime 신뢰성을 달성한다.

ABSTRACT

The problem of stabilizing an unstable plant over a noisy communication link is an increasingly important one that arises in applications of networked control systems. Although the work of Schulman and Sahai over the past two decades, and their development of the notions of "tree codes"\phantom{} and "anytime capacity", provides the theoretical framework for studying such problems, there has been scant practical progress in this area because explicit constructions of tree codes with efficient encoding and decoding did not exist. To stabilize an unstable plant driven by bounded noise over a noisy channel one needs real-time encoding and real-time decoding and a reliability which increases exponentially with decoding delay, which is what tree codes guarantee. We prove that linear tree codes occur with high probability and, for erasure channels, give an explicit construction with an expected decoding complexity that is constant per time instant. We give novel sufficient conditions on the rate and reliability required of the tree codes to stabilize vector plants and argue that they are asymptotically tight. This work takes an important step towards controlling plants over noisy channels, and we demonstrate the efficacy of the method through several examples.

연구 동기 및 목표

• 노이즈가 있는 통신 채널을 통해 불안정한 식물을 안정화하기 위한 실용적인 오류 수정 부호에서 anytime 신뢰성이 확보된 부족한 점을 보완하기 위해.
• 제어 시스템에서 요구하는 바로, 디코딩 지연과 함께 지수적으로 감소하는 오류 확률을 보장하는 실시간 인코딩 및 디코딩 기법을 개발하기 위해.
• 네트워크 제어 시스템에서 사용 가능한 명시적이고 효율적인 트리 부호—특히 선형 부호—의 구축법을 제공하기 위해.
• 벡터 식물을 위한 코드 비율과 신뢰성 조건을 충족시키는 충분조건을 설정하여, 이들이 渐近적으로 날카로움을 보여주기 위해.
• 모의 실험을 통해 선형 트리 부호가 유한한 노이즈와 삭제 채널 조건 하에서도 불안정한 시스템을 안정화시킬 수 있음을 입증하기 위해.

제안 방법

• 모든 이전 소스 기호에 의존하는 인코딩 및 디코딩을 갖는 선형 트리 부호를 사용하며, 이는 트리 형태의 구조를 형성한다.
• 코드 생성 행렬에 랜덤 토플리츠 행렬 구축법을 적용하여, anytime 신뢰성 조건을 충족할 가능성이 높아지도록 보장한다.
• 노이즈가 있는 측정값과 양자화된 측정값으로부터 상태 추정을 위해 제어기에서 하이퍼큐브로이드 필터를 사용한다.
• 이중 삭제 채널에서 시간 단위당 일정한 평균 복잡도를 갖는 디코딩을 위한 알고리즘 1을 구현한다.
• 표준형으로 표현된 시스템 행렬의 스펙트럼 반경을 사용하여 코드 비율 $ R $ 과 오류 지수 $ \beta $ 에 대한 충분조건을 유도한다.
• 각 코드에 대해 100회의 몬테카를로 시뮬레이션을 수행하고, 100개의 시간 구간 동안 LQR 비용을 평균화하여 성능를 검증한다.

실험 결과

연구 질문

• RQ1 네트워크 제어 시스템에서 사용 가능한 효율적인 인코딩 및 디코딩을 갖는 선형 트리 부호를 명시적으로 구축할 수 있는가?
• RQ2 노이즈가 있는 채널을 통해 벡터 식물을 안정화하기 위한 코드 비율과 오류 지수에 대한 충분조건는 무엇인가?
• RQ3 채널 삭제가 발생할 경우 피드백이 안정화 영역에 어떤 영향을 미치는가?
• RQ4 LQR 비용을 최소화하기 위해 코드 비율, 해상도, 오류 지수 사이의 상충 관계는 무엇인가?
• RQ5 삭제 채널에서 선형 트리 부호가 일정한 평균 디코딩 복잡도를 갖는 anytime 신뢰성을 달성할 수 있는가?

주요 결과

• 선형 트리 부호는 높은 확률로 존재하며, 이는 이전의 비선형 구축법에 대한 실용적인 대안을 제공한다.
• 이중 삭제 채널의 경우, 제안된 구축법은 시간 단위당 일정한 평균 디코딩 복잡도를 달성한다.
• $ (|\mu_1|, |\mu_2|) $ 평면에서 피드백이 있을 경우와 없을 경우를 비교할 때, 안정화 영역이 크게 증가한다.
• 카트-스틱 밸런서 예제에서 $ k=5 $, $ n=15 $ 일 때 $ n\beta = 4.27 $ 로 계산되어 요구 조건인 $ 4.1035 $ 를 초과한다.
• 3차원 불안정 시스템의 경우 최적의 코드 비율은 $ R = 5/15 \approx 0.33 $ 로 나타나며, LQR 비용을 최소화하고 $ 85\% $ 의 부호가 비용 < 15 를 달성한다.
• $ k=5 $ 일 때 $ 95\% $ 의 부호가 LQR 비용을 15 이하로 유지하여, 분해능과 오류 지수의 균형을 고려할 때 낮거나 높은 비율보다 뛰어난 성능을 보였다.