Formal Analysis of an Auxiliary Algorithm for MAS-based Protection of Power Distribution Networks

In this work the DTMC based formal models of digital relay agents equipped with the protection and signal dispatching functionalities,circuit breakers and DGs are developed. These models are used for analyzing the MAS-based protection schemes. The proposed methodology uses the probabilistic model checker PRISM to verify the reliability and safety properties.

Case Study: Single Line Diagram of Test System [1]

Probabilistic Analysis Results

Table below shows the quantitive verification results obtained using Auxiliary algorithm Part A and Part B.

	Auxiliary Algorithm Part A				Auxiliary Algorithm Part B
Fault Zones	Isolation Success	Isolation Failure	False Trip	Risk	Isolation Success	Isolation Failure	False Trip	Risk
Z1	0.9625	0.0344	0.0	0.0031	0.8966	0.0344	0.0659	0.0031
Z2	0.9625	0.0344	0.0	0.0031	0.8966	0.0344	0.0659	0.0031
Z3	0.9625	0.0344	0.0	0.0031	0.8966	0.0344	0.0659	0.0031
Z4	0.9586	0.0379	0.0	0.0035	0.8964	0.0370	0.0632	0.0034

Probabilistic Analysis Results

Table below shows the quantitive verification results obtained using Traditional Algorithm.

	Traditional Algorithm
Fault Zones	Isolation Success	Isolation Failure	False Trip	Risk
Z1	0.6595	0.0406	0.2430	0.0569
Z2	0.6593	0.0406	0.2430	0.0569
Z3	0.6593	0.0406	0.2430	0.0569
Z4	0.6591	0.0407	0.2430	0.0569

For more information, please feel free to contact sashraf.dphd19seecs@seecs.edu.pk

[1] B. Fani, E. Abbaspour, and A. Karami-Horestani “A fault-clearing algorithm supporting the mas-based protection schemes,” International Journal of Electrical Power & Energy Systems, vol. 103, pp. 257–266,2018.