  Increasing penetration of renewable energy introduces significant uncertainty
into power systems. Traditional simulation-based verification methods may not
be applicable due to the unknown-but-bounded feature of the uncertainty sets.
Emerging set-theoretic methods have been intensively investigated to tackle
this challenge. The paper comprehensively reviews these methods categorized by
underlying mathematical principles, that is, set operation-based methods and
passivity-based methods. Set operation-based methods are more computationally
efficient, while passivity-based methods provide semi-analytical expression of
reachable sets, which can be readily employed for control. Other features
between different methods are also discussed and illustrated by numerical
examples. A benchmark example is presented and solved by different methods to
verify consistency.
