Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications.
Andreas VenzkeSpyros ChatzivasileiadisPublished in: CoRR (2019)
Keyphrases
- power system
- neural network
- load flow
- short term load forecasting
- optimal power flow
- power generation
- reactive power
- power grid
- smart grid
- electrical power systems
- load forecasting
- computational intelligence
- fuzzy logic
- ieee bus
- artificial neural networks
- active power
- transmission line
- economic dispatch
- bp neural network
- power flow
- recurrent neural networks
- hybrid particle swarm optimization
- reduced order model
- neural network model
- hidden layer
- shortest path
- fault diagnosis
- feed forward
- competitive learning
- fuzzy neural network
- genetic algorithm