Hierarchical Coordinated Control for Power System Voltage Using Linear Temporal Logic

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.