Operation Control Protocols in Power Distribution Grids

TL;DR

This paper introduces a language for specifying global control protocols in power distribution grids, enabling automatic generation of local controllers that ensure safe, coordinated operations across the system.

Contribution

It presents a novel approach to model and generate local controllers from global specifications, improving safety and coordination in autonomous power grid components.

Findings

Successfully models fault management in power grids

Automatically generates local controllers from global protocols

Ensures distributed implementation matches global specifications

Abstract

Future power distribution grids will comprise a large number of components, each potentially able to carry out operations autonomously. Clearly, in order to ensure safe operation of the grid, individual operations must be coordinated among the different components. Since operation safety is a global property, modelling component coordination typically involves reasoning about systems at a global level. In this paper, we propose a language for specifying grid operation control protocols from a global point of view. We show how such global specifications can be used to automatically generate local controllers of individual components, and that the distributed implementation yielded by such controllers operationally corresponds to the global specification. We showcase our development by modelling a fault management scenario in power grids.