[論文レビュー] Analysis of Distributed Average Consensus Algorithms for Robust IoT networks

Sateeshkrishna Dhuli, Fouzul Atik|arXiv (Cornell University)|Apr 21, 2021

Distributed Control Multi-Agent Systems参考文献 31被引用数 5

ひとこと要約

本稿では、分散平均協調アルゴリズムの性能を向上させるために、耐障害性の高いIoTネットワークを目的として、q-三角形 r-正則なループネットワークトポロジーを提案する。ラプラシアン行列の固有値を明示的に導出することで、収束時間、ネットワークコherーランス、最大通信遅延時間を解析的に評価し、q-三角形化操作が大規模なIoTシステムにおけるノイズおよび通信遅延に対する耐性を顕著に向上させることを示している。

ABSTRACT

Internet of Things(IoT) is a heterogeneous network consists of various physical objects such as large number of sensors, actuators, RFID tags, smart devices, and servers connected to the internet. IoT networks have potential applications in healthcare, transportation, smart home, and automotive industries. To realize the IoT applications, all these devices need to be dynamically cooperated and utilize their resources effectively in a distributed fashion. Consensus algorithms have attracted much research attention in recent years due to their simple execution, robustness to topology changes, and distributed philosophy. These algorithms are extensively utilized for synchronization, resource allocation, and security in IoT networks. Performance of the distributed consensus algorithms can be effectively quantified by the Convergence Time, Network Coherence, Maximum Communication Time-Delay. In this work, we model the IoT network as a q-triangular r-regular ring network as q-triangular topologies exhibit both small-world and scale-free features. Scale-free and small-world topologies widely applied for modelling IoT as these topologies are effectively resilient to random attacks. In this paper, we derive explicit expressions for all eigenvalues of Laplacian matrix for q-triangular r-regular networks. We then apply the obtained eigenvalues to determine the convergence time, network coherence, and maximum communication timedelay. Our analytical results indicate that the effects of noise and communication delay on the consensus process are negligible for q-triangular r-regular networks. We argue that q-triangulation operation is responsible for the strong robustness with respect to noise and communication time-delay in the proposed network topologies.

研究の動機と目的

• 小規模世界的およびスケールフリー特性を組み合わせた、より高い耐障害性を有するq-三角形 r-正則なループトポロジーを用いてIoTネットワークをモデル化すること。
• 収束時間、ネットワークコヒーレンス、最大通信遅延時間といった、主要な協調性能指標の明示的閉形式式を導出すること。
• ネットワークサイズ、ノード次数（r）、および三角形化パラメータ（q）が協調アルゴリズム性能に与える影響を分析すること。
• q-三角形化が、大規模かつ動的変化するIoTネットワークにおけるノイズおよび通信遅延に対する耐性を向上させることを実証すること。

提案手法

• 小規模世界的およびスケールフリー特性を誘導するため、三角形化を活用してIoTネットワークをq-三角形 r-正則なループネットワークとしてモデル化する。
• スペクトルグラフ理論を用いて、q-三角形 r-正則ネットワークのラプラシアン行列の固有値を導出する。
• 導出された固有値を用いて、2番目に小さい固有値による収束時間、逆ラプラシアン行列のトレースによるネットワークコヒーレンス、最大固有値による最大通信遅延時間を計算する。
• 三角関数および代数的関数を用いて、1次および2次協調システムの閉形式式を定式化する。
• 数値シミュレーションにより、収束時間、コヒーレンス、遅延性能を、ネットワークサイズ（n）、ノード次数（r）、三角形化パラメータ（q）の変動に対して検証する。
• 固有値式を用いて、性能指標がトポロジー的パラメータ、特にqおよびrに対してどのように感度を示すかを分析する。

実験結果

リサーチクエスチョン

• RQ1 q-三角形 r-正則ネットワークトポロジーは、IoTネットワークにおける分散平均協調の収束時間にどのように影響を与えるか？
• RQ2 三角形化パラメータ（q）およびノード次数（r）は、協調アルゴリズムにおけるネットワークコヒーレンスおよびノイズ耐性にどの程度影響を与えるか？
• RQ3 q-三角形ネットワークにおけるラプラシアン行列の最大固有値と最大通信遅延時間との間の解析的関係は何か？
• RQ4 ネットワークサイズ（n）およびトポロジー・パラメータ（q, r）が、通信遅延およびノイズ下での協調アルゴリズムの耐性にどのように共同で影響を与えるか？
• RQ5 q-三角形化は、IoTネットワークにおける協調性能を向上させる小規模世界的およびスケールフリー特徴をどのように強化するか？

主な発見

• 収束時間は三角形化パラメータqに線形に増加し、ノード次数rが高くなると減少する。これは、接続密度が高い状況ではより速い協調が達成されることを示唆している。
• 収束時間はネットワークサイズnが増加するに従い急激に増加し、特にrが小さい場合に顕著である。これはスケーラビリティの課題を示している。
• 最大通信遅延時間はqが増加するに従い指数関数的に減少する。これは、三角形化による長距離接続性の向上に起因する。
• 1次ネットワークコヒーレンスはqが増加するに従い指数関数的に減少し、rが高くなると同様に減少する。これは、協調状態のフラクチュエーションが低減することを示している。
• 2次ネットワークコヒーレンスはrの増加に対してほとんど増加しない。これは、2次動的システム下での安定性向上に限界があることを示唆している。
• 提案されたq-三角形 r-正則トポロジーは、その内在的な小規模世界的およびスケールフリー構造に起因し、ノイズおよび通信遅延に対して強い耐性を示している。