Reliability Analysis of Smart Grids Using Formal Methods

Mohamed Abdelghany () and Sofiène Tahar ()
Additional contact information
Mohamed Abdelghany: Concordia University
Sofiène Tahar: Concordia University

A chapter in Handbook of Smart Energy Systems, 2023, pp 147-163 from Springer

Abstract: Abstract Smart grids (SG) are complex integrated electric networks, where failures in any zone of the network can cause widespread catastrophic disruption of supply. In recent years, there has been a significant proliferation in the use of renewable energy sources, such as wind/solar systems, for SG power generation due to global warming, pollution, as well as economic and energy security concerns. However, the main obstacle that these energy systems face is their intermittent nature, which greatly affects their ability to deliver constant power to the grid. While this raises several reliability-related concerns, existing sampling-based simulation tools, such as the Monte Carlo approach, cannot guarantee absolute accuracy of the reliability analysis results due to their inherent incompleteness. Therefore, in this chapter, we propose a novel approach that uses formal methods for the accurate and sound reliability analysis of SG systems. This new methodology overcomes the incompleteness of simulation-based analysis and the error-proneness of manual mathematical analysis. In particular, we use higher-order logic (HOL) theorem proving, which is a computer-based mathematical reasoning tool, where we developed a library of fundamental concepts of reliability analysis techniques, such as event trees, functional block diagrams, and cause-consequence diagrams. This library allowed us to conduct formal system-/subsystem-level reliability analysis and determine absolute accuracy of important SG reliability indices, such as system/customer average interruption frequency and duration (SAIFI, SAIDI, and CAIDI), as well as energy indices, such as Energy not Supplied Index (ENS) and loss of energy expectation (LOEE). In order to demonstrate the effectiveness of our proposed methods, we conducted the formal system-/subsystem-level reliability analysis of the standard IEEE 3/39/118-bus electrical power generation/transmission/distribution networks. The results of the proposed formal analysis are extremely useful for the electrical power planners/designers to accurately quantify SG reliability improvements and satisfy the total demand within acceptable risk levels.

Keywords: Power system reliability; Smart grids; Renewable energy resources; Formal methods; SAIFI; SAIDI; CAIDI; ENS; LOLE; LOEE (search for similar items in EconPapers)
Date: 2023
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-030-97940-9_81

Ordering information: This item can be ordered from
http://www.springer.com/9783030979409

DOI: 10.1007/978-3-030-97940-9_81

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().