Hierarchical Coordinated Control for Power System Voltage Using Linear Temporal Logic

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.

[1]  Paul Gastin,et al.  Fast LTL to Büchi Automata Translation , 2001, CAV.

[2]  Antoine Girard,et al.  Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications , 2007, HSCC.

[3]  Jennifer M. Davoren,et al.  Robust Controller Synthesis for Hybrid Systems Using Modal Logic , 2001, HSCC.

[4]  Naoto Yorino,et al.  A CONTROL PROBLEM FOR DECENTRALIZED AUTONOMOUS VOLTAGE CONTROLLERS , 2002 .

[5]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[6]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[7]  Paulo Tabuada,et al.  Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.

[8]  J. M. DavorenResear.  Robust Controller Synthesis for Hybrid Systems Using Modal Logic , 2001 .

[9]  Mesut Baran,et al.  Volt/VAr control at distribution substations , 1999 .

[10]  T. Nagata,et al.  A Multiagent Approach to Power System Restoration , 2002, IEEE Power Engineering Review.

[11]  Yan Hao.  SOME PROBLEMS ON INTEGRATED CONTROL FOR VOLTAGE AND REACTIVE POWER IN SUBSTATIONS , 2000 .

[12]  Yanjun Li,et al.  Optimal coordinated voltage control of power systems , 2006 .

[13]  Shu Fan,et al.  Optimal coordinated PET and generator excitation control for power systems , 2006 .

[14]  K. S. Moon,et al.  Coordination of an SVC with a ULTC reserving compensation margin for emergency control , 1999, Proceedings of the 21st International Conference on Power Industry Computer Applications. Connecting Utilities. PICA 99. To the Millennium and Beyond (Cat. No.99CH36351).

[15]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.

[16]  Q. H. Wu,et al.  Agent-based substation automation , 2003 .