Formal Analysis of Networked Microgrids Dynamics

Yan Li, Peng Zhang, Peter B. Luh

Research output: Contribution to journalArticlepeer-review

34 Scopus citations


A formal analysis via reachable set computation (FAR) is presented to efficiently assess the stability of networked microgrids in the presence of heterogeneous uncertainties induced by high penetration of distributed energy resources. FAR with mathematical rigor directly computes the bounds of all possible dynamic trajectories and provides stability information unattainable by traditional time-domain simulations or direct methods. An advanced Geršgorin theory with a quasi-diagonalization technique is then combined with FAR to estimate eigenvalues of those scenarios pertaining to the reachable set boundary to identify systems' stability margins. Extensive tests show that FAR enables efficient analysis on impacts of disturbances on networked microgrid dynamics and offers a potent tool to evaluate how far the networked microgrid system is from its stability margins. These salient features make FAR a powerful tool for planning, designing, monitoring, and operating future networked microgrids.

Original languageEnglish (US)
Pages (from-to)3418-3427
Number of pages10
JournalIEEE Transactions on Power Systems
Issue number3
StatePublished - May 2018

All Science Journal Classification (ASJC) codes

  • Energy Engineering and Power Technology
  • Electrical and Electronic Engineering


Dive into the research topics of 'Formal Analysis of Networked Microgrids Dynamics'. Together they form a unique fingerprint.

Cite this