Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems.
Zhe XuYichen ZhangPublished in: CoRR (2021)
Keyphrases
- power system
- provably correct
- stochastic systems
- controller synthesis
- metric temporal logic
- stochastic models
- formal methods
- situation calculus
- closed loop
- formal specification
- computational intelligence
- confidence intervals
- sample path
- control system
- multi agent
- control algorithm
- neural network
- mathematical model
- particle swarm optimization
- least squares
- artificial intelligence
- machine learning