bullet Sensors & Transducers Journal

    (ISSN: 2306-8515, e-ISSN 1726-5479)

205.767

2008 e-Impact Factor

25 Top Downloaded Articles

Best Selling Articles 2012

Journal Subscription 2014

Editorial Calendar

Submit an Article

Editorial Board

Current Issue

S&T journal's cover

Sensors & Transducers Journal 2011

Sensors & Transducers Journal 2010

Sensors & Transducers Journal 2009

Sensors & Transducers Journal 2008

Sensors & Transducers Journal 2007

2000-2002 S&T e-Digest Contents

2003 S&T e-Digest Contents

2004 S&T e-Digest Contents

2005 S&T e-Digest Contents

2006 S&T e-Digest Contents

 

Best Articles 2011

 

 

 

Vol. 162, Issue 1, January 2014, pp. 325-332

 

Bullet

 

A Distributed Feeder Automation Algorithm and its Model Checking
 

1 Wanshui LING, 1, 2 Dong LIU

1 Key Laboratory of Control of Power Transmission and Conversion, Ministry of Education, School of Electronic, Information and Electrical Engineering, Shanghai Jiao Tong University, Shanghai 200240, China
2 State Energy Smart Grid R & D Center, Shanghai, 200240
Tel.: (+86)2154500688-201, fax: (+86)2154500688-209

E-mail: lingws@sjtu.edu.cn

 

Received: 9 October 2013 /Accepted: 9 January 2014 /Published: 31 January 2014

Digital Sensors and Sensor Sysstems

 

Abstract: 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.

 

Keywords: Feeder automation, Linear temporal logic, Model checking, Distribution automation.

 

Acrobat reader logo Click <here> or title of paper to download the full pages article in pdf format

 

 

Subscribe the full-page Sensors & Transducers journal in print (paper) or pdf formats

(shipping cost by standard mail for paper version is included)

(25 % discount for IFSA Members)

 

 

 

Alternatively we accept a money transfer to our bank account. Please contact for details: sales@sensorsportal.com

 

 

Download <here> the Library Journal Recommendation Form

 

 

 

 

 


1999 - 2014 Copyright , International Frequency Sensor Association (IFSA) Publishing, S.L. All Rights Reserved.


Home - News - Links - Archives - Tools - Voltage-to-Frequency Converters - Standardization - Patents - Marketplace - Projects - Wish List - e-Shop - Sensor Jobs - Membership - Videos - Publishing - Site Map - Subscribe - Search

 Members Area -Sensors Portal -Training Courses - S&T Digest - For advertisers - Bookstore - Forums - Polls - Submit Press Release - Submit White Paper - Testimonies - Twitter - Facebook - LinkedIn