Review on set-theoretic methods for safety verification and control of power system

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 study comprehensively reviews these methods categorised by underlying mathematical principles, i.e. set operation-based methods and passivity-based methods. Set operation-based methods are more computationally efficient, while passivity-based methods provide a 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.