Secondary Voltage Control Via Demand-Side Energy Storage with Temporal Logic Specifications.
Yichen ZhangFatima Zohra TaousserMohammed M. OlamaSeddik M. DjouadiYaosuo XueThomas Ben OllisKevin TomsovicPublished in: ISGT (2019)
Keyphrases
- temporal logic
- concurrent systems
- model checking
- transition systems
- reactive systems
- model checker
- formal specification language
- bounded model checking
- modal logic
- verification method
- computation tree logic
- control system
- predicate logic
- formal specification
- satisfiability problem
- energy consumption
- electrical power
- power system
- temporal knowledge
- belief revision
- linear temporal logic
- formal verification
- transmission line
- dynamic constraints
- information flow
- temporally extended
- reinforcement learning
- mazurkiewicz traces