Comparing sliding-mode, bang-bang and linear-quadratic-Gaussian for steering an atomic clock

本文通过跨多时间尺度的大量数值仿真证明，一阶滑模控制（SMC）在原子钟调控中始终优于线性二次高斯（LQG）和bang-bang（BB）方法，其精度优于LQG，同时避免了BB方法固有的短期不稳定性。

要点

想象一下，你正试图让一座非常精密、昂贵的落地钟与位于政府天文台的主钟保持完美同步。问题在于，你的时钟有点“抖动”——由于微小的随机振动（噪声），它自然会向前或向后漂移。为了解决这个问题，你需要一个“方向盘”，不断将你的时钟推回正轨。

本文比较了三种不同的“驾驶员”（控制策略），以观察哪一种能在不引起过度抖动的情况下，最有效地保持时钟随时间推移的准确性。

以下是三种“驾驶员”及其所参与“比赛”的分解说明：

三种“驾驶员”

1. “Bang-Bang”驾驶员（BB）：

   • 工作原理： 这是最简单的方法。想象一位驾驶员只关注时钟是快了还是慢了。如果哪怕快了一点点，他们就猛踩刹车；如果慢了，他们就猛踩油门。他们只做两件事：全速或全停。
   • 问题： 由于他们过于激进，总是冲过头。这就像开车时只把方向盘完全向左或完全向右转动。你最终能到达目的地，但行程颠簸，且汽车在短期内会剧烈摇摆。

2. “线性 - 二次 - 高斯”驾驶员（LQG）：

   • 工作原理： 这是“聪明”的驾驶员。他们使用复杂的数学公式（计算机大脑）来计算每一时刻所需的“完美”油门或刹车量。他们会权衡出错的代价与进行大幅修正的代价。
   • 声誉： 多年来，这一直是黄金标准。它能提供非常平稳、柔和的行驶体验。

3. “滑模”驾驶员（SMC）：

   • 工作原理： 这是新晋的挑战者。它有点像一位让汽车保持在特定“轨道”或路径上的驾驶员。如果汽车偏离轨道，驾驶员会进行急剧修正将其拉回；但一旦回到轨道上，他们就让它平稳滑行。它结合了"Bang-Bang"驾驶员的简单性与“聪明”驾驶员的平稳性。
   • 目标： 作者希望验证这位驾驶员是否能像 LQG 驾驶员一样平稳，同时更易于构建。

比赛（实验）

作者并非凭空猜测，而是进行了大规模模拟。

• 赛道： 他们模拟了时钟在不同时长下的运行：一周、一个月、一年，甚至十年。
• 天气： 他们在时钟中加入了“噪声”（随机抖动），以使其更贴近现实。
• 测试： 他们使用不同的随机噪声模式运行了 100 次模拟，以确保结果并非仅仅是侥幸。

结果

以下是他们比较“驾驶员”时的结果：

• 准确性（时间有多接近？）：
  滑模（SMC） 驾驶员获胜。在所有时间段（从一周到十年）内，它比“聪明”的（LQG）驾驶员更紧密地将时钟时间与主钟保持同步。这两者都远优于"Bang-Bang"驾驶员，后者往往偏差很大。

• 稳定性（行驶有多平稳？）：

  • Bang-Bang 驾驶员在稳定性方面表现极差。它导致时钟在短期内摇晃和抖动（就像汽车摇摆）。
  • LQG 驾驶员非常平稳。
  • 滑模（SMC） 驾驶员在平稳度方面与 LQG 驾驶员几乎完全相同。它没有Bang-Bang 驾驶员那种生硬、摇摆的问题。

结论

本文得出结论，滑模（SMC） 驾驶员集两者之长。

• 它比复杂且数学繁重的 LQG 驾驶员更准确。
• 它比简单且激进的 Bang-Bang 驾驶员平稳得多。

作者指出，由于 SMC 易于编程（不需要 LQG 那样繁重的数学机制）且性能更优，它可能成为在现实世界中操控原子钟的一种全新方法。这就像找到了一位既能像外科医生般精准驾驶赛车，又能像超市购物者般简单操作的驾驶员。

技术摘要

技术摘要：比较滑模控制、Bang-Bang 控制与线性二次高斯控制在原子钟稳频中的应用

