PREDICTING TRANSIENT INSTABILITY OF POWER SYSTEMS BASED ON HYBRID SYSTEM REACHABILITY ANALYSIS11This research is partially supported by the Ministry of Education, Culture, Sports, Sciences and Technology in Japan, The 21st Century COE Program (Grand No. 14213201).

[1]  Benjamin A Carreras,et al.  Complex systems analysis of series of blackouts: cascading failure, critical points, and self-organization. , 2007, Chaos.

[2]  Takashi Hikihara,et al.  Application of hybrid system theory to power system stability analysis , 2005 .

[3]  C. Teolis,et al.  Optimal shipboard power system management via mixed integer dynamic programming , 2005, IEEE Electric Ship Technologies Symposium, 2005..

[4]  Clark W. Gellings,et al.  Transforming the Electric Infrastructure , 2004 .

[5]  C.D. Vournas,et al.  Hybrid systems modeling for power systems , 2004, IEEE Circuits and Systems Magazine.

[6]  P. Fairley,et al.  The unruly power grid , 2004, IEEE Spectrum.

[7]  P. Fairley,et al.  U.S.Military Goes For Hybrid Vehicles , 2004, IEEE Spectrum.

[8]  Jay Apt,et al.  Cascading Failures: Survival versus Prevention , 2003 .

[9]  Manfred Morari,et al.  Hybrid emergency voltage control in power systems , 2003, 2003 European Control Conference (ECC).

[10]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

[11]  C. DeMarco.  A phase transition model for cascading network failure , 2001 .

[12]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

[13]  Yoshisuke Ueda,et al.  GLOBAL BASIN STRUCTURE OF ATTRACTION OF TWO DEGREES OF FREEDOM SWING EQUATION SYSTEM , 1999 .

[14]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[15]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[16]  Chia-Chi Chu,et al.  Direct stability analysis of electric power systems using energy functions: theory, applications, and perspective , 1995, Proc. IEEE.

[17]  Pravin Varaiya,et al.  Foundations of direct methods for power system transient stability analysis , 1987 .