Parallel Implementation of OBDD-Based Splitting Surface Search for Power System

Author

Li, Xiao ; Zhao, Qianchuan

Author_Institution

Tsinghua Univ., Beijing

Volume

22

Issue

4

fYear

2007

Firstpage

1583

Lastpage

1593

Abstract

Parallel computational structure is helpful for many complicated problems, especially those which can be divided into multiple independent simpler sub-problems. The ordered binary decision diagrams (OBDD)-based splitting surface search algorithm owns this kind of dividability, derived from the associative law of Boolean expression and the dividability of matrix operation. We have implemented the algorithm with the parallel computation structure MPI to save up computing time. Customized verification is available on our interactive illustrative website http://obdd.cfins.au.tsinghua.edu.cn/ (login user name: mag, password: 199707).

Keywords

Boolean functions; binary decision diagrams; power system analysis computing; Boolean expression; OBDD; customized verification; ordered binary decision diagrams; parallel computational structure; parallel implementation; power system; splitting surface search algorithm; Boolean functions; Clustering algorithms; Concurrent computing; Control systems; Data structures; Parallel processing; Partitioning algorithms; Power system analysis computing; Power systems; Testing; Controlled system separation; message-passing interface; ordered binary decision diagram; parallel computation; splitting surface; system splitting;

fLanguage

English

Journal_Title

Power Systems, IEEE Transactions on

Publisher

ieee

ISSN

0885-8950

Type

jour

DOI

10.1109/TPWRS.2007.907956

Filename

4349145