To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

A coordination protocol l… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

A coordination protocol language for power grid operation control

Journal article
Authors Yehia Abd Alrahman
H. T. Vieira
Published in Journal of Logical and Algebraic Methods in Programming
Volume 109
ISSN 2352-2208
Publication year 2019
Published at Department of Computer Science and Engineering, Computing Science (GU)
Language en
Keywords Power grids, Interaction protocols, Process calculus, control strategies, calculus, agent, model, Computer Science, Science & Technology - Other Topics
Subject categories Computer and Information Science


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. (C) 2019 Elsevier Inc. All rights reserved.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?