117 citations · 343 across the 18 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
eess.SY2021
Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
Zhe Xu, Yichen Zhang
In this paper, we present a provably correct controller synthesis approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable pro…
eess.SY2021★ 117 cited
Encoding Frequency Constraints in Preventive Unit Commitment Using Deep Learning with Region-of-Interest Active Sampling
Yichen Zhang, Hantao Cui, Jianzhe Liu +4
With the increasing penetration of renewable energy, frequency response and its security are of significant concerns for reliable power system operations. Frequency-constrained uni…