Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage
- 14 April 2017
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Systems Journal
- Vol. 12 (4), 3063-3074
- https://doi.org/10.1109/jsyst.2017.2686401
Abstract
We present a formal robust testing method for power system cascading failure mitigations. The approach is model-based, using simulated trajectories of the system and proving that uncertainties, e.g., in the initial states or disturbances, do not perturb the trajectories beyond a robust neighborhood around them. We model power systems as hybrid systems with locations representing different swing dynamics and relay dynamics. We present implementations of our robust testing approach in a three-machine system model from the 2003 Italian Blackout and the IEEE 39-bus system model. We apply the robust testing method in two scenarios for averting the cascading failures: 1) robust testing of safety for various generator mechanical power dispatch schedules and 2) robust testing of safety for postfault remedial actions based on quick-start storage.Keywords
Funding Information
- National Science Foundation (CNS-1218109, CNS-1550029, CNS-1618369)
This publication has 25 references indexed in Scilit:
- Characterization of Cascading Failures in Interdependent Cyber-Physical SystemsIEEE Transactions on Computers, 2014
- Improvement of Power System Transient Stability by PV Farm With Fuzzy Gain Scheduling of PID ControllerIEEE Systems Journal, 2014
- Formal and Compositional Analysis of Power Systems Using Reachable SetsIEEE Transactions on Power Systems, 2014
- STRONG: A Trajectory-Based Verification Toolbox for Hybrid SystemsLecture Notes in Computer Science, 2013
- Robust Satisfaction of Temporal Logic over Real-Valued SignalsLecture Notes in Computer Science, 2010
- Trajectory Based Verification Using Local Finite-Time InvarianceLecture Notes in Computer Science, 2009
- Hybrid Model for Cascading Outage in a Power System: A Numerical StudyIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2009
- Robust Test Generation and Coverage for Hybrid SystemsLecture Notes in Computer Science, 2007
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Modeling the protective system for power system dynamic analysisIEEE Transactions on Power Systems, 1994