问题陈述
精确计时需要反馈回路将本地原子钟导向更高等级的参考源，以在长时间内将时间误差维持在纳秒级。尽管已有成熟方法，但它们存在权衡：线性二次高斯（LQG）控制提供最优线性反馈，但依赖于复杂的基于模型的机制；而 Bang-Bang（BB）控制（用于 GPS）虽简单，却因激进的切换而引入典型的短期不稳定性。滑模控制（SMC）被提议作为一种潜在的折中方案，兼具 BB 的简单性与 LQG 的鲁棒性。然而，已发表的将 SMC 应用于原子钟的研究仅限于短期捕获阶段，而非连续的长期稳频。本研究通过评估一阶 SMC 作为主要长期稳频策略，在相同的随机条件下与 LQG 和 BB 进行对比，以填补这一空白。

方法论
作者采用由白频噪声（WFN）和随机游走频噪声（RWFN）驱动的标准双态时钟模型。系统采用离散时间随机动力学方法进行模拟，其中时钟状态向量由时间偏差（$X_1$）和分数频率误差（$X_2$）组成。

三种稳频策略被实施并进行了比较：

1. LQG：使用通过求解离散时间代数 Riccati 方程（DARE）导出的线性状态反馈律，最小化由状态和控制努力加权定义的二次代价函数。
2. BB：一种 GPS 风格的策略，根据由时间偏差和频率误差定义的滑模面的符号进行控制切换。
3. SMC：一种一阶滑模控制器，使用线性滑模面（$S = X_2 + \lambda X_1$）和不连续反馈律，在有限时间内驱动系统到达该滑模面。

评估采用两个互补指标：

• 精度：通过时间偏差的标准差（$\sigma_{X_1}$）量化。为确保统计稳健性，作者在四个不同的时间段（一周、一个月、一年和十年）内，使用 100 个独立的随机种子进行了蒙特卡洛模拟。
• 稳定性：通过重叠阿伦偏差（oADEV）量化，覆盖一系列平均时间（$10^5$秒至$10^8$秒），并使用单次长持续时间模拟（$10^6$天）以确保纯净的频谱估计。

所有模拟均使用与既定参考数据（FGTB10）一致的噪声参数和权重矩阵，以确保可比性。

关键结果

• 精度：在所有四个时间段（从一周到十年）内，SMC 策略始终实现了最低的平均时间偏差标准差，优于 LQG。SMC 和 LQG 均显著优于 BB 策略，后者表现出显著更高的误差幅度。未稳频的自由运行时钟（FRC）表现最差，其误差随时间急剧增长。
• 稳定性：oADEV 分析显示，SMC 和 LQG 在整个研究的平均时间范围内表现出几乎相同的稳定性特征。两者均显示出适度的短期不稳定性，并在更长的时间尺度上收敛至参考时钟的随机游走基底。相比之下，BB 策略在短平均时间（$\tau \approx 2 \times 10^5$秒至$6 \times 10^5$秒）处显示出明显的稳定性“隆起”，这是其切换特性的典型伪影，随后收敛至相同的长期斜率。
• 轨迹行为：时间偏差轨迹显示，虽然 BB 像继电器一样进行 abrupt 修正，但 SMC 和 LQG 从一开始就更平滑地跟随参考时钟。

意义与主张
本文主张，一阶 SMC 通过结合 LQG 的精度优势与 BB 的实现简单性，且不继承 BB 的短期不稳定性，为原子钟稳频提供了一种更优越的替代方案。

作者强调，SMC 在无需 LQG 所关联的复杂基于模型机制的情况下实现了这一性能。控制律依赖于简单的基于符号的非线性修正，仅有两个可调参数（$\lambda$和$K_{SMC}$）。因此，作者建议 SMC 可作为软件层面的修改应用于现有的时间频率偏差估计系统，而无需进行硬件重新设计。

研究结论指出，虽然模拟结果表明 SMC 是实验测试的一个有希望的候选方案，但其实际优势必须在考虑测量延迟、命令限制和不完美状态估计的真实系统中得到验证。本文并未主张 SMC 应立即取代现有策略，而是将其定位为一种值得进行运行调查的、鲁棒且低成本的替代方案。