On-line dynamic state estimation of power systems

Gao, Wenzhong; Wang, Shaobu

doi:10.1109/naps.2010.5619951

Cited by 10 publications

(5 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The procedure for estimating the dynamic state of a power system is relatively well known and can be found in many related articles [12,18,[23][24][25][26]. The relationship between the system's dynamic states and the measurements is formulated as follows:…”

Section: Dse and The Generator Modelmentioning

confidence: 99%

“…U and ϕ represent the voltage magnitude and phase angle of the respective bus, E f is the field voltage of the synchronous generator, and T m is the mechanical torque derived from the governor. The fourth-order transient swing equations are formulated below [12,18,[23][24][25][26].…”

Section: Dse and The Generator Modelmentioning

confidence: 99%

“…T J represents the inertia time constant, while T e is the electromagnetic torque, and D is the damping coefficient. The measurement vector, which includes δ, ω, and P e , is listed below [12,18,[23][24][25][26].…”

Section: Dse and The Generator Modelmentioning

confidence: 99%

“…In [24], a new Markov-based approach is proposed to detect DoS attacks, while in [25], applications of extended Kalman filter is illustrated. An online DSE method is proposed in [26]. Ref.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A Hybrid Framework for Detecting and Eliminating Cyber-Attacks in Power Grids

et al. 2021

View full text Add to dashboard Cite

The work described in this paper aims to detect and eliminate cyber-attacks in smart grids that disrupt the process of dynamic state estimation. This work makes use of an unsupervised learning method, called hierarchical clustering, in an attempt to create an artificial sensor to detect two different cyber-sabotage cases, known as false data injection and denial-of-service, during the dynamic behavior of the power system. The detection process is conducted by using an unsupervised learning-enhanced approach, and a decision tree regressor is then employed for removing the threat. The dynamic state estimation of the power system is done by Kalman filters, which provide benefits in terms of the speed and accuracy of the process. Measurement devices in utilities and buses are vulnerable to communication interruptions between phasor measurement units and operators, who can be easily manipulated by false data. While Kalman filters are incapable of detecting the majority of such cyber-attacks, this article proves that the proposed unsupervised machine learning method is able to detect more than 90 percent of the mentioned attacks. The simulation results on the IEEE 9-bus with 3-machines and IEEE 14-bus with 5-machines systems verify the efficiency of the proposed approach.

show abstract

Section: Dse and The Generator Modelmentioning

confidence: 99%

Section: Dse and The Generator Modelmentioning

confidence: 99%

Section: Dse and The Generator Modelmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Hybrid Framework for Detecting and Eliminating Cyber-Attacks in Power Grids

et al. 2021

View full text Add to dashboard Cite

show abstract

“…In that work, we described the changes and challenges in the power grid driving the need for much higher levels of computational resources for power grid operations. To briefly summarize (and to provide some motivational context for the current work), many of these computations-particularly floating-point intensive simulations and optimization calculations ( [2,3,8,9,10])-can be more effectively done in a centralized manner, and the amount and scale of such data is estimated by some [11,12] to be on the order of terabytes per day of streaming sensor data (e.g. Phasor Measurement Units (PMUs)), with the need to analyze the data within a strict cyclical window (every 30ms), presumably with the aid of highperformance, parallel computing infrastructures.…”

Section: Introductionmentioning

confidence: 99%

A Formal Model For Real-Time Parallel Computation

Hui

Chikkagoudar

2012

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

The imposition of real-time constraints on a parallel computing environment-specifically highperformance, cluster-computing systems-introduces a variety of challenges with respect to the formal verification of the system's timing properties. In this paper, we briefly motivate the need for such a system, and we introduce an automaton-based method for performing such formal verification. We define the concept of a consistent parallel timing system: a hybrid system consisting of a set of timed automata (specifically, timed Büchi automata as well as a timed variant of standard finite automata), intended to model the timing properties of a well-behaved real-time parallel system. Finally, we give a brief case study to demonstrate the concepts in the paper: a parallel matrix multiplication kernel which operates within provable upper time bounds. We give the algorithm used, a corresponding consistent parallel timing system, and empirical results showing that the system operates under the specified timing constraints.

show abstract