[論文レビュー] Controlling of clock synchronization in WSNs: structure of optimal solutions

Larisa Manita|arXiv (Cornell University)|Aug 6, 2014

Network Time Synchronization Technologies参考文献 5被引用数 3

ひとこと要約

この論文は、無線センサネットワーク（WSNs）における時 clocks 同期のための最適制御問題を定式化し、同期誤差とエネルギー消費のトレードオフを最小化する。ポントリャーギンの最大原理を用いて、最適制御の構造を導出し、送信電力が十分に高い場合には、制御が中間値で一定に保たれる特異アーチを含む最適解が得られることを示している。これは、同期精度を維持しつつ、エネルギー効率を著しく向上させる。

ABSTRACT

Energy-saving optimization is very important for various engineering problems related to modern distributed systems. We consider here a control problem for a wireless sensor network with a single time server node and a large number of client nodes. The problem is to minimize a functional which accumulates clock synchronization errors in the clients nodes and the energy consumption of the server over some time interval $[0,T]$. The control function $u=u(t)$, $0\leq u(t)\leq u_{1}$, corresponds to the power of the server node transmitting synchronization signals to the clients. For all possible parameter values we find the structure of optimal trajectories. We show that for sufficiently large $u_{1}$ the solutions contain singular arcs.

研究の動機と目的

• 単一のタイムサーバと複数のクライアントノードを有する大規模WSNsにおける時 clocks 同期のための最適制御問題をモデル化し、解法を提示すること。
• クライアントの平均二乗時 clocks 離散化とサーバのエネルギー消費をバランスさせるコスト関数を最小化すること。
• すべてのパrameter領域における最適制御入力（送信電力）の構造を特定すること。
• 特異制御アーチが出現する条件を同定し、エネルギー効率の良い同期を可能にすること。

提案手法

• 状態 R(t) がクライアントとサーバノード間の期待二乗時 clocks 偏りを表す双線形制御系を定式化する。
• 同期誤差の減衰をモデル化する動的方程式 Ṙ(t) = -u(t)R(t) + Nσ² を導出する。
• 有界な制御 u(t) ∈ [0, u₁] を持つ最適制御問題にポントリャーギンの最大原理を適用する。
• ハミルトニアンと共役方程式を分析し、最適軌道を非特異および特異ケースに分類する。
• 弱-* 収束およびコンパクトネスの議論を用いて、L∞[0,T] における最適解の存在を証明する。
• 特に、u₁ に対する臨界値 √(αNσ²/β) に基づいて、パrameterのしきい値に応じた最適制御構造を分類する。

実験結果

リサーチクエスチョン

• RQ1 WSNsにおける時 clocks 同期の最適制御戦略が、バン・バンスイッチングではなく特異アーチを含む条件は何か？
• RQ2 最適制御構造は、初期離散化 R(0)、時間区間 T、およびシステムパラメータ α, β, N, σ, u₁ にどのように依存するか？
• RQ3 最大送信電力 u₁ が十分に大きい場合、最適制御軌道の正確な構造は何か？
• RQ4 最適制御方策は、最終時刻 T に近い時期に同期メッセージを送信しないように保証する仕組みは何か？
• RQ5 特異制御値 us は、エネルギーと同期誤差の組み合わせコストを最小化するために果たす役割は何か？

主な発見

• すべてのパrameter値に対して、最適制御方策は最終区間 [τ, T] で u(t) = 0 を含み、時刻 T に近い時期にメッセージを送信することは非効率であることを示している。
• u₁ > √(αNσ²/β) の場合、制御が中間値 us ∈ (0, u₁) で一定に保たれる特異アーチが最適解に含まれる可能性があり、この間 R(t) = RS が一定に保たれる。
• 最適制御構造は、R(0) と T に応じて、u=0、u=u₁、u=us の間で最大2回のスイッチを含む区分的定数関数である。
• 特異アーチの存在は、u₁ がコストトレードオフパラメータ α, β, σ に対して十分に大きい場合に限定される。
• 最適解は一意であり、(T, R(0)) 平面を、異なる制御構造に対応する領域に分割することで完全に特徴付けられる。
• 数値プロットにより、(T, R(0)) 平面に特異制御領域が出現することが確認され、(us,0) または (a,us,0) とラベル付けされている。ここで a ∈ {0, u₁} である。