scispace - formally typeset
Open AccessJournal ArticleDOI

Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage

Zhe Xu, +2 more
- 01 Dec 2018 - 
- Vol. 12, Iss: 4, pp 3063-3074
Reads0
Chats0
TLDR
The robust testing 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.
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.

read more

Citations
More filters
Journal ArticleDOI

Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications

TL;DR: An energy storage controller synthesis method for power systems with respect to metric temporal logic (MTL) specifications that learns a piecewise linear control law from the data of the simulated trajectories to generate a feedback controller.
Journal ArticleDOI

Analysis of Cascade Fault Optimization Based on Regional Fault and Traffic Reallocation in Complex Networks

TL;DR: A model to simulate the cascade fault propagation process based on a virus propagation model is proposed and shows better performance in the remaining available nodes and the remaining network traffic.
Proceedings ArticleDOI

Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications

TL;DR: A coordinated control method for wind turbine generator and energy storage system for frequency regulation with provable probabilistic guarantees in the stochastic environment of wind power generation and test the effectiveness of the method with a generation loss disturbance.
Journal ArticleDOI

Scale-Free Networks: Characteristics of the Time-Variant Robustness and Vulnerability

TL;DR: Main results point to that when the degree distribution of a scale-free network becomes more heterogeneous over time, the robustness will enhance and the vulnerability will aggravate gradually, while when thedegree distribution becomes less heterogeneous, the Robustness will reduce and theulnerability will mitigate.
Proceedings ArticleDOI

Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis

TL;DR: This paper considers a special class of switched linear systems where the mode switches are governed by Markov decision processes (MDPs), and study the problem of synthesizing a policy in an MDP that stabilizes the switched system.
References
More filters
Journal ArticleDOI

The algorithmic analysis of hybrid systems

TL;DR: A general framework for the formal specification and algorithmic analysis of hybrid systems is presented, which considers symbolic model-checking and minimization procedures that are based on the reachability analysis of an infinite state space.
Book ChapterDOI

Robust satisfaction of temporal logic over real-valued signals

TL;DR: This work considers temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain parameters and presents several variants of robustness measures that indicate how far a given trajectory stands, in space and time, from satisfying or violating a property.
Journal ArticleDOI

Direct methods for transient stability analysis of power systems: Recent results

TL;DR: In this paper, the authors provide a critical review of the Lyapunov direct method of transient stability analysis of power systems and propose on-line criteria suitable for online implementation.
Book ChapterDOI

Robust test generation and coverage for hybrid systems

TL;DR: A framework for generating tests from hybrid systems' models with a notion of robust test, where one nominal test can be guaranteed to yield the same qualitative behavior with any other test that is close to it is developed.
Journal ArticleDOI

An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE

TL;DR: This work proposes a high-order enclosure method for proving existence and uniqueness of the solution and computing a priori bounds for the solution in this interval of integration.
Related Papers (5)