Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …

Transmission faults caused by recent wildfires in California have induced the disconnection
of utility-scale converters in photovoltaic (PV) power plants. Postmortem investigations …

Photovoltaic (PV) power plants with grid-forming technology must withstand severe
disturbances and remain operational. To address this challenge, this paper sets forth a grid …

Increasing penetration of renewable energy introduces significant uncertainty into power
systems. Traditional simulation‐based verification methods may not be applicable due to the …

A novel current control strategy is proposed for voltage source converters connected to weak
grids using conventional current vector control with additional current error based voltage …

Reachability analysis is a formal method to guarantee safety of dynamical systems under the
influence of uncertainties. A substantial bottleneck of all reachability algorithms is the …

This paper outlines a convex-optimization-based method to estimate maximum and
minimum bounds on states of differential algebraic equations (DAEs) that describe the …

In recent years, there has been a significant increase in wind power penetration into the
power system. As a result, the behavior of the power system has become more dependent …

During grid high-voltage ride-through (HVRT), a wind turbine (WT) with fully-rated converter
(FRC) would experience an overvoltage at the DC link, which can threaten the safety of the …

One often wishes for the ability to formally analyze large-scale systems-typically, however,
one can either formally analyze a rather small system or informally analyze a large-scale …