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- …
A quantum electromagnetic transients program (QEMTP) is devised, which is the first attempt to tackle the computational challenges in solving EMTP through quantum computing. The main contributions lie in: (1) A quantum-enabled EMTP formulation with …
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 …
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 …
In northern China, transmission power system and district heating systems (DHSs) are directly connected by large-capacity combined heat and power (CHP) units, which composes the wide-area integrated power and heat system (IPHS). For better wind power …
To cope with the uncertainty and variability of wind power, it is important for the power system to maintain adequate reserve capacity. The energy storage ability of the district heating system (DHS) provides considerable flexibility for the combined …