Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

A coordination protocol l… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

A coordination protocol language for power grid operation control

Artikel i vetenskaplig tidskrift
Författare Yehia Abd Alrahman
H. T. Vieira
Publicerad i Journal of Logical and Algebraic Methods in Programming
Volym 109
ISSN 2352-2208
Publiceringsår 2019
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap (GU)
Språk en
Länkar dx.doi.org/10.1016/j.jlamp.2019.100...
Ämnesord Power grids, Interaction protocols, Process calculus, control strategies, calculus, agent, model, Computer Science, Science & Technology - Other Topics
Ämneskategorier Data- och informationsvetenskap

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?