Sage Journals: Discover world-class research

Abstract

This article considers the load frequency control of multi-area power system-based multi-agent system method under false data injection attacks. The research can provide better solutions for multi-area power system load frequency control under false data injection attacks. First, an event-triggered mechanism is introduced to decide which data should be transmitted in the controller to save the limited network bandwidth. Besides, a model of cyberattacks is built using the Bernoulli random variables. Then, conditions are given for maintaining the system asymptotic stability under attack. Finally, simulations are performed to demonstrate the validity of the theory proposed in this article.

Keywords

Load frequency control multi-area power system false data injection attacks event-triggered

Introduction

Load frequency control (LFC) is the key to maintain the frequency stability of power systems. More recently, a large number of researchers published papers on LFC because of the security and stability of power systems.^1–5 The multi-area power system is connected by the power systems of multiple regions. Besides, distributed cooperative control method based on multi-agent system (MAS) has been widely used in multi-area power system.^6–9 MAS refers to a network system associated with a group of agents with functions of perception, communication, computation, and execution.¹⁰ Singh et al.⁸ presented an intelligent controller for LFC in “smart grid” environment which has been changed in communication topology via MAS technology. A two-level coordinated control frame based on MAS was proposed in Yang et al.⁹ to improve the frequency control performance of the power system.

The control center and measurement center of LFC system are typical networked control system (NCS), and the communication between them adopts open communication network or special communication network. Actually, open communication networks rely on open communication channels to share large amounts of data, while special communication networks only allow specified data to be shared through channels. Compared with the latter, open communication network has the characteristics of more flexibility and practicality. However, open networks are vulnerable to malicious network attacks, which lead to security accidents in power systems. Therefore, it is necessary to study the LFC under malicious network attacks. From the target of attack, data integrity and availability are the main targets of attack. From the type of attack, attack can be divided into denial-of-service (DoS), deception attack, false data injection attack (FDIAs), random attack,¹¹ and so on. ShangGuan et al.¹² proposed a switched system model based on the LFC of multi-area power systems to reduce the adverse effects of DoS. In Wang et al.,¹³ an $H_{\propto}$ load frequency controller was designed for power systems which was subject to deception attack based on event-triggered secure control strategy. A credibility-based secure distributed LFC strategy was proposed in Hu et al.¹⁴ to sustain the stability operation of the power systems under FDIAs. Xiahou et al.¹⁵ investigated a perturbation estimation-based robust LFC scheme for power systems which was subject to random time-delay attack. In Chen et al.,¹⁶ a hidden layer-based attack-resilient distributed cooperative control algorithm was introduced to solve the problem of the secondary control of islanded microgrids under FDIAs.

In order to avoid system failure caused by network congestion, event-triggered transmission scheme was often applied to NCS.^17–25 The LFC for power systems with communication delays was studied in Wen et al.²⁰ where an event-triggered control method was used to reduce the amount of communications required. In Liu et al.,²¹ the LFC for multi-area power systems under DoS attacks and deception attacks was solved by introducing an event-triggered mechanism and a switched system model. An adaptive condition for event-triggered scheme was given in Zhang et al.²² for the multi-area uncertain power systems. The robust stability and stabilization of adaptive event-triggered LFC of multi-area power systems were investigated under a networked environment via sliding mode control in Lv et al.²³ Li et.al.²⁴ investigated dynamic event-triggered H_∞ LFC for multi-area power systems with communication delays. Hu et al.²⁵ proposed intermittent communication consensus control based on dynamic event triggering mechanism for leaderless directed MAS networks. In other side, the false measurements’ data may not be transmitted when an attack occurs because the state values are updated only when the given conditions are destroyed in the event-triggered mechanism. Therefore, event-triggered transmission scheme can also improve the security of information transmission. However, it was rare to apply event-triggered transmission scheme to the LFC of multi-area power systems in the existing literature when an attack occurs on the network. Therefore, this article considers the LFC of multi-area power systems under FDIAs based on MAS.

The main contributions of this article are summarized as follows:

The important goal of LFC is to ensure the stability of frequency in the area, which is similar to the consensus based on MAS. Therefore, the consensus control based on MAS is used for the theoretical analysis of the LFC.

The event-triggered mechanism is introduced to lighten the load of network bandwidth, which not only reduced the update frequency of the controller, but also improved the security of information transmission. Furthermore, we proved that the proposed event-triggered mechanism does not have the Zeno phenomenon by deducing the lower bound of the time interval of any adjacent triggering moment.

In addition, most of the literatures^20–24 mentioned above rarely take FDIAs into account. Therefore, the conditions for maintaining the system asymptotic stability under FDIAs are given to guarantee the safe and stability operation of the system.

