Protection systems in power distribution networks (PDNs) are responsible for monitoring the electrical networks, detecting faults, and tripping the breaker to isolate the faulty section of the network. Ensuring reliability and safety in these Multi-agent systems (MAS) based protection systems is vital for smooth functioning of PDNs during emergency situations. Therefore, we propose to use probabilistic model checking, a formal verification technique, to provide a methodology for rigorous analysis of MAS-based protection systems. In this regard, we have developed formal Markovian models of all the major protection system components that can be used to model, analyze, and verify MAS-based protection systems. To illustrate the usefulness of these models, we have used them to verify and compare the reliability and safety of an auxiliary algorithm with the conventional protection algorithm using the PRISM model checker. The results show that the auxiliary algorithm is more reliable and safer than the traditional algorithm.
PereiraKPereiraBRContrerasJ, et al. A multiobjective optimization technique to develop protection systems of distribution generation. IEEE Trans Power Syst2018; 33(6): 7064–7075.
2.
RanamukaDAgalgaonkarAPMuttaqiKM.Examining the interactions between dg units and voltage regulating devices for effective voltage control. IEEE Trans Ind Appl2016; 53(2): 1485–1496.
3.
WheelerKAElsamahyMFariedSO.A novel reclosing scheme for mitigation of distributed generation effects on overcurrent protection. IEEE Trans Power Deliv2017; 33(2): 981–991.
4.
MozinaCJ.Impact of smart grids and green power generation on distribution systems. IEEE Trans Ind Appl2013; 49(3): 1079–1090.
5.
EvkayIAshrafSBaysalM, et al. Single dual setting directional over-current relay based line protection logic for distributed generation integrated power systems. In: 2020 2nd global power, energy and communication conference (GPECOM), 20–23 October 2020, Izmir, Turkey, pp.245–250. IEEE.
6.
LiuZSuCHøidalenH, et al. A multiagent system-based protection and control scheme for distribution system with distributed-generation integration. IEEE Trans Power Deliv2016; 32(1): 536–545.
7.
SuCLiuZChenZ, et al. An adaptive control strategy of converter based dg to maintain protection coordination in distribution system. In: IEEE PES innovative smart grid technologies, Istanbul, Turkey, 12–15 October 2014, pp.1–6. New York: IEEE.
8.
McArthurSDDavidsonEMCattersonVM, et al. Multi-agent systems for power engineering applications—part i: concepts, approaches, and technical challenges. IEEE Trans Power Syst2007; 22(4): 1743–1752.
9.
NguyenATReiterSRigoP.A review on simulation-based optimization methods. Appl Energy2014; 113: 1043–1058.
10.
AshrafSEvkayISelamogullariUS, et al. Performance analysis of the dual-setting directional overcurrent relays-based protection considering the impact of curve types and fault location. Electr Power Compon Syst2023; 51(7): 706–723.
11.
AshrafSHasanOEvkayI, et al. Recent trends and developments in protection systems for microgrids incorporating distributed generation. Wiley Interdiscip Rev Energy Environ2024; 13(4): e532.
12.
EtoJ.Blackout 2003: final report on the august 14, 2003 blackout in the United States and Canada: causes and recommendations. Electricity Markets and Policy Group, Energy Analysis and Environmental Impacts Department, US Department of Energy, 2004.
13.
NaseemSAEslampanahRUddinR. Probability estimation for the fault detection and isolation of PMU-based transmission line system of smart grid. In: 2018 5th international conference on electrical and electronic engineering (ICEEE), Istanbul, Turkey, 3–5 May 2018, pp.284–288. New York: IEEE.
14.
UddinRNaseemSAIqbalZ.Formal reliability analyses of plc network-based control in smart grid. Int J Control Autom Syst2019; 17(12): 3047–3057.
15.
KhurramAAliHTariqA, et al. Formal reliability analysis of protective relays in power distribution systems. In: International workshop on formal methods for industrial critical systems, 23 September 2013, pp.169–183. Berlin, Heidelberg: Springer.
16.
MahmoodAHasanOGillaniHR, et al. Formal reliability analysis of protective systems in smart grids. In 2016 IEEE region 10 symposium (TENSYMP), Bali, Indonesia, 9–11 May 2016, pp.198–202. New York: IEEE.
17.
AshrafSEvkayIHasanO, et al. Formal verification of single dual setting overcurrent directional relay based line protection logic for smart grids. In: 2021 3rd global power, energy and communication conference (GPECOM), Antalya, Turkey, 5–8 October 2021, pp.227–232. New York: IEEE.
18.
BaierCKatoenJP.Principles of model checking. MIT Press, 2008.
19.
HasanOTaharS.Formal verification methods. In: Khosrow-PourM (ed.) Encyclopedia of information science and technology. 3rd ed.IGI Global, 2015, pp.7162–7170.
20.
AshrafSHasanO.Formal performance analysis of optimal relays-based protection scheme for automated distribution networks. Eng Sci Technol Int J2024; 51: 101633.
21.
KwiatkowskaMNormanGParkerD. PRISM 4.0: Verification of probabilistic real-time systems. In: Proceedings of the 23rd international conference on computer aided verification (CAV’11), LNCS, vol. 6806, 14 July 2011, pp.585–591. Berlin, Heidelberg: Springer.
22.
FaniBAbbaspourEKarami-HorestaniA.A fault-clearing algorithm supporting the mas-based protection schemes. Int J Electr Power Energy Syst2018; 103: 257–266.
23.
KasztennyBHuntRVaziriM.Protection and control redundancy considerations in medium voltage distribution systems. In: 2007 60th annual conference for protective relay engineers, College Station, TX, 27–29 March 2007, pp.418–439. New York: IEEE.
24.
StdI.60255-3. Electrical relays-Part 3: single input energizing quantity measuring relays with dependent or independent time, 1989.
25.
Industrial IIAS and Committee CPS. IEEE recommended practice for protection and coordination of industrial and commercial power systems. approved September 19, 1985, Reaffirmed June 27, 1991 IEEE Standards Board: Approved February 28, 1986, Reaffirmed December 9, 1991, American National Standards Institute, 1986. New York: IEEE.
26.
AshrafSBhattiITHasanO.Sobiaatnust/quantitative-analysis-of-mas-based-protection-systems: probabilistic verification of protection algorithms using prism model checker. Zenodo, 2025.
