Figure 2 - uploaded by Waqar Ahmed
Content may be subject to copyright.
Electrical power grid
Source publication
Event Tree (ET) analysis is widely used as a forward deductive safety analysis technique for decision-making at the critical-system design stage. ET is a schematic diagram representing all possible operating states and external events in a system so that one of these possible scenarios can occur. In this report, we propose to use the HOL4 theorem p...
Contexts in source publication
Context 1
... events; CNs : list of customer numbers For instance, consider a power grid consisting of three main transmission lines (M), two lateral transmission lines (L), two generators (G), three (two step-up and one step-down) substations (S/S) and three different loads A, B and C with the number of customers served X, Y and Z, respectively, as shown in Fig. 2. Assume that each TL (M/L) has two operational states, i.e., operating or failing. Using our ET formalization, we can formally verify the complete ET model (32 paths) for the 5 TLs that mainly affect the reliability of the power grid, in HOL4 ...
Context 2
... events; CNs : list of customer numbers For instance, consider a power grid consisting of three main transmission lines (M), two lateral transmission lines (L), two generators (G), three (two step-up and one step-down) substations (S/S) and three different loads A, B and C with the number of customers served X, Y and Z, respectively, as shown in Fig. 2. Assume that each TL (M/L) has two operational states, i.e., operating or failing. Using our ET formalization, we can formally verify the complete ET model (32 paths) for the 5 TLs that mainly affect the reliability of the power grid, in HOL4 ...
Similar publications
Among the various devices being researched as possible alternative for conventional scaled down transistor, the spin-FET (Datta-Das transistor) held some early promise. Various research groups have proposed the complementary spin-FETs viz., parallel and anti-parallel spin-FETs, later designed some basic and higher order logic circuits using them, a...