The rest of this article is organized as follows. The models of the multi-area power systems, FDIAs, and event-triggered mechanism are introduced in section “Problem formulation.” In section “Main results,” the sufficient conditions of tolerable attack parameters are proposed and are further analyzed, which guarantees the asymptotic stability of the multi-area power systems. In section “Simulation example,” a simulation example is given to illustrate the effectiveness of the theory under the FDIAs.

Notions

In this article, $n$ denote the sets of real and natural numbers, respectively, $R^{n}$ and $R^{n \times n}$ denote then-dimensional vector space and $n \times n$ matrix space, respectively. $C^{T}$ is the transpose of matrix $C$ . For a vector $u$ , $‖ u ‖$ represents the Euclidean norm.

Problem formulation

This section gives the background of the problem which includes multi-area LFC power systems description, FDIAs model, and event-triggered transmission mechanism.

Multi-area LFC power system description

The multi-area LFC power systems of the ith area are shown in Figure 1 and the parameters are listed in Table 1.²⁴ Area control error (ACE) is used to measure the tie-line switching power between control areas. $AC E_{i}$ signal is a linear combination of frequency deviation and tie-line power deviation of ith area, which can be defined as

AC E_{i} = β_{i} Δ f_{i} + \sum_{j = 1, j \neq i}^{n} Δ P_{tie - i}

(1)

Figure 1.

Dynamic model of the ith LFC power systems under FDIAs.

Table 1.

Parameters in ith LFC power systems.

Parameter	Definition
$β_{i}$	Frequency bias factor
$M_{i}$	Moment of inertia of the generator
$D_{i}$	Damping coefficient of the generator
$R_{i}$	Speed drop
$T_{ij}$	Lie-line synchronizing coefficient between the ith and jth control area
$T_{chi}$	Time constant of the turbine
$T_{gi}$	Time constant of the governor
$Δ P_{tie - i}$	Tie-line active power deviation
$Δ P_{vi}$	Valve position deviation
$Δ P_{mi}$	Generator mechanical output deviation
$Δ P_{di}$	Load disturbance
$Δ f_{i}$	Frequency deviation
Governor	An automatic regulating device that enables the diesel engine to operate at a stable speed
Turbine	An engine that generates power using fluid to impact the impeller rotation
Generator	A mechanical device that converts other forms of energy into electrical energy

Therefore, it can be induced to equation (2) based on Figure 1

\begin{matrix} Δ f_{i} (s) = \frac{1}{D_{i} + s M_{i}} (Δ P_{mi} (s) - Δ P_{di} (s) - Δ P_{tie - i} (s)) \\ Δ P_{tie - i} (s) = \frac{2 π}{s} \sum_{j = 1, j \neq i}^{n} T_{ij} (Δ f_{i} (s) - Δ f_{j} (s)) \\ Δ P_{mi} (s) = \frac{1}{1 + s T_{chi}} Δ P_{vi} (s) \\ Δ P_{vi} (s) = \frac{1}{1 + s T_{gi}} (u (s) - \frac{1}{R} Δ f_{i} (s)) \end{matrix}

(2)

The dynamic behavior of the power systems is achieved using the inverse Laplace transform with equation (2) based on²⁶

\begin{matrix} Δ {\overset{\cdot}{f}}_{i} (t) = \frac{1}{M_{i}} (Δ P_{mi} (t) - Δ P_{di} (t) - Δ P_{tie - i} (t) - D_{i} f_{i} (t)) \\ Δ {\overset{\cdot}{P}}_{tie - i} (t) = 2 π \sum_{j = 1, j \neq i}^{n} T_{ij} (Δ f_{i} (t) - Δ f_{j} (t)) \\ Δ {\overset{\cdot}{P}}_{mi} (t) = \frac{1}{T_{chi}} (Δ P_{vi} (t) - Δ P_{mi} (t)) \\ Δ {\overset{\cdot}{P}}_{vi} (t) = \frac{1}{T_{gi}} (u (t) - Δ P_{Vi} (t) - \frac{1}{R} Δ f_{i} (t)) \end{matrix}

(3)

The ith-area of LFC power systems dynamic model is given as follows

