Formal Analysis of Networked Microgrids Dynamics

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 Gersgorin 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.