TY - GEN
T1 - Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications
T2 - 60th IEEE Conference on Decision and Control, CDC 2021
AU - Xu, Zhe
AU - Zhang, Yichen
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021
Y1 - 2021
N2 - In this paper, we present a provably correct controller synthesis approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable probabilistic guarantees. We first present the stochastic control bisimulation function for switched stochastic control systems, which bounds the trajectory divergence between the switched stochastic control system and its nominal deterministic control system in a probabilistic fashion. We then develop a method to synthesize the optimal control input signals for the nominal deterministic system with calculated robustness margins, and the same input signals can be applied to the switched stochastic control system with a lower bound guarantee for satisfying the MTL specifications. We implement our robust stochastic controller synthesis approach on both a four-bus power system and a nine-bus power system under generation loss disturbances, with MTL specifications expressing requirements for the grid frequency deviations, wind turbine generator rotor speed variations and the power flow constraints at different power lines.
AB - In this paper, we present a provably correct controller synthesis approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable probabilistic guarantees. We first present the stochastic control bisimulation function for switched stochastic control systems, which bounds the trajectory divergence between the switched stochastic control system and its nominal deterministic control system in a probabilistic fashion. We then develop a method to synthesize the optimal control input signals for the nominal deterministic system with calculated robustness margins, and the same input signals can be applied to the switched stochastic control system with a lower bound guarantee for satisfying the MTL specifications. We implement our robust stochastic controller synthesis approach on both a four-bus power system and a nine-bus power system under generation loss disturbances, with MTL specifications expressing requirements for the grid frequency deviations, wind turbine generator rotor speed variations and the power flow constraints at different power lines.
UR - http://www.scopus.com/inward/record.url?scp=85126030139&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85126030139&partnerID=8YFLogxK
U2 - 10.1109/CDC45484.2021.9683177
DO - 10.1109/CDC45484.2021.9683177
M3 - Conference contribution
AN - SCOPUS:85126030139
T3 - Proceedings of the IEEE Conference on Decision and Control
SP - 3519
EP - 3524
BT - 60th IEEE Conference on Decision and Control, CDC 2021
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 13 December 2021 through 17 December 2021
ER -