Optimal energy storage control for frequency regulation under temporal logic specifications

Zhe Xu, Agung Julius, Joe H. Chow

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publication2017 American Control Conference, ACC 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1874-1879
Number of pages6
ISBN (Electronic)9781509059928
DOIs
StatePublished - Jun 29 2017
Externally publishedYes
Event2017 American Control Conference, ACC 2017 - Seattle, United States
Duration: May 24 2017May 26 2017

Publication series

NameProceedings of the American Control Conference
ISSN (Print)0743-1619

Other

Other2017 American Control Conference, ACC 2017
CountryUnited States
CitySeattle
Period5/24/175/26/17

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Optimal energy storage control for frequency regulation under temporal logic specifications'. Together they form a unique fingerprint.

Cite this