On the specification of requirements for the activation dynamics of Frequency Containment Reserves.

Philipp Maucher Hendrik Lens

Published in: SmartGridComm (2021)

Keyphrases

application specific
dynamical systems
requirements analysis
formal specification
formal verification
genetic algorithm
case study
high level
database systems
information processing
query optimization
data sets
conjunctive queries
dynamic model
real time
user requirements
transitive closure
database