新英格兰39节点测试系统的形式化控制：一种假设-保证方法
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
AI总结：
本文提出一种基于带干扰细化的鲁棒模拟函数的假设-保证方法，通过组合降阶模型抽象来组合控制新英格兰39节点测试系统，有效应对维度灾难，并为控制器综合提供数学保证。
摘要：
本文关注一种用于组合控制新英格兰39节点测试系统（NETS）的假设-保证方法。所提方案基于带干扰细化的鲁棒模拟函数新概念，并结合多个子系统的组合，以解决与可扩展性相关的困难，即维度灾难。在我们提出的设置中，我们用具有较低维度的抽象（又称降阶模型）来近似具体子系统，同时通过量化原始系统及其抽象输出轨迹之间接近度的上界，为控制器综合提供数学保证。我们提出了两种控制方法为NETS提供保证：一种利用互连同步电机原理，另一种考虑相邻子系统之间网络中的潮流。
英文摘要：
This work is concerned with an assume-guarantee approach to compositionally control a New England 39-bus Test System (NETS). The proposed scheme is based on the new notion of robust simulation functions with disturbance refinement alongside the composition of multiple subsystems to tackle the difficulties associated with scalability, also known as the curse of dimensionality. In our proposed setting, we approximate concrete subsystems with abstractions that have lower dimensions (a.k.a. reduced-order models) while providing mathematical guarantees on controller synthesis through the quantification of an upper bound on the closeness between output trajectories of original systems and their abstractions. We propose two control methods to provide guarantees for NETS: one using the principle of interconnected synchronous machines and another considering the power flows in the network between neighbouring subsystems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
