In Situ Resilience Quantification for Microgrids

Priyanka Mishra; Peng Zhang; Scott A. Smolka; Scott D. Stoller; Yifan Zhou; Yacov A. Shamash; Douglas L. Van Bossuyt; William W. Anderson

doi:10.1002/9781119890881.ch11

In Situ Resilience Quantification for Microgrids

Priyanka Mishra
, Peng Zhang
, Scott A. Smolka
, Scott D. Stoller
, Yifan Zhou
, Yacov A. Shamash
, Douglas L. Van Bossuyt
, William W. Anderson

Stony Brook University
Naval Postgraduate School
Engineering and ExpeditionaryWarfare Center (EXWC)

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

This chapter presents a formal method for quantifying the in situ resilience of a microgrid under disturbances. The key innovation is a Signal Temporal Logic-based approach to monitoring the microgrid state against operational specifications. The method does not require knowledge of the system topology and uses locally available data for in situ resilience quantification under varying operating conditions. Case studies verify the applicability of the in situ resilience analysis approach in real time and its superiority over existing methods.

Original language	English
Title of host publication	Microgrids
Subtitle of host publication	Theory and Practice
Publisher	wiley
Pages	219-228
Number of pages	10
ISBN (Electronic)	9781119890881
ISBN (Print)	9781119890850
DOIs	https://doi.org/10.1002/9781119890881.ch11
State	Published - Jan 1 2024

Keywords

Boolean semantics
distributed energy resources
formal method
high-impact low-probability events
in situ resilience
invulnerability
load shedding
microgrid
recoverability
resilience quantification
robustness degree
signal temporal logic
stability
STL formula
STL requirement
syntax

Access to Document

10.1002/9781119890881.ch11

Cite this

@inbook{709acbfb5f9f4205a6ff51ca24e74928,

title = "In Situ Resilience Quantification for Microgrids",

abstract = "This chapter presents a formal method for quantifying the in situ resilience of a microgrid under disturbances. The key innovation is a Signal Temporal Logic-based approach to monitoring the microgrid state against operational specifications. The method does not require knowledge of the system topology and uses locally available data for in situ resilience quantification under varying operating conditions. Case studies verify the applicability of the in situ resilience analysis approach in real time and its superiority over existing methods.",

keywords = "Boolean semantics, distributed energy resources, formal method, high-impact low-probability events, in situ resilience, invulnerability, load shedding, microgrid, recoverability, resilience quantification, robustness degree, signal temporal logic, stability, STL formula, STL requirement, syntax",

author = "Priyanka Mishra and Peng Zhang and Smolka, \{Scott A.\} and Stoller, \{Scott D.\} and Yifan Zhou and Shamash, \{Yacov A.\} and \{Van Bossuyt\}, \{Douglas L.\} and Anderson, \{William W.\}",

note = "Publisher Copyright: {\textcopyright} 2024 The Institute of Electrical and Electronics Engineers, Inc.",

year = "2024",

month = jan,

day = "1",

doi = "10.1002/9781119890881.ch11",

language = "English",

isbn = "9781119890850",

pages = "219--228",

booktitle = "Microgrids",

publisher = "wiley",

}

TY - CHAP

T1 - In Situ Resilience Quantification for Microgrids

AU - Mishra, Priyanka

AU - Zhang, Peng

AU - Smolka, Scott A.

AU - Stoller, Scott D.

AU - Zhou, Yifan

AU - Shamash, Yacov A.

AU - Van Bossuyt, Douglas L.

AU - Anderson, William W.

PY - 2024/1/1

Y1 - 2024/1/1

N2 - This chapter presents a formal method for quantifying the in situ resilience of a microgrid under disturbances. The key innovation is a Signal Temporal Logic-based approach to monitoring the microgrid state against operational specifications. The method does not require knowledge of the system topology and uses locally available data for in situ resilience quantification under varying operating conditions. Case studies verify the applicability of the in situ resilience analysis approach in real time and its superiority over existing methods.

AB - This chapter presents a formal method for quantifying the in situ resilience of a microgrid under disturbances. The key innovation is a Signal Temporal Logic-based approach to monitoring the microgrid state against operational specifications. The method does not require knowledge of the system topology and uses locally available data for in situ resilience quantification under varying operating conditions. Case studies verify the applicability of the in situ resilience analysis approach in real time and its superiority over existing methods.

KW - Boolean semantics

KW - distributed energy resources

KW - formal method

KW - high-impact low-probability events

KW - in situ resilience

KW - invulnerability

KW - load shedding

KW - microgrid

KW - recoverability

KW - resilience quantification

KW - robustness degree

KW - signal temporal logic

KW - stability

KW - STL formula

KW - STL requirement

KW - syntax

UR - https://www.scopus.com/pages/publications/85191426170

U2 - 10.1002/9781119890881.ch11

DO - 10.1002/9781119890881.ch11

M3 - Chapter

AN - SCOPUS:85191426170

SN - 9781119890850

SP - 219

EP - 228

BT - Microgrids

PB - wiley

ER -

In Situ Resilience Quantification for Microgrids

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this