Networked microgrid stability through distributed formal analysis.

Highlights • A scalable distributed formal analysis (DFA) is devised for stability analysis of networked microgrids under disturbances. • A distributed quasi-diagonalized Geršgorin (DQG) theory is developed to identify systems’ stability margins. • A microgrid-oriented decomposition approach is established to decouple networked microgrids. • A novel framework is designed to effectively implement DQG-based DFA in networked microgrids. Abstract A scalable distributed formal analysis (DFA) via reachable set computation is presented to efficiently evaluate the stability of networked microgrids under disturbances induced by distributed energy resources (DERs). With mathematical rigor, DFA can efficiently compute the boundaries of all possible dynamics in a distributed way, which are unattainable via traditional time-domain simulations or direct methods. A distributed quasi-diagonalized Geršgorin (DQG) theory is then combined with DFA to identify systems’ stability margins. A microgrid-oriented decomposition approach is established to decouple a networked microgrid system and enable calculations of DFA and DQG while also preserving the privacy of each subsystem. Numerical tests on a networked microgrid system validate that DFA and DQG facilitate the efficient calculation and analysis of networked microgrids’ stability. [ABSTRACT FROM AUTHOR]