Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network
Abstract Active distribution network (ADN) technology, as an important trend of the future smart distribution grid, is able to effectively absorb distributed energy resource (DER), to reasonably optimise grid‐load operation characteristics, and to safely support the reliability of power supply. Thro...
Main Authors: | Jiaming Weng, Dong Liu, Yingxu Liu |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2021-09-01
|
Series: | IET Cyber-Physical Systems |
Online Access: | https://doi.org/10.1049/cps2.12005 |
Similar Items
-
Distributed processing based fault location, isolation, and service restoration method for active distribution network
by: Jiaming Weng, et al.
Published: (2015-01-01) -
Elaborate Reliability Evaluation of Cyber Physical Distribution Systems Considering Fault Location, Isolation and Supply Restoration Process
by: Dan Lin, et al.
Published: (2020-01-01) -
Automatic Faulted Feeder Section Location and Isolation Method for Power Distribution Systems Considering the Change of Topology
by: Kongming Sun, et al.
Published: (2017-07-01) -
Study of Fault Detection Isolation and Restoration for Distribution Systems
by: Yi-Feng Lin, et al.
Published: (102) -
A modular approach to formal specification and verification of dependable distributed protocols
by: Ren, Da Qi
Published: (2002)