⚡ electrical engineering

Synthesizing Voltage Ride-Through Controllers for Data Centers

本文介绍了 SolVRT，这是一个基于形式化方法的系统，它能够为数据中心自动合成符合“构造即正确”原则的电压穿越控制器，以确保符合电网规范，同时还提供诊断功能，通过有针对性的硬件或工作负载修改来识别并解决不可行性问题。

原作者： Wayne Wang, Archit Bhatnagar, Tongyuan Miao, Saniya Kalamkar, Wenqi Cui, Inigo Incer, Ang Chen

发布于 2026-08-10

📖 1 分钟阅读☕ 轻松阅读

原作者： Wayne Wang, Archit Bhatnagar, Tongyuan Miao, Saniya Kalamkar, Wenqi Cui, Inigo Incer, Ang Chen

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，电网就像一片流经我们城市的巨大、无形的海洋，为从你的手机充电器到运行互联网的海量服务器的一切事物输送着电力。长期以来，科学家和工程师一直将数据中心这类大型用电用户视为简单的、被动的存在——就像一个只会静静坐在那里等待被填满的水桶。但最近，这些“水桶”已经变得如此庞大，以至于如果它们突然倾覆并发生溢出，可能会导致整个海洋发生崩溃。这就是**电压穿越（Voltage Ride-Through, VRT）**的世界。把它想象成冲浪者的规则：当浪潮（电压跌落）袭来时，你不能直接从板上跳下来游向岸边；你必须留在板上，用力划水以保持平衡，并在浪潮过去后恢复巡航速度。如果太多的冲浪者同时跳下板，海洋就会变得混乱，整个海滩都可能被毁掉。挑战在于，数据中心由敏感的电子设备组成，这些设备天生倾向于在情况稍有波动时就立即“跳板”。问题是：我们如何教导这些数字巨兽保持冷静、保持平衡，并在浪潮过后继续乘风破浪而不至于让整个系统崩溃呢？

这正是名为 SolVRT 的新系统发挥作用的地方。作者们（一个研究团队）决定不再猜测数据中心应该如何表现，而是开始使用“形式化方法”——这是一个高级说法，意思是通过严谨的、基于数学的逻辑来设计一个完美的控制器。他们不再让工程师通过手动调节旋钮并寄希望于好运，而是将“交通规则”（电网规范）编写成一种计算机可以理解并进行校验的精确语言。他们构建了一个容量为 200 MW 的大型数据中心的数字孪生体，并要求计算机解开一个谜题：“你能找到一组指令，让这个数据中心在电压崩溃期间保持连接并稳定吗？”

结果非常引人入胜。当数据中心拥有足够的硬件功率时，SolVRT 成功合成了一个表现得像顶级冲浪手一样的控制器，使数据中心能够在足以导致普通系统立即停机的电压跌落中保持连接与稳定。但真正的魔力在于：当计算机说“以目前的设备，这是不可能实现的”时，它并没有放弃。它表现得像一名侦探，精准地追踪失败的具体原因。它找到了一个“冲突前沿”——即一个特定的临界点，在该点处，数据中心的数据中心硬件无法同时完成两件事：既要保持内部电压足够高以维持自身生存，又要抽取足够的功率以满足电网规则。

随后，这篇论文利用这项侦探工作提出了两种截然不同的解决方案。首先，它展示了如果你升级硬件（具体而言，将功率转换器扩大 50%，从 25 MVA 增加到 38 MVA），数据中心就能抵御电网抛出的任何浪潮。其次，它展示了一种“仅靠软件”的修复方案：如果你仅仅是将数据中心设置为仅以其最大功率的 32% 运行，它也可以在浪潮中幸存，但前提是浪潮不能太深。作者发现，虽然降低工作负载有所帮助，但这只是一个临时补丁；升级硬件才是保证数据中心能够应对最猛烈风暴的唯一途径。简而言之，SolVRT 证明了我们可以通过数学手段来证明一个数据中心是否能在电力危机中幸存，如果它不能，它能准确地告诉你应该购买或更改什么来确保安全。

技术摘要：数据中心电压穿越控制器的合成

问题陈述
数据中心（DC）已演变为巨大的、波动的电力负荷，对电能质量高度敏感。传统上，数据中心通过在电压扰动（跌落或上升）期间与电网断开连接来保护其内部设备。然而，多个大型数据中心同时断开连接可能会导致电网不稳定，从而加剧初始故障。为了缓解这一问题，电网运营商（如 ERCOT、Energinet）引入了电压穿越（Voltage Ride-Through, VRT）规范。这些规范要求数据中心在特定的电压扰动期间保持连接状态，维持最低的有功功率抽取（即“功率底线”），并在定义的截止时间内恢复到故障前的功率水平。

