A Distributed Feeder Automation Algorithm and its Model Checking

This article presents a distributed feeder automation algorithm based on local topology, considering switch action failure, communication failures and other confounding factors. This makes higher efficiency of data processing and communication and better maintainability of distribution automation sy...

Full description

Saved in:
Bibliographic Details
Published inSensors & transducers Vol. 162; no. 1; p. 325
Main Authors Ling, Wanshui, Liu, Dong
Format Journal Article
LanguageEnglish
Published Toronto IFSA Publishing, S.L 01.01.2014
Subjects
Algorithms
Automation
Communication
Communication systems
Controllers
Data processing
Decision making
Distribution automation
Electric utilities
Electricity distribution
Ethernet
Failure
Feeder automation
Feeders
Linear temporal logic
Mathematical models
Model checking
Switches
Online AccessGet full text

Cover

More Information
Summary:This article presents a distributed feeder automation algorithm based on local topology, considering switch action failure, communication failures and other confounding factors. This makes higher efficiency of data processing and communication and better maintainability of distribution automation system. The algorithm is described by using PROMELA. And the correctness and security of algorithm are expressed and examined with model checking methods. The results show that, the algorithm is correct under conditions of certainty and safe under conditions of uncertainty.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:2306-8515
1726-5479
1726-5479