A neural ordinary differential equations network (ODE-Net)-enabled reachability method (Neuro-Reachability) is devised for the dynamic verification of networked microgrids (NMs) with unidentified subsystems and heterogeneous uncertainties. Three new …
An ordinary-differential-equation (ODE) enabled reachable dynamics analysis approach is devised to provably enclose all possible dynamic trajectories of networked microgrids (NMs) under both uncertain renewable power injections and intermittent large …
Reachable power flow ( ReachFlow ) is a newly developed formal method for enclosing the complete set of uncertain power flow states. To enable ReachFlow 's transition from theory to practice, the paper makes three major contributions: (1) both small- …
This paper devises a Reachable Eigenanalysis (ReachEigen) theory as a formal method to analyze uncertain eigenvalues in power systems. ReachEigen computes the set of the possible spectra, taking into account the changes of both the system operating …
Networked microgrid (NMG) exhibits noteworthy resiliency and flexibility benefits for the mutual support from neighboring microgrids. With high penetration of distributed energy resources (DERs) and the associated controls, the transient stability …
This paper introduces reachable power flow (ReachFlow), a formal method providing a provably over-approximated enclosure of the complete set of the power flow solutions that “can be reached” under various uncertainties. The novelty of ReachFlow lies …