Increasing penetration of renewable energy introduces significant uncertainty into power
systems. Traditional simulation‐based verification methods may not be applicable due to 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 …

Power system stability analysis becomes more important in the presence of ever increasing
variations in operating conditions. Traditionally, the operation of power systems is verified for …

The load-following capabilities of power plants became increasingly important in recent
years as a means of ensuring a reliable operation of future power systems. In this work, we …

We present a data-driven approach to propagate uncertainty in initial conditions through the
dynamics of an unknown system in a reproducing kernel Hilbert space (RKHS). The …

This paper presents a set-theoretic method to capture the effects of uncertainty on the
generation side of a power system; this uncertainty arises from the increasing penetration of …

Transient stability assessment of power systems needs to account for increased risk from
uncertainties due to the integration of renewables and distributed generators. The uncertain …

Nonlinear systems allow us to describe and analyze physical and virtual systems, including
dynamical systems, power grids, robots, and neural networks. The problems involving …

This thesis proposes several applications of reachability analysis to control and assess
stability of power systems with formal guarantees. Simply put, reachability analysis makes it …

Intermittent power sources such as wind and solar are increasingly penetrating electrical
grids, mainly motivated by global warming concerns and government policies. These …