Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems.
Zhe XuYichen ZhangPublished in: CDC (2021)
Keyphrases
- power system
- provably correct
- stochastic systems
- metric temporal logic
- controller synthesis
- stochastic models
- formal methods
- situation calculus
- computational intelligence
- formal specification
- sample path
- closed loop
- multi agent
- confidence intervals
- control algorithm
- genetic algorithm
- fuzzy logic
- control system
- decision making
- artificial intelligence
- learning algorithm