Abstract
The paper proposed an approach to study the power system voltage coordinated control using Linear Temporal Logic (LTL). First, the hybrid Automata model for power system voltage control was given, and a hierarchical coordinated voltage control framework was described in detail. In the hierarchical control structure, the high layer is the coordinated layer for global voltage control, and the low layer is the power system controlled. Then, the paper introduced the LTL language, its specification formula and basic method for control. In the high layer, global voltage coordinated control specification was defined by LTL specification formula. In order to implement system voltage coordinated control, the LTL specification formula was transformed into hybrid Automata model by the proposed algorithms. The hybrid Automata in high layer could coordinate the different distributed voltage controller, and have constituted a closed loop global voltage control system satisfied the LTL specification formula. Finally, a simple example of power system voltage control include the OLTC controller, the switched capacitor controller and the under-voltage shedding load controller was given for simulating analysis and verification by the proposed approach for power system coordinated voltage control. The results of simulation showed that the proposed method in the paper is feasible.
Highlights
Power systems voltage control involves many distributed continuous controllers such as the generator excitation controller and discrete controllers such as the OLTC, the capacitor banks switching and load shedding, so power system is a classical hybrid dynamic control system
In order to implement system voltage coordinated control, the Linear Temporal Logic (LTL) specification formula was transformed into hybrid Automata model by the proposed algorithms
Linear Temporal Logic (LTL) is used to describe power system coordinated voltage control specification [13], and the LTL specification formula is converted into hybrid automata [14]
Summary
Power systems voltage control involves many distributed continuous controllers such as the generator excitation controller and discrete controllers such as the OLTC, the capacitor banks switching and load shedding, so power system is a classical hybrid dynamic control system. Substation is the main node of power system voltage control, most voltage controllers in substation present the discrete dynamic. How to coordinate these controllers that have different functions is crucial to power system voltage control. In the light of the hybrid characteristics of power sys-tem voltage control, a method using the Linear Temporal Logic (LTL) is proposed to study the coordinated control problem of the multiple discrete voltage controllers in substation [10,11,12]. The most important feature of this approach is that hybrid automata of the coordinated controller can be designed automatically though LTL specification formula. It is easy to be extended to large-scale power system coordinated voltage control
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
