Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage
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
Bo Wu,Murat Cubuktepe,Ufuk Topcu +2 more
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
Rajeev Alur,Costas Courcoubetis,Nicolas Halbwachs,Thomas A. Henzinger,Pei Ho,Xavier Nicollin,Alfredo Olivero,Joseph Sifakis,Sergio Yovine +8 more
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
Alexandre Donzé,Oded Maler +1 more
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.