TY - RPRT TI - Review on Set-Theoretic Methods for Safety Verification and Control of Power System AU - Yichen Zhang AU - Yan Li AU - Kevin Tomsovic AU - Seddik Djouadi AU - Meng Yue PY - 2020 UR - https://arxiv.org/abs/2001.00080 ID - 2001.00080 ER -