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. In our model, operation control is yielded in communications driven by both the grid topology and by state-based information, features captured by novel language principles previously unexplored. We show how the 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.

未来的配电网将包含大量组件，每个组件都可能能够自主执行操作。显然，为了确保电网安全运行，必须在不同组件之间协调各个操作。由于操作安全是全局属性，因此建模组件协调通常涉及在全局级别上对系统进行推理。在本文中，我们提出了一种用于从全局角度指定网格操作控制协议的语言。在我们的模型中，操作控制是在由网格拓扑和基于状态的信息驱动的通信中产生的，这些功能是以前从未探索过的新颖语言原理所捕获的。我们展示了如何使用全局规范自动生成单个组件的本地控制器，并且这种控制器产生的分布式实现在操作上与全球规范相对应。我们通过对电网中的故障管理方案进行建模来展示我们的发展。