{\begin{matrix} x_{i} (k + 1) = A_{ii} x_{i} (k) + B_{i} u_{i} (k) + C_{i} φ_{i} (k) + A_{ij} x_{j} (k) \\ y_{i} (k) = D_{i} x_{i} (k) \end{matrix}

(4)

where

\begin{matrix} x_{i} (k) = {[\begin{matrix} Δ P_{tie - i} (k) Δ f_{i} (k) Δ P_{mi} (k) Δ P_{vi} (k) \int_{0}^{k} AC E_{i} (s) ds \end{matrix}]}^{T} \\ y_{i} (k) = {[\begin{matrix} AC E_{i} & \int_{0}^{k} AC E_{i} (s) ds \end{matrix}]}^{T}, φ_{i} (k) = Δ P_{di} (k) \\ A_{ii} = [\begin{matrix} 0 & 2 π \sum_{j = 1, j \neq i}^{n} T_{ij} & 0 & 0 & 0 \\ - \frac{1}{M_{i}} & - \frac{D_{i}}{M_{i}} & \frac{1}{M_{i}} & 0 & 0 \\ 0 & 0 & - \frac{1}{T_{chi}} & \frac{1}{T_{chi}} & 0 \\ - \frac{1}{R_{i} T_{gi}} & 0 & 0 & \frac{1}{T_{gi}} & 0 \\ 1 & β_{i} & 0 & 0 & 0 \end{matrix}] \\ A_{ij} = [\begin{matrix} - 2 π \sum_{i = 1, i \neq j}^{n} T_{ij} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \end{matrix}] \\ B_{i} = {[\begin{matrix} 0 & 0 & 0 & \frac{1}{T_{gi}} & 0 \end{matrix}]}^{T}, B = diag [B_{1}, \dots, B_{n}] \\ C_{i} = {[\begin{matrix} 0 & - \frac{1}{M_{i}} & 0 & 0 & 0 \end{matrix}]}^{T}, C = diag [C_{1}, \dots, C_{n}] \\ D_{i} = [\begin{matrix} 1 & β_{i} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 \end{matrix}], D = diag [D_{1}, \dots, D_{n}] \end{matrix}

The purpose of this article is to design the proportional–integral (PI) controller applied in the LFC power systems, which can be expressed as

u_{i} (k) = - K_{Pi} AC E_{i} - K_{Ii} \int_{0}^{k} AC E_{i} (s) ds

(5)

where $K_{Pi}$ and $K_{Ii}$ denote the controller gains.

The control input of the multi-area LFC power systems can be rewritten as

u (k) = - Ky (k)

(6)

where $u (k)$ is the control input of area, $y (k)$ is the measurement output of area, $K = diag [k_{1}, \dots, k_{n}]$ , and $k_{i} = [\begin{matrix} K_{Pi} & K_{Ii} \end{matrix}]$ .

False date inject attacks

For FDIAs, it destroys system stability by injecting false data into the system. As shown in Figure 2, the data are damaged by malicious FDIAs in the process of network transmission. The measurement output $y (k)$ send by sensor is tampered with $\bar{y} (k)$ . The controller obtained bad data and make the wrong command.

Figure 2.

FDI attack model.

Besides, we assume that the false signals $z (k)$ injected by the adversary for the FDIAs are described as follows. Under FDIAs, the measurements’ output $y (k)$ received by the controllers is tampered as

\bar{y} (k) = y (k) + z (k)

(7)

where $z (k)$ is a bounded attack energy function.

In this article, we assumed that the FDIAs occur randomly. Therefore, we use a Bernoulli random variable $ϒ (k) \in {0, 1}$ to describe the probability of FDIAs. $ϒ (k)$ obeys the Bernoulli distribution with the following probability distribution

P {ϒ (k) = 1} = \bar{ϒ} (k), P {ϒ (k) = 0} = 1 - \bar{ϒ} (k)

where $0 \leq \bar{ϒ} (k) \leq 1$ .

Thus, the real measurements’ output $y (k)$ of controller is as follows $\bar{y} (k)$ , $\bar{y} (k)$ the measurement output tampered by attackers

\bar{y} (k) = ϒ (k) \bar{y} (k) + (1 - ϒ (k)) y (k)

(8)

Combining equations (6) and (8), the control protocol under false data inject attack can be rewritten as

u (k) = - K (ϒ (k) \bar{y} (k) + (1 - ϒ (k)) y (k))

(9)

Assumption 1

To restrain the FDIAs, suppose that the following condition of attack energy function $z (k)$ holds^26,27

‖ z (k) ‖^{2} \leq ‖ Sy (k) ‖^{2}

where $S$ is a constant matrix, and represents the upper bound of the attack capability.

Remark 1

Inspired by Pang et al.²⁸ and Sakthivel et al.,²⁹ malicious attacks by attackers cannot inject false information unboundedly. It is reasonable to assume that the energy of attack signal is constrained. In addition, motivated by the works in Liu et al.,²¹ a probability-dependent false data inject model is adopted during the design of the reliable controller for the multi-area power systems.

Event-triggered mechanism

In this section, an event-triggered mechanism under LFC controller for multi-area power systems is given as

ϑ^{T} (k) Λ ϑ (k) \leq δ x^{T} (k^{*}) Λ x (k^{*})

(10)

where $ϑ (k) = x (k *) - x (k)$ , $x (k^{*})$ , $k^{*} \in [k_{s}^{*}, k_{s + 1}^{*})$ , and $x (k)$ indicate the current sampled data and the latest transmitted data, respectively. Therefore, $ϑ (k)$ is the error between the current sampled data and the latest transmitted data. $δ \in [0, 1]$ is a constant and $Λ > 0$ is a matrix with appropriate dimensions. The principle of the event-triggered transmission mechanism is that the value of controller will update if the condition (10) is destroyed; otherwise, the newly sampled data will be discarded.

Remark 2

The non-periodic intermittent information transmission mode of event-triggered control can not only improve the security of information transmission to a certain extent, but also reduce the use of communication and computing resources, which can effectively improve the economy and practicability of LFC in multi-area power system.

Main results

This part will analyzes the security consensus of the multi-area power system (4) under FDIAs and proves that the proposed event triggering condition (10) does not result in Zeno behavior.

By applying the Kronecker product, the multi-area power systems (4) can be transformed as following based on equation (9)

{\begin{matrix} x (k + 1) = (I_{N} \otimes (A - BKD)) x (k) \\ - (L \otimes BK) ϒ (k) z (k) + (I_{N} \otimes C) φ (k) \\ y (k) = (I_{N} \otimes D) x (k) \end{matrix}

(11)

where $x (k) = [x_{1}^{T} (k) \dots x_{n}^{T} (k)]^{T}$ , $u (k) = [u_{1}^{T} (k) \dots u_{n}^{T} (k)]^{T}$ , $φ (k) = [φ_{1}^{T} (k) \dots φ_{n}^{T} (k)]^{T}$ , and $y (k) = [y_{1}^{T} (k) \dots y_{n}^{T} (k)]^{T}$ , and $z (k)$ represents the attack energy function.

Stability of the multi-area power systems

Definition 1

The multi-area power system (11) is asymptotically stable,^14,21 and $H_{\propto}$ performance constraint is satisfied, if the following requirements are satisfied:

The multi-area power system (11) with $φ (k) = 0$ is asymptotically stable.

Under zero initial conditions, the inequality $‖ y_{l} (k) ‖^{2} < γ^{2} ‖ φ_{l} (k) ‖^{2}$ holds for all nonzero $φ (k) \in [0, \propto)$ and prescribed scalar $γ > 0$ .

Lemma 1

Suppose that there exist constant matrices $X$ , $Y$ , and $Z$ satisfying³⁰

X - Y^{T} Z^{- 1} Y < 0

if and only if

(\begin{matrix} X & * \\ Z & Y \end{matrix}) < 0

Theorem 1

Under the FDIAs, the multi-area power systems (11) are asymptotically stable with the $H_{\propto}$ performance standard $γ > 0$ , if there exist a positive matrix $Q$ , controller gain $K$ , and such that the following linear matrix inequality (LMI) holds

[\begin{matrix} {\bar{A}}^{T} Q \bar{A} - Q + δ Λ & {\bar{A}}^{T} QC & - {\bar{A}}^{T} QBK ϒ (k) \\ * & C^{T} QC - Λ & - C^{T} QBK ϒ (k) \\ * & * & ϒ^{T} (k) K^{T} B^{T} QKB ϒ (k) \end{matrix}] < 0

(12)

and

[\begin{matrix} {\bar{A}}^{T} QC + C^{T} Q \bar{A} - Q + δ Λ & 0 & Q \bar{A} \\ * & - Λ & QC \\ * & * & - Q \end{matrix}] < 0

where $\bar{A} = A - BKD$ .

Proof

Choose a Lyapunov function candidate for multi-area power systems (11) as follows

V (k) = x^{T} (k) Qx (k)

(13)

When $φ^{T} (k) = 0$ , define $η_{1} (k) = [\begin{matrix} x^{T} (k) & z^{T} (k) \end{matrix}]^{T}$ .

Then, calculate the difference of $V (k)$ . We have

\begin{matrix} V V (k) = V (k + 1) - V (k) \\ \leq x^{T} (k + 1) Qx (k + 1) - x^{T} (k) Qx (k) \\ - ϑ^{T} (k) Λ ϑ (k) + δ x^{T} (k) Λ x (k) \\ = {[(A - BKD) x (k) - BK ϒ (k) z (k)]}^{T} \\ Q [(A - BKD) x (k) - BK ϒ (k) z (k)] - x^{T} (k) Qx (k) \\ - ϑ^{T} (k) Λ ϑ (k) + δ x^{T} (k) Λ x (k) \\ = η_{1}^{T} (k) \\ [\begin{matrix} {\bar{A}}^{T} Q \bar{A} - Q + δ Λ & - {\bar{A}}^{T} QBK ϒ (k) \\ * & ϒ^{T} (k) K^{T} B^{T} QKB ϒ (k) - Λ \end{matrix}] η_{1}^{T} (k) \end{matrix}

(14)

It is clearly that

\begin{matrix} [\begin{matrix} {\bar{A}}^{T} Q \bar{A} - Q + δ Λ & - {\bar{A}}^{T} QBK ϒ (k) \\ * & ϒ^{T} (k) K^{T} B^{T} QKB ϒ (k) - Λ \end{matrix}] \\ = [\begin{matrix} {\bar{A}}^{T} QC + C^{T} Q \bar{A} - Q + δ Λ & 0 \\ 0 & - Λ \end{matrix}] \\ + [\begin{matrix} {\bar{A}}^{T} Q \\ C^{T} Q \end{matrix}] Q^{- 1} [\begin{matrix} Q \bar{A} & QC \end{matrix}] \end{matrix}

(15)

By employing Lemma 1 to equation (15), it can be concluded that $V V (k) < 0$ , if the following LMI holds

[\begin{matrix} {\bar{A}}^{T} QC + C^{T} Q \bar{A} - Q + δ Λ & 0 & Q \bar{A} \\ * & - Λ & QC \\ * & * & - Q \end{matrix}] < 0

When $φ^{T} (k) \neq 0$ , define $η_{2} (k) = {[x^{T} (k) φ^{T} (k) z^{T} (k)]}^{T}$ .

Then, calculate the difference of $V (k)$ . We have

\begin{matrix} Δ V (k) = V (k + 1) - V (k) \\ \leq x^{T} (k + 1) Qx (k + 1) - x^{T} (k) Qx (k) \\ - ϑ^{T} (k) Λ ϑ (k) + δ x^{T} (k) Λ x (k) \\ = {[(A - BKD) x (k) - BK ϒ (k) z (k) + C φ (k)]}^{T} \\ Q [(A - BKD) x (k) - BK ϒ (k) z (k) + C φ (k)] \\ - x^{T} (k) Qx (k) - e^{T} (k) Λ e (k) + δ x^{T} (k) Λ x (k) \\ = η_{2}^{T} (k) [\begin{matrix} {\bar{A}}^{T} Q \bar{A} - Q + δ Λ & {\bar{A}}^{T} QC & - {\bar{A}}^{T} QBK ϒ (k) \\ * & C^{T} QC - Λ & - C^{T} QBK ϒ (k) \\ * & * & ϒ^{T} (k) K^{T} B^{T} QKB ϒ (k) \end{matrix}] η_{2}^{T} (k) \end{matrix}

(16)

It can be concluded that $V V (k) < 0$ , if the following LMI holds

[\begin{matrix} {\bar{A}}^{T} Q \bar{A} - Q + δ Λ & {\bar{A}}^{T} QC & - {\bar{A}}^{T} QBK ϒ (k) \\ * & C^{T} QC - Λ & - C^{T} QBK ϒ (k) \\ * & * & ϒ^{T} (k) K^{T} B^{T} QKB ϒ (k) \end{matrix}] < 0

(17)

Define

W = V (k) - \sum_{i = 0}^{k} φ^{T} (i) φ (i)

Under zero initial conditions, we have

\begin{matrix} W = V (k) - V (0) - \sum_{i = 0}^{k} φ^{T} (i) φ (i) \\ = \sum_{i = 0}^{k} (Δ V (i) - φ^{T} (i) φ (i)) \end{matrix}

(18)

Combing equations (16) and (18), it can be obtained

\begin{matrix} W = V (k) - V (0) - \sum_{i = 0}^{k} φ^{T} (i) φ (i) \\ = \sum_{i = 0}^{k} (Δ V (i) - φ^{T} (i) φ (i)) \\ = \sum_{i = 0}^{k} η_{2}^{T} (i) \\ [\begin{matrix} {\bar{A}}^{T} Q \bar{A} - Q + δ Λ & {\bar{A}}^{T} QC & - {\bar{A}}^{T} QBK ϒ (k) \\ * & C^{T} QC - Λ - I & - C^{T} QBK ϒ (k) \\ * & * & ϒ^{T} (k) K^{T} B^{T} QKB ϒ (k) \end{matrix}] η_{2}^{T} (i) \end{matrix}

According to equation (17), $W < 0$ , it means that

\begin{matrix} V (k) - \sum_{i = 0}^{k} φ^{T} (i) φ (i) \\ = x^{T} (k) Qx (k) - \sum_{i = 0}^{k} φ^{T} (i) φ (i) < 0 \end{matrix}

Moreover, we need to guarantee that system (11) is asymptotically stability. According to equation (17), it follows that

V V (k) < y_{l}^{T} (k) y_{l} (k) - γ^{2} φ_{l}^{T} (k) φ_{l} (k)

(19)

Summing up both sides of equation (19) with $k = 0, 1, \dots, \propto$ , we can get the following inequality

‖ y_{l} (k) ‖^{2} < γ^{2} ‖ φ_{l} (k) ‖^{2}

so the asymptotic stability of system (11) is guaranteed.

The proof of Theorem 1 is completed.

Zeno phenomenon

Another problem that cannot be ignored for the event-triggered control algorithm is to prove that the algorithm will not appear Zeno phenomenon. Next, we will prove that the proposed event-triggered algorithm does not have the Zeno phenomenon by deducing the lower bound of the time interval of any adjacent triggering moment.

Definition 2

The Zeno phenomenon is presented if it takes an infinite number of triggers countless times in a finite amount of time.³⁰ In other words, the time interval is more than zero for any two adjacent events.

Theorem 2

For the event-triggered condition (10), there is a positive lower bound on the interval between two adjacent triggering event points.

Proof

According to the definition of $ϑ (k)$ , we can obtain the differential of $ϑ (k)$ as follows

\frac{d ϑ (k)}{dk} = (I_{N} \otimes A) ϑ (k) + (I_{N} \otimes B) \bar{u} (k) + (I_{N} \otimes C) \bar{φ} (k)

(20)

where ${\bar{u}}_{i} (k) = u (k^{*}) - u_{i} (k)$ and ${\bar{φ}}_{i} (k) = φ (k_{i}^{*}) - φ_{i} (k)$ .

Integration from $k_{s}^{*}$ to $k$ , we have

\begin{matrix} ϑ_{i} (k) = e^{(I_{N} \otimes \bar{A}) (k - k_{s}^{*})} ϑ_{i} (k_{s}^{*}) + e^{(I_{N} \otimes B) (k - k_{s}^{*})} z_{i} (k_{s}^{*}) \\ + e^{(I_{N} \otimes C) (k - k_{s}^{*})} {\bar{φ}}_{i} (k_{s}^{*}) \end{matrix}

(21)

Define $k_{s + 1}^{*}$ as the next triggered time, it can be obtained from event-triggered condition (10)

\begin{matrix} e^{(I_{N} \otimes \bar{A}) (k_{s + 1}^{*} - k_{s}^{*})} ϑ_{i} (k_{s}^{*}) + e^{(I_{N} \otimes B) (k_{s + 1}^{*} - k_{s}^{*})} z_{i} (k_{s}^{*}) \\ + e^{(I_{N} \otimes C) (k_{s + 1}^{*} - k_{s}^{*})} {\bar{φ}}_{i} (k_{s}^{*}) - δ x_{i}^{T} (t) Λ_{i} x_{i} (t) > 0 \end{matrix}

(22)

Define $K^{*} = k_{s + 1}^{*} - k_{s}^{*}$ , equation (22) can be rewritten as

\begin{matrix} e^{(I_{N} \otimes \bar{A}) K^{*}} ϑ_{i} (k_{s}^{*}) + e^{(I_{N} \otimes B) K^{*}} z_{i} (k_{s}^{*}) + e^{(I_{N} \otimes C) K^{*}} {\bar{φ}}_{i} (k_{s}^{*}) \\ > δ x_{i}^{T} (t) Λ_{i} x_{i} (t) \end{matrix}

(23)

Therefore, we can obtain

K^{*} = k_{s + 1}^{*} - k_{i}^{*} > 0

(24)

The proof of Theorem 2 is completed.

Simulation example

In this section, a three-area power system is employed to identify the effectiveness of our proposed event-triggered secure control strategy for LFC under FDIAs. The system parameters setting of the three-area power system (12) is shown in Table 2. The communication topology of the interconnected three-area power system is given in Figure 3 and each area adopts wired connection.

Table 2.

Parameter settings of the three-area power system.

Parameters	Area 1	Area 2	Area 3
$β_{i}$	19	20	20
$M_{i}$	11.6	10	13
$D_{i}$	0.95	1.3	1.48
$R_{i}$	0.03	0.03	0.05
$T_{chi}$	0.52	0.9	1.1
$T_{gi}$	0.3	0.44	0.69

Figure 3.

The communication topology of the three-area power system.

In this simulation, we suppose that $δ = 0.63$ . Moreover, the probabilities of FDIAs are $P {ϒ (k) = 1} = 0.37$ . The Bernoulli variable $ϒ (k)$ indicating the occurrence of FDIAs is characterized in Figure 4 with $\bar{ϒ} (k) = 0.21$ . The exogenous disturbance is chosen as $Δ P_{di} (k) = 0.8 \sin (k)$ . $T_{12} = T_{21} = 0.2609$ , $T_{13} = T_{31} = 0.1766$ , and $T_{32} = T_{23} = 0.51$ . The false signals injected by adversary is defined as $z (k) = 0.2 e^{k} \sin y (k)$ . The initial values are $x 1 (0) = {[0.1980 0.0572 0.7700 0.5 0.5]}^{T}$ , $x 2 (0) = [\begin{matrix} - 0.0037 & 0.0193 & 0.4300 & 0.6 & 0.6 \end{matrix}]^{T}$ , and $x 3 (0) = [\begin{matrix} - 0.0028 & 0.0186 & 0.2200 & 0.3 & 0.7 \end{matrix}]^{T}$ , respectively.

Figure 4.

The occurrence of false data injection attacks.

The simulation results are shown in Figure 5, which gives the frequency response of the conventional LFC in and our method. It can be seen from Figure 5(a) that the traditional LFC takes a long time to restore the stability of the system when multi-area power system is attacked by FDIA. However, it is unacceptable for power systems. Figure 5(b) perceives that the proposed method has improved the iteration speed, which meets the conditions of safe and stability operation of the power system.

Figure 5.

The frequency response under FDIAs. (a) LFC method proposed in Hu et al.¹⁴ and (b) LFC method proposed in this article.

Figures 6 and 7 delineate the tie-line active power deviation and generator mechanical output deviation change of the three-area power system. It should be pointed out that system (11) maintaining recovery and synchronization of communication links under FDIAs.

Figure 6.

The tie-line active power deviation changes of the multi-area power system.

Figure 7.

The generator mechanical output deviation changes of the multi-area power system.

It is worth noting that the method proposed in this article does not consider the influence of time-delay on the system, but time-delay is inevitable for any engineering system. Therefore, we will continue to study the LFC with time-delay in multi-area power system under FDIAs in subsequent studies.

Conclusion

In summary, this article studies the LFC of multi-area power system based on MAS distributed control technology under FDIAs. The Bernoulli random variables are used to model the multi-regional power system affected by FDIAs. Then, an event-triggered mechanism is proposed to reduce the bandwidth of the network, and the asymptotic stability condition of multi-area power system is given. In addition, by deducing the lower bound of the time interval of any adjacent moment, it is proved that the event triggering mechanism proposed in this article does not have the Zeno phenomenon. According to this theorem, the simulation of specific cases is completed using LMI toolbox. The simulation results show that the proposed control algorithm can realize LFC security control of multi-area power system. Compared with other literature, the proposed algorithm has the advantages of faster and stronger robustness.

Footnotes

Handling Editor: Yanjiao Chen

Declaration of conflicting interests

The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.

Funding

The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported in part by the West Light Foundation of the Chinese Academy of Science, in part by the Scientific and Technological Research Program of Chongqing Municipal Education Commission (KJZD-K201901504 and KJQN201901537), in part by the Humanities and Social Sciences Research of Ministry of Education (19YJCZH047), in part by the Research Foundation of The Natural Foundation of Chongqing City (cstc2021jcyj-msxmX0146), and in part by the National Innovation and Entrepreneurship Training Platform for College Students (202111551002).

ORCID iDs

Yan Xie

Liping Feng

References

Tian

Peng

. Memory-based event-triggering H_∞ load frequency control for power systems under deception attacks. IEEE Trans Cybernet 2020; 50(11): 4610–4618.

Zhang

Chen

. Cyber attack detection scheme for a load frequency control system based on dual-source data of compromised variables. Appl Sci 2021; 11(4): 1584.

Zhao

Zou

. Decentralized resilient H∞ load frequency control for cyber-physical power systems under DoS attacks. IEEE/CAA J Autom Sinica 2021; 8(11): 1737–1751.

Thenmalar

. Fuzzy logic based load frequency control of power system. Mater Today 2021; 45: 8170–8175.

Zhang

. Coordinated load frequency control of multi-area integrated energy system using multi-agent deep reinforcement learning. Appl Energy 2022; 306: 117900.

Logenthiran

Srinivasan

Khambadkone

. Multi-agent system for energy resource scheduling of integrated microgrids in a distributed system. Electric Power Syst Res 2011; 81(1): 138–148.

Logenthiran

Srinivasan

. Multi-agent system for the operation of an integrated microgrid. J Renew Sustain Energ 2012; 4(1): 013116.

Singh

Kishor

Samuel

. Distributed multi-agent system-based load frequency control for multi-area power system in smart grid. IEEE Trans Ind Electron 2017; 64(6): 5151–5160.

Yang

Huang

, et al. Load frequency control of interconnected power system via multi-agent system method. Electr Power Component Syst 2017; 45(8): 839–851.

10.

Xie

Han

, et al. Group consensus of second-order multi-agent systems via intermittent sampled control. In:2021 International Conference on Security, Pattern Analysis, and Cybernetics (SPAC), Chengdu, China, 18–20 June 2021, pp. 185–189. New York: IEEE.

11.

Ding

Han

Xiang

, et al. A survey on security control and attack detection for industrial cyber-physical systems. Neurocomputing 2018; 275: 1674–1683.

12.

ShangGuan

Zhang

, et al. Switching system-based load frequency control for multi-area power system resilient to denial-of-service attacks. Control Eng Pract 2021; 107: 104678.

13.

Wang

Chen

Meng

, et al. Event-based secure H∞ load frequency control for delayed power systems subject to deception attacks. Appl Math Comput 2021; 394: 125788.

14.

Liu

Luo

, et al. Credibility-based secure distributed load frequency control for power systems under false data injection attacks. IET Generat Trans Distrib 2020; 14(17): 3498–3507.

15.

Xiahou

Liu

. Robust load frequency control of power systems against random time-delay attacks. IEEE Trans Smart Grid 2020; 12(1): 909–911.

16.

Chen

Dong

, et al. A FDI attack-resilient distributed secondary control strategy for islanded microgrids. IEEE Trans Smart Grid 2020; 12(3): 1929–1938.

17.

Zhang

. Distributed event-triggered control for multi-agent systems under intermittently random denial-of-service attacks. Inform Sci 2021; 542: 380–390.

18.

Zhou

, et al. Event-triggered consensus control for multi-agent systems against false data-injection attacks. IEEE Trans Cybernet 2019; 50(5): 1856–1866.

19.

Yue

Xie

, et al. Resilient event-triggered controller synthesis of networked control systems under periodic DoS jamming attacks. IEEE Trans Cybernet 2018; 49(12): 4271–4281.

20.

Wen

Zeng

, et al. Event-triggering load frequency control for multiarea power systems with communication delays. IEEE Trans Ind Electron 2015; 63(2): 1308–1317.

21.

Liu

Zha

, et al. Event-triggered H∞ load frequency control for multiarea power systems under hybrid cyber attacks. IEEE Trans Syst Man Cybernet 2019; 49(8): 1665–1678.

22.

Zhang

Zhao

, et al. Networked load frequency control of multi-area uncertain power systems via adaptive event-triggered communication scheme. J Franklin Inst 2019; 356(16): 9600–9626.

23.

Sun

Wang

, et al. Adaptive event-triggered load frequency control of multi-area power systems under networked environment via sliding mode control. IEEE Access 2020; 8: 86585–86594.

24.

Wang

Tian

. Dynamic event-triggered H∞ load frequency control for multi-area power systems with communication delays. Int J Robust Nonlin Control 2021; 31(9): 4100–4117.

25.

Yang

Huang

, et al. A distributed dynamic event-triggered control approach to consensus of linear multiagent systems with directed networks. IEEE Trans Cybernet 2018; 50(2): 869–874.

26.

Cao

Ding

Liu

, et al. Hybrid-triggered-based security controller design for networked control system under multiple cyber attacks. Inform Sci 2021; 548: 69–84.

27.

Liu

Wei

Xie

, et al. Quantized stabilization for T–S fuzzy systems with hybrid-triggered mechanism and stochastic cyber-attacks. IEEE Trans Fuzzy Syst 2018; 26(6): 3820–3834.

28.

Pang

Liu

Zhou

, et al. Two-channel false data injection attacks against output tracking control of networked systems. IEEE Trans Ind Electron 2016; 63(5): 3242–3251.

29.

Sakthivel

Kaviarasan

Ahn

, et al. Observer and stochastic faulty actuator-based reliable consensus protocol for multiagent system. IEEE Trans Syst Man Cybernet 2017; 48(12): 2383–2393.

30.

Cao

. Stability analysis of reaction-diffusion uncertain memristive neural networks with time-varying delays and leakage term. Appl Math Comput 2016; 278: 54–69.

Load frequency control under false data inject attacks based on multi-agent system method in multi-area power systems

Abstract

Keywords

Introduction

Notions

Problem formulation

Multi-area LFC power system description

False date inject attacks

Assumption 1

Remark 1

Event-triggered mechanism

Remark 2

Main results

Stability of the multi-area power systems

Definition 1

Lemma 1

Theorem 1

Proof

Zeno phenomenon

Definition 2

Theorem 2

Proof

Simulation example

Conclusion

Footnotes

Declaration of conflicting interests

Funding

ORCID iDs

References