Linear Temporal Logic Control of Power Systems

This paper considers the problem of power systems load voltage control in order to satisfy formula expresses in temporal logics. Temporal logic can be used for expressing the coordination and sequencing of multiple agent controllers. In order to implement temporal logic control of power system, the paper first construct discrete abstraction of load voltage control system through its continuous state space decomposition, and then defines some specification propositions for OLTC regulation, load shedding relay and capacitor bank switching, and finally generates the temporal logic formula for power system load voltage control. This temporal logic formula is a supervisor of multiple agent coordination control. Some cases taking temporal logic formulas as specifications were simulated, and the results display that the temporal logic control for power system control synthesis is extremely significant