TY - GEN
T1 - Optimal energy storage control for frequency regulation under temporal logic specifications
AU - Xu, Zhe
AU - Julius, Agung
AU - Chow, Joe H.
N1 - Publisher Copyright:
© 2017 American Automatic Control Council (AACC).
PY - 2017/6/29
Y1 - 2017/6/29
N2 - A formal safety controller synthesis method for power grid frequency regulation using energy storage systems is proposed. After a fault, with uncertainties in the fault clearing time, the generator machine angles and rotor speed deviations will enter a set of post-fault states that can be over-approximated using reachability analysis. We use the robust neighbourhood approach to cover this set using the initial robust neighbourhood of finitely many simulated post-fault trajectories. We design these simulated trajectories to meet the frequency regulation requirements specified in Metric Temporal Logic (MTL) by optimizing the input signals through a functional gradient descent approach. In this way, all the possible post-fault trajectories with the given uncertainties in the fault clearing time are guaranteed to satisfy the MTL specification. Further, a piecewise linear control law is learned from the data of the simulated trajectories to generate a feedback controller that is more reactive to unexpected disturbances.
AB - A formal safety controller synthesis method for power grid frequency regulation using energy storage systems is proposed. After a fault, with uncertainties in the fault clearing time, the generator machine angles and rotor speed deviations will enter a set of post-fault states that can be over-approximated using reachability analysis. We use the robust neighbourhood approach to cover this set using the initial robust neighbourhood of finitely many simulated post-fault trajectories. We design these simulated trajectories to meet the frequency regulation requirements specified in Metric Temporal Logic (MTL) by optimizing the input signals through a functional gradient descent approach. In this way, all the possible post-fault trajectories with the given uncertainties in the fault clearing time are guaranteed to satisfy the MTL specification. Further, a piecewise linear control law is learned from the data of the simulated trajectories to generate a feedback controller that is more reactive to unexpected disturbances.
UR - http://www.scopus.com/inward/record.url?scp=85027057680&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85027057680&partnerID=8YFLogxK
U2 - 10.23919/ACC.2017.7963225
DO - 10.23919/ACC.2017.7963225
M3 - Conference contribution
AN - SCOPUS:85027057680
T3 - Proceedings of the American Control Conference
SP - 1874
EP - 1879
BT - 2017 American Control Conference, ACC 2017
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2017 American Control Conference, ACC 2017
Y2 - 24 May 2017 through 26 May 2017
ER -