Formalization of Stability Theory

Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki

Research output: Chapter in Book/Report/Conference proceedingChapter


In smart grids, power electronics circuits are used to process power from distributed energy resources (DERs). Stability analysis is mandatory for the design of power electronics circuits. Stability analysis foundations, such as root analysis, are also used in load variance analysis and cost and utility function modeling in smart grids. Traditionally, paper-and-pencil proof methods are used to conduct stability analysis. But traditional techniques cannot guarantee accurate analysis of the systems due to their inherent limitations. However, an accurate and exhaustive stability analysis is direly needed in the safety- and mission-critical operations of smart grids, such as integration of electric vehicles and renewable energy sources. Therefore, in this chapter, we provide a logical framework for stability analysis using HOL Light theorem prover which is a formal method technique and ensures an accurate analysis and verification of stability analysis.

Original languageEnglish
Title of host publicationSpringerBriefs in Applied Sciences and Technology
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages15
Publication statusPublished - 2022

Publication series

NameSpringerBriefs in Applied Sciences and Technology
ISSN (Print)2191-530X
ISSN (Electronic)2191-5318

ASJC Scopus subject areas

  • Biotechnology
  • General Chemical Engineering
  • General Mathematics
  • General Materials Science
  • Energy Engineering and Power Technology
  • General Engineering


Dive into the research topics of 'Formalization of Stability Theory'. Together they form a unique fingerprint.

Cite this