[论文解读] 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）时钟同步的最优控制问题，通过权衡同步误差与能耗，实现最优控制。利用庞特里亚金最大值原理，推导出最优控制的结构，表明当发射功率足够高时，最优解包含奇异弧，即控制量保持在中间值不变，显著提高能效，同时保持同步精度。

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中单个时间服务器与多个客户端节点的时钟同步最优控制问题模型并求解。
• 最小化一个代价泛函，该泛函平衡客户端的均方时钟不同步与服务器的能耗。
• 刻画所有参数范围内最优控制输入（发射功率）的结构。
• 识别奇异控制弧出现的条件，从而实现能效优化的同步。

提出的方法

• 建立一个双线性控制系统，其中状态 R(t) 表示客户端与服务器节点之间时钟偏差的平方期望值。
• 推导动力学方程 Ṙ(t) = -u(t)R(t) + Nσ²，用于建模在控制输入 u(t) 作用下同步误差的衰减过程。
• 将庞特里亚金最大值原理应用于有界控制 u(t) ∈ [0, u₁] 的最优控制问题。
• 通过分析哈密顿函数与伴随方程，将最优轨迹分类为非奇异与奇异两类。
• 利用弱-*收敛性与紧致性论证，证明在 L∞[0,T] 中最优解的存在性。
• 基于参数阈值对最优控制结构进行分类，特别是相对于 u₁ 的临界值 √(αNσ²/β)。

实验结果

研究问题

• RQ1 在何种条件下，WSNs时钟同步的最优控制策略会包含奇异弧而非bang-bang切换？
• RQ2 最优控制结构如何依赖于初始不同步值 R(0)、时域 T 以及系统参数 α, β, N, σ, u₁？
• RQ3 当最大发射功率 u₁ 足够大时，最优控制轨迹的精确结构是什么？
• RQ4 最优控制策略如何确保在最终时刻 T 附近不发送同步消息？
• RQ5 奇异控制值 us 在最小化能耗与同步误差综合成本方面起到什么作用？

主要发现

• 对于所有参数值，最优控制策略均包含一个最终区间 [τ, T]，其中 u(t) = 0，表明在时间 T 附近发送消息是次优的。
• 当 u₁ > √(αNσ²/β) 时，最优控制可能包含奇异弧，即 u(t) = us ∈ (0, u₁)，使得 R(t) 在时间区间内保持恒定值 RS。
• 最优控制结构为分段常数，最多包含两次在 u=0、u=u₁ 与 u=us 之间的切换，具体取决于初始不同步值 R(0) 与时域 T。
• 奇异弧的存在取决于 u₁ 相对于成本权衡参数 α、β 与 σ 是否足够大。
• 最优解唯一，且可通过将 (T, R(0)) 平面划分为对应不同控制结构的区域而完全表征。
• 数值图像确认了在 (T, R(0)) 平面中奇异控制区域的出现，标记为 (us,0) 或 (a,us,0)，其中 a ∈ {0, u₁}。