新英格兰39总线测试系统的形式化控制：一种假设-保证方法

本文研究采用假设-保证方法对新英格兰39总线测试系统（NETS）进行组合控制。所提方案基于具有扰动精化的鲁棒模拟函数新概念，并结合多个子系统的组合，以应对与可扩展性相关的困难，即所谓的维数灾难。在我们提出的设定中，我们用低维抽象（又称降阶模型）来近似具体子系统，同时通过量化原始系统与其抽象的输出轨迹之间接近程度的上界，为控制器综合提供数学保证。我们提出两种控制方法为NETS提供保证：一种利用互联同步电机原理，另一种考虑相邻子系统间网络中的功率流。