IDEAS home Printed from https://ideas.repec.org/h/spr/sprchp/978-3-030-97940-9_81.html
   My bibliography  Save this book chapter

Reliability Analysis of Smart Grids Using Formal Methods

In: Handbook of Smart Energy Systems

Author

Listed:
  • Mohamed Abdelghany

    (Concordia University)

  • Sofiène Tahar

    (Concordia University)

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.

Suggested Citation

  • Mohamed Abdelghany & Sofiène Tahar, 2023. "Reliability Analysis of Smart Grids Using Formal Methods," Springer Books, in: Michel Fathi & Enrico Zio & Panos M. Pardalos (ed.), Handbook of Smart Energy Systems, pages 147-163, Springer.
    • Handle: RePEc:spr:sprchp:978-3-030-97940-9_81
    DOI: 10.1007/978-3-030-97940-9_81
    as

    Download full text from publisher

    To our knowledge, this item is not available for download. To find whether it is available, there are three options:
    1. Check below whether another version of this item is available online.
    2. Check on the provider's web page whether it is in fact available.
    3. Perform a search for a similarly titled item that would be available.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:sprchp:978-3-030-97940-9_81. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.