核心挑战在于，设计能够满足这些耦合的时间和运行要求的控制器非常困难。目前的数据中心响应依赖于手工调优的启发式方法和单个设备的保护措施，这些方法无法提供合规性的形式化保证。此外，电网规范通常以自然语言编写，具有歧义性且难以进行形式化分析。目前缺乏原则性的方法来合成保证符合这些规范的控制器，也缺乏诊断特定设施为何无法达标的方法。

方法论：SolVRT
作者提出了 SolVRT，一个利用形式化方法合成符合电网规范的 VRT 控制器的系统。该方法将 VRT 要求视为“假设-保证”（assume-guarantee）规范，这是航空航天等安全关键领域常用的框架。

形式化规范 (STL)：
该系统引入了一种领域特定语言（DSL），用于将自然语言描述的电网规范转化为信号时序逻辑（Signal Temporal Logic, STL）。这种形式化过程捕捉了 VRT 的三个核心义务：
- 连接： 在扰动期间，内部母线电压 ( $v_i$ ) 必须保持在跳闸阈值之上。
- 功率底线： 在事件期间，总有功功率 ( $p$ ) 必须保持在计算出的底线之上（该底线通常与跌落深度和故障前功率成比例）。
- 恢复： 在电压恢复后，功率抽取必须在特定的截止时间内返回到目标百分比的故障前水平。
  该规范明确定义了假设（电网电压扰动包络）和保证（数据中心的响应）。
控制器合成：
SolVRT 将 STL 规范、数据中心内部功率拓扑模型（使用 LinDistFlow 线性化潮流近似模型）以及硬件约束（转换器视在功率限制）编码为一个控制器合成问题。
- 系统搜索一种控制输入（来自 UPS/BESS 转换器的有功和无功功率注入），使其在最坏情况下的电网电压轨迹下仍能满足 STL 保证。
- 如果存在解，系统会合成一个模型预测控制器（MPC），该控制器是“按构造正确”（correct-by-construction）的，这意味着在给定的模型和扰动下，它在数学上保证能够满足电网规范。
诊断与配置：
如果合成查询不可行（不存在满足条件的控制器），SolVRT 会进行诊断分析：
- 冲突前沿（Conflict Frontier）： 它计算一个边界，代表设施在各种跌落深度下所能维持的最大有功功率底线。
- 不可行性归因： 它识别“不可约不完全子集”（Irreducible Infeasible Subsystem, IIS），以确定哪些特定条款（例如连接要求与功率底线要求）之间存在冲突。
- 配置建议： 它计算恢复可行性所需的最小硬件或工作负载变更。这包括增加转换器视在功率额定值、调整互联阻抗或限制故障前工作负载功率。

核心贡献

VRT 的形式化： 本文首次将数据中心 VRT 要求作为控制器合成问题，使用 STL 进行形式化，实现了从非正式文本到可由机器检查的逻辑的跨越。
合成算法： 它提供了一种算法，要么生成一个合规的 MPC 控制器，要么证明对于给定的设施和电网规范，不存在这样的控制器。
诊断框架： 它引入了“冲突前沿”抽象来诊断不可行性，从而隔离冲突的需求，并量化实现合规所需的精确硬件或工作负载修改。
电网规范 DSL： 开发了一种规范语言，使电压事件假设、响应计时器和功率底线变得显式且参数化。

结果
该系统在一个连接到 140 节点传输系统（NPCC 模型）的 200 MW 数据中心闭环仿真中进行了评估。

有效性： 合成的控制器成功通过了不同深度的电压跌落（分别为 0.83、0.70 和 0.54 pu），这些跌落会导致未受控的设施发生跳闸。它将内部电压维持在略高于跳闸阈值的水平，并满足了有功功率底线和恢复要求。
对比： 与惩罚型控制器（依赖手工调优权重且无法提供合规保证）不同，合成的控制器通过构造保证了合规性。
诊断： 当应用于硬件尺寸不足（25 MVA 转换器）的设施时，系统正确识别了不可行性。它将失败归因为连接要求与功率底线要求之间的冲突。
配置： 系统确定，将转换器额定值从 25 MVA 提高到 38 MVA（或调整互联阻抗）将恢复合规性。或者，将故障前工作负载限制在额定容量的 32%，可以消除冲突，但对于更深的跌落，这并不能解决根本的硬件限制问题。

意义
论文声称 SolVRT 提供了一个严谨的、可由机器检查的接口，连接了电网运营商与数据中心运营商。通过形式化电网规范，该系统消除了合规要求的歧义性。它允许运营商在部署前验证合规性，并在当前基础设施无法实现合规时，提供关于硬件升级或工作负载管理的行动指南和定量建议。作者将这项工作定位为增强电网与关键数字负荷之间跨基础设施交互韧性的重要一步。

技术摘要：数据中心电压穿越控制器的合成

类似论文