A Distributed Feeder Automation Algorithm and its Model Checking
Wanshui Ling, Dong Liu · DOAJ (DOAJ: Directory of Open Access Journals) · 2014
This paper 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.