Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications.
Zhe XuAgung JuliusJoe H. ChowPublished in: IEEE Syst. J. (2019)
Keyphrases
- temporal logic
- power system
- controller synthesis
- concurrent systems
- power distribution systems
- transition systems
- power generation
- model checking
- reactive systems
- model checker
- bounded model checking
- economic dispatch
- electric power systems
- formal specification language
- electrical power
- distribution systems
- formal specification
- power grid
- closed loop
- linear temporal logic
- computational intelligence
- transmission line
- smart grid
- multi agent
- control system
- short term
- unit commitment
- particle swarm optimization
- power grids
- genetic algorithm
- wind power
- formal methods
- mathematical model
- decision making