FORMAL SPECIFICATION OF TOPOLOGY COMPUTATION IN A NATIONAL EHV GRID

This paper presents a formal specification of topology computation in an electrical grid control system. We first describe the different components of the electrical network with the help of an object-based formalism and some elementary notions of set theory, Then, the dynamics of the whole is described by means of a set of transition rules: for each component concerned, we specify the change of state undergone when events occur that affect the topology of a single extremely high voltage substation and/or the network as a whole. Finally, promising perspectives for rapid prototyping and establishment of operational specifications are evoked.