Benchmarks for the Formal Verification of Power Systems.
Matthias AlthoffPublished in: ARCH@SAFECOMP (2022)
Keyphrases
- power system
- formal verification
- model checking
- model checker
- automated verification
- distribution systems
- bounded model checking
- smart grid
- power grid
- computational intelligence
- load forecasting
- economic dispatch
- symbolic model checking
- transmission line
- electric power systems
- power generation
- short term load forecasting
- reactive power
- temporal logic
- electrical power
- fuzzy systems
- genetic algorithm
- machine learning