Abstract
We present an energy storage controller synthesis method for power systems with respect to metric temporal logic (MTL) specifications. The power systems with both constant impedance loads and constant power loads are modeled as a set of differential-algebraic equations. After a fault is cleared, with uncertainties in the fault clearing time, the generator machine angles and rotor speed deviations will enter a set of postfault initial states. We use the robust neighborhood approach to cover this set using the initial robust neighborhoods of finitely many simulated postfault trajectories. These simulated postfault trajectories meet the frequency regulation requirements specified in MTL as they are driven by the optimal control input signals obtained through a functional gradient descent approach. In this way, all the possible postfault trajectories with the given uncertainties in the fault clearing time are guaranteed to satisfy the MTL specification. Furthermore, we learn a piecewise linear control law from the data of the simulated trajectories to generate a feedback controller.
Original language | English (US) |
---|---|
Article number | 8078222 |
Pages (from-to) | 748-759 |
Number of pages | 12 |
Journal | IEEE Systems Journal |
Volume | 13 |
Issue number | 1 |
DOIs | |
State | Published - Mar 2019 |
Externally published | Yes |
Keywords
- Controller synthesis
- Differential-algebraic equations
- Energy storage systems (ESSs)
- Temporal logic
ASJC Scopus subject areas
- Control and Systems Engineering
- Information Systems
- Computer Science Applications
- Computer Networks and Communications
- Electrical and Electronic Engineering