Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications.
Andreas VenzkeSpyros ChatzivasileiadisPublished in: IEEE Trans. Smart Grid (2021)
Keyphrases
- power system
- neural network
- load flow
- short term load forecasting
- electrical power systems
- reactive power
- smart grid
- optimal power flow
- computational intelligence
- economic dispatch
- load forecasting
- power grid
- transmission line
- neural network model
- power generation
- voltage stability
- power flow
- active power
- artificial neural networks
- artificial intelligence
- bp neural network
- ieee bus
- prediction model
- recurrent neural networks
- multilayer perceptron
- hidden layer