IEEE Transactions on Power Systems · 2003 · 194 citations · 17 references
EngineeringElectrical EngineeringSystems EngineeringDesign OptimizationEnergy SystemsSystems AnalysisPower Grid AnalysisPower System DesignPower SystemsCapacity ConstraintsElectric Power NetworksIslanded Power SystemsPower Flow AnalysisPower System OperationPower System OptimizationSplit StrategiesSymbolic Model Checking
System splitting problem, also known as controlled system separation problem, is to determine the proper splitting points for splitting the entire power network into islands when island operation of system is unavoidable. By "proper" we mean that the splitting strategies should guarantee both the power balance and satisfaction to capacity constraints of transmission lines and other facilities in each island. The system splitting problem is very hard because the strategy space is huge for even middle-scale power networks. This paper proposes a two-phase method to search for proper splitting strategies in real-time. The method narrows down the strategy space using highly efficient OBDD-based algorithm in the first phase, then finds proper splitting strategies using power-flow analysis in the reduced strategy space in the second phase. Simulation with symbolic model checking tool SMV indicates that this method is very promising.
17
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
Symbolic model checking: 1020 States and beyond
Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations