Predicting Voltage Instability of Power System via Hybrid System Reachability Analysis.
Yoshihiko SusukiTakashi HikiharaPublished in: ACC (2007)
Keyphrases
- power system
- reachability analysis
- model checking
- markov decision processes
- timed automata
- reactive power
- reactive power optimization
- computational intelligence
- transmission line
- active power
- economic dispatch
- incremental algorithms
- power generation
- voltage stability
- power network
- power flow
- power quality
- expert systems
- electrical power
- voltage sags
- ieee bus
- optimal power flow
- electric power systems
- state space
- operating point
- load forecasting
- theorem prover
- steady state
- artificial intelligence