Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach

TL;DR

This paper presents a compositional control approach for the New England 39-bus system using assume-guarantee reasoning, robust simulation functions, and reduced-order models to ensure scalable and mathematically guaranteed control synthesis.

Contribution

It introduces a novel assume-guarantee control framework with robust simulation functions for large-scale power systems, addressing scalability and providing formal guarantees.

Findings

Successfully applied to the 39-bus system

Provides mathematical bounds on output trajectory differences

Two control methods demonstrated for system guarantees

Abstract

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.