Formal Analysis

Neuro-Reachability of Networked Microgrids

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 …

Reachable Dynamics of Networked Microgrids with Large Disturbances

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: Theory to Practice

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- …

Reachable Eigenanalysis

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 …

An ODE-Enabled Distributed Transient Stability Analysis for Networked Microgrids

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 …

Reachable Power Flow

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 …