[論文レビュー] Stabilizing Error Correction Codes for Controlling LTI Systems over Erasure Channels

Jan Østergaard|arXiv (Cornell University)|Jan 14, 2022

Error Correcting Code Techniques被引用数 5

ひとこと要約

本稿では、システムの動的特性に基づいて設計された、遅延のないエラー訂正符号である$(k,k')$安定化符号を提案する。各入力に対して$k$個の出力記号を生成し、$k'$個の受信が得られれば、安定性に必要な十分な信号対雑音比（SNR）が保証される。繰り返し符号と比較して顕著な性能向上を達成し、シミュレーションでは低エラー率領域で3 dBのSNR利得を示した。

ABSTRACT

We propose (k,k') stabilizing codes, which is a type of delayless error correction codes that are useful for control over networks with erasures. For each input symbol, k output symbols are generated by the stabilizing code. Receiving any k' of these outputs guarantees stability. Thus, the system to be stabilized is taken into account in the design of the erasure codes. Our focus is on LTI systems, and we construct codes based on independent encodings and multiple descriptions. The theoretical efficiency and performance of the codes are assessed, and their practical performances are demonstrated in a simulation study. There is a significant gain over other delayless codes such as repetition codes.

研究の動機と目的

• 高いパケット損失率を示すエラー除去チャネル上での不安定LTIシステムの安定化に課題に取り組む。
• プラントの動的特性を考慮しない従来のエラー訂正符号の限界を克服する。
• システム固有のSNR要件を活用することで、遅延のない符号を設計し、安定性を保証する。
• ネットワーク制御システムにおける繰り返し符号および標準的なエラー除去符号と比較して、向上した性能を実証する。
• リアルタイム制御応用に適した、独立した符号化と複数記述を用いた実用的な符号構成を提供する。

提案手法

• 各入力記号に対して$k$個の出力記号を生成し、$k'$個の受信記号が得られれば安定性に必要な十分なSNRが得られる$(k,k')$安定化符号を設計する。
• $k$個の独立した符号化を生成するために、差分を加えたスカラ量子化器を用い、複数記述による diversity gain を実現する。
• ネストされた格子を用いた複数記述符号化により、相関を制御した記述（相関係数$\rho = -0.41$）を生成する。
• 任意の$k'$個の記述を組み合わせることで、プラントの安定性に必要な臨界閾値を超えるSNRが得られることを保証する。
• 安定性を維持しながらレートを最小化するため、エントロピー符号化を適用し、SNRおよび情報理論に基づく理論的レート解析を実施する。
• i.i.d.パケット損失下でのシステム性能をシミュレートし、$10^6$サンプルの平均をとることで、出力誤差のSNRおよび分散を評価する。

実験結果

リサーチクエスチョン

• RQ1 エラー訂正符号を設計することで、その性能が不安定LTIシステムの安定性をエラー除去チャネル上で直接保証できるか？
• RQ2 同じ合計レートおよび遅延制約下で、$(k,k')$安定化符号は従来の繰り返し符号と比較してどのように性能を発揮するか？
• RQ3 最小限のレートオーバーヘッドで安定性を達成するために、独立した符号化と複数記述のどちらが最適な符号構成か？
• RQ4 量子化および記述間相関の選択が、達成可能なSNRおよびシステムの安定性にどのように影響するか？
• RQ5 スカラ量子化および有限ビット表現を用いた実際の状況で、理論的なSNR閾値はどの程度達成可能か？

主な発見

• 独立した符号化に基づく$(3,2)$安定化符号は理論的効率0.6を達成し、測定されたエントロピーは1.57ビット／記述であった。
• 低パケット損失確率領域では、$(3,2)$安定化符号が$(3,1)$繰り返し符号と比較して最大3 dBのSNR利得を示し、顕著な性能向上を確認した。
• $(2,1)$安定化符号では、1つの記述でSNRが3.45、2つの記述で6.91を達成し、2つの記述を組み合わせることで顕著なSNR上昇が得られた。
• 複数記述に基づく$(3,2)$符号では、2つの記述でSNRが5.6を達成（臨界安定化閾値を上回る）一方、独立符号化の場合では5.29であった。
• より高いビットレートおよび中程度のエラー率領域では、複数記述アプローチが独立符号化を上回り、より優れた耐障害性および効率性を示した。
• 合計レートが1サンプルあたり1ビット未満でも安定した制御性能を達成したため、エラー除去チャネル上での低レート制御の実現可能性を示した。