This paper develops a computationally efficient framework for reachability analysis of transmission-level power system dynamics with synchronous generators, grid-forming and grid-following inverters, and uncertain power injections/withdrawals. Starting from reduced-order device models and a frequency-divider representation, we derive a linear ordinary-differential-equation model suitable for efficient reachable-set computation under bounded disturbances across network buses. The proposed reachability method combines interval reachability and contraction-based bounds to construct certified over-approximations for the linear ordinary-differential-equation model. A real Jordan transformation separates non-oscillatory modes, handled through a linear embedding system, from oscillatory modes, enclosed using contraction-based ball bounds. Numerical experiments on a modified IEEE 39-bus system validate the reachable tubes against high-fidelity electromagnetic-transient (EMT) simulations, and demonstrate multi-second reachable sets computed in sub-second time.
The integration of power electronics-based energy storage systems (PEESs) into power systems introduces potential instabilities. This study reviews efforts in dynamic analysis of both AC and DC power systems integrated with PEESs, covering dynamic modeling, analysis methods, and…
The integration of power converters is profoundly changing the power system dynamics and poses significant challenges for stability analysis. The dynamic interactions between the power grid and the heterogeneous converters are highly complex and difficult to analyze due to the cu…
Reachability analysis of safety-critical systems requires computing rigorous enclosures of all possible state trajectories. Taylor Model (TM)-based methods have proved effective at mitigating the so-called wrapping effect which leads to overly conservative enclosures of reachable…
Power distribution system feeder models (e.g., IEEE 33-bus system, IEEE 13-bus system, etc.) are cornerstones for conducting power distribution system studies. As real-world feeder models are hard to acquire due to energy security concerns, generating high-quality synthetic feede…
The problem of Optimal Power Flow (OPF) is central to the secure and economic operation of modern power systems. However, increasing renewable energy penetration, and decreasing system inertia pose significant challenges to conventional optimization-based OPF solvers. While machi…
The whole-system impedance model has proven a powerful tool for assessing the small-signal stability of multi-inverter power systems; however, its application is limited to a small range around a steady-state operating point due to the inherent assumptions of time invariance and…