Stochastic Dynamic Verification of Microgrids

This paper presents a stochastic reachable dynamic (SReachDyn) method to analytically verify the microgrid dynamics under stochastic perturbations and assess the safe operation probability of the system. Our contributions are threefold: 1) A stochastic differential equation (SDE)-enabled microgrid model is established, which integrates droop control, network tran-sients and stochastic noises from renewables; 2) A probabilistic zonotope-based set representation is applied to incorporate the computation of probability density functions into reachability analysis. 3) A stochastic reachability analysis is presented for analyzing the stochastic microgrid dynamics and the corresponding probability distributions of microgrid states via a single set-based calculation. Case studies demonstrate the effectiveness of SReachDyn for analytically verifying the stochastic dynamics of droop-controlled microgrids and assessing the controller efficacy from a stochastic perspective.