Hierarchical Coordinated Control for Power System Voltage Using Linear Temporal Logic

Hongshan ZHAO, Hongliang GAO, Yang XIA
DOI: 10.4236/eng.2009.12014                

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.

Keywords

Power Systems Voltage Control, Linear Temporal Logic, Hierarchical Coordinated Control, Hybrid Automata

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	S. Fan, C. X. Mao, and L. N. Chen, “Optimal coordinated PET and generator excitation control for power systems [J],” Electrical Power and Energy Systems, Vol. 28, Vol.5, pp. 158-165, 2006.
[2]	Y. J. Li, D. Hill, and T. J. Wu, “Optimal coordinated voltage control of power systems [J],” Journal of Zhejiang University SCIENCE A, Vol. 7, No. 2, pp. 257-262, 2006.
[3]	Y. Q. Yuan and J. Wang, “Coordinated control for SVC and generator excitation based on passivity and backstepping technique [J],” Transaction of China Electro-technical Society, Vol. 22, No. 6, pp. 135-140, 2007.
[4]	H. J. Yan, “Some problems on integrated control for voltage and reactive power in substation [J],” Power System Technology, Vol. 24, No. 7, pp. 41-43, 2000.
[5]	M. E. Baran and M. Y. Hsu, “Vlot/Var control at distribution substation [J],” IEEE Transaction on Power Systems, Vol. 14, No. 1, pp. 312-318, 1999.
[6]	D. P. Buse, P. Sun, Q. H. Wu, et al., “Agent-based substation automation [J],” IEEE Power and Energy Magazine, Vol. 1, No. 2, pp. 50-55, 2008.
[7]	T. Nagata and H. Sasak, “A multi-agent approach to power system restoration [J],” IEEE Transaction on Power Systems, Vol. 17, No. 2, pp. 457-462, 2002.
[8]	N. Yorino, Y. Mori, H. Sasaki, et al., “A control problem for decentralized autonomous voltage controllers [C],” the 14th PSCC, pp. 24-28, 2002.
[9]	M. S. Kwang, S. M Kyeong, and K. L Song, et al., “Coordination of an SVC with a ULTC reserving compensation margin for emergency control [J],” IEEE Transaction on Power Delivery, Vol. 15, No. 4, pp. 1193-1198, 2000.
[10]	M. Kloetzer and C. Belta, “A fully automated framework for control of linear systems from temporal logic specifications,” IEEE Transaction on Automatic Control [J],” Vol. 53, No. 1, pp. 287-297, 2008.
[11]	T. Moor and J. M. Davoren, “Robust controller synthsis for hybrid systems using modal logic [M],” Spring- er-Verlag, New York, pp. 433-446, 2001.
[12]	P. Tabuada and G. J. Papas, “Linear time logic control of discrete-time linear systems [J],” IEEE Transactions on Automatic Control, Vol. 51, No. 1, pp. 1862-1877, 2006.
[13]	E. A. Emerson, “Temporal and modal logic [M],” Handbook of Theoretical Computer Science: Formal Models and Semantics, MIT press, pp. 995-1072, 1990.
[14]	P. Gastin and D. Oddoux, “Fast LTL to Buchi automata translation [M],” Springer-Verlag: In G. Berry, H. Comon, A. Finkel, eds., Computer Aided Verification, pp. 37-43, 2001.
[15]	G. Fainekos, A. Girard, and G. J. Pappas, “Hierarchical synthesis of hybrid controllers from temporal logic specifications [M],” Spring-Verlag: HSCC, LNCS 4416, pp. 203-216, 2007.
[16]	A. Nerode and W. Kohn, “Models for hybrid systems: Automata, topologies, stability [M],” Spring- er-Verlag, New York, pp. 317-356, 1993.