{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,26]],"date-time":"2025-09-26T13:11:14Z","timestamp":1758892274262,"version":"3.41.0"},"reference-count":69,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2018,4,30]],"date-time":"2018-04-30T00:00:00Z","timestamp":1525046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61170307"],"award-info":[{"award-number":["61170307"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Japan Science and Technology Agency (JST) CREST","award":["JPMJCR15K3"],"award-info":[{"award-number":["JPMJCR15K3"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2018,4,30]]},"abstract":"<jats:p>Dynamic security analysis is an important problem of power systems on ensuring safe operation and stable power supply even when certain faults occur. No matter if such faults are caused by vulnerabilities of system components, physical attacks, or cyber-attacks that are more related to cyber-security, they eventually affect the physical stability of a power system. Examples of the loss of physical stability include the Northeast Blackout of 2003 in North America and the 2015 system-wide blackout in Ukraine. The nonlinear hybrid nature, that is, nonlinear continuous dynamics integrated with discrete switching, and the high degree of freedom property of power system dynamics make it challenging to conduct the dynamic security analysis. In this article, we use the hybrid automaton model to describe the dynamics of a power system and mainly deal with the index-1 differential-algebraic equation models regarding the continuous dynamics in different discrete states. The analysis problem is formulated as a reachability problem of the associated hybrid model. A sampling-based algorithm is then proposed by integrating modeling and randomized simulation of the hybrid dynamics to search for a feasible execution connecting an initial state of the post-fault system and a target set in the desired operation mode. The proposed method enables the use of existing power system simulators for the synthesis of discrete switching and control strategies through randomized simulation. The effectiveness and performance of the proposed approach are demonstrated with an application to the dynamic security analysis of the New England 39-bus benchmark power system exhibiting hybrid dynamics. In addition to evaluating the dynamic security, the proposed method searches for a feasible strategy to ensure the dynamic security of the system in the face of disruptions.<\/jats:p>","DOI":"10.1145\/3208093","type":"journal-article","created":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T12:20:54Z","timestamp":1528719654000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Dynamic Security Analysis of Power Systems by a Sampling-Based Algorithm"],"prefix":"10.1145","volume":"2","author":[{"given":"Qiang","family":"Wu","sequence":"first","affiliation":[{"name":"Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences (CAS)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. John","family":"Koo","sequence":"additional","affiliation":[{"name":"Hong Kong Applied Science and Technology Research Institute (ASTRI), Shatin, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshihiko","family":"Susuki","sequence":"additional","affiliation":[{"name":"Osaka Prefecture University, Sakai, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,9]]},"reference":[{"volume-title":"Proceedings of the 1996 IEEE International Conference on Robotics and Automation. 113--120","author":"Nancy","key":"e_1_2_1_1_1"},{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","unstructured":"T. Athay R. Podmore and S. Virmani. 1979. A practical method for the direct analysis of transient stability. IEEE Trans. Power App. Syst. PAS-98 2 (Mar.\/Apr. 1979) 573--584.  T. Athay R. Podmore and S. Virmani. 1979. A practical method for the direct analysis of transient stability. IEEE Trans. Power App. Syst. PAS-98 2 (Mar.\/Apr. 1979) 573--584.","DOI":"10.1109\/TPAS.1979.319407"},{"volume-title":"Optimal Location and Signal Selection of UPFC Device for Damping Oscillation. Master\u2019s thesis. Najaf Abad Branch","author":"Bagheri Alireza","key":"e_1_2_1_3_1"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_10"},{"volume-title":"Proceedings of the 42nd IEEE Conference on Decision and Control. 657--663","author":"Branicky Michael S.","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"K. E. Brenan S. L. Campbell and L. R. Petzold. 1996. Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. Society for Industrial and Applied Mathematics Philadelphia.  K. E. Brenan S. L. Campbell and L. R. Petzold. 1996. Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. Society for Industrial and Applied Mathematics Philadelphia.","DOI":"10.1137\/1.9781611971224"},{"volume-title":"BCU Methodologies, and Applications","author":"Chiang Hsiao-Dong","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","first-page":"11","article-title":"Direct stability analysis of electric power systems using energy functions: Theory, applications, and perspective","volume":"83","author":"Chiang Hsiao-Dong","year":"1995","journal-title":"P. IEEE"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/59.207380"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 2004 IEEE Power Engineering Society General Meeting (PESGM)","volume":"2","author":"Chu Xiaodong","year":"2004"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2627399"},{"key":"e_1_2_1_13_1","unstructured":"CPS Steering Group. 2008. Cyber-Physical Systems Executive Summary. Arlington.  CPS Steering Group. 2008. Cyber-Physical Systems Executive Summary. Arlington."},{"volume-title":"Proceedings of the Forum on Specification and Design Languages. 9--15","year":"2006","author":"Dang Thao","key":"e_1_2_1_14_1"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0066-0"},{"key":"e_1_2_1_16_1","unstructured":"Electric Power Research Institute. 2009. Report to NIST on the Smart Grid Interoperability Standards Roadmap (Contract No. SB 1341-090CN-0031).  Electric Power Research Institute. 2009. Report to NIST on the Smart Grid Interoperability Standards Roadmap (Contract No. SB 1341-090CN-0031)."},{"volume-title":"Proc. American Control Conference. 962--967","author":"Esfahani P. Mohajerin","key":"e_1_2_1_17_1"},{"key":"e_1_2_1_18_1","first-page":"3","article-title":"Operating under stress and strain","volume":"15","author":"Fink Lester H.","year":"1978","journal-title":"IEEE Spectrum"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCAS.2004.1337806"},{"key":"e_1_2_1_21_1","unstructured":"Andy Greenberg. 2017. How an Entire Nation Became Russia\u2019s Test Lab for Cyberwar. (2017). https:\/\/www.wired.com\/story\/russian-hackers-attack-ukraine\/.  Andy Greenberg. 2017. How an Entire Nation Became Russia\u2019s Test Lab for Cyberwar. (2017). https:\/\/www.wired.com\/story\/russian-hackers-attack-ukraine\/."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_2_1_23_1","volume-title":"Annual Meeting Record IEE Japan","volume":"6","author":"Hikihara Takashi","year":"2005"},{"key":"e_1_2_1_24_1","first-page":"2","article-title":"Trajectory sensitivity analysis of hybrid systems","volume":"47","author":"Hiskens Ian A.","year":"2000","journal-title":"IEEE Trans. Circuits Syst. I, Fundam. Theory"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2703172"},{"volume-title":"Proceedings of the IEEE International Conference on Robotics and Automation 2","year":"2000","author":"Jr.","key":"e_1_2_1_26_1"},{"volume-title":"Robotics: Science and Systems. 1--8.","year":"2010","author":"Karaman S.","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","first-page":"4","article-title":"Probabilistic roadmaps for path planning in high-dimensional configuration spaces","volume":"12","author":"Kavralu Lydia E.","year":"1996","journal-title":"IEEE Trans. Robot. Autom."},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","unstructured":"R. J. Kaye and F. F. Wu. 1982. Dynamic security regions of power systems. IEEE Trans. Circuits Syst. CAS-29 9 (Mar. 1982) 612--623.  R. J. Kaye and F. F. Wu. 1982. Dynamic security regions of power systems. IEEE Trans. Circuits Syst. CAS-29 9 (Mar. 1982) 612--623.","DOI":"10.1109\/TCS.1982.1085203"},{"volume-title":"Power System Stability and Control","author":"Kundur Prabha","key":"e_1_2_1_30_1"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004539910020"},{"volume-title":"Planning Algorithms","author":"Lavalle Steven M.","key":"e_1_2_1_33_1"},{"volume-title":"Proceedings of the 1999 IEEE International Conference on Robotics and Automation. 473--479","author":"Steven","key":"e_1_2_1_34_1"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"volume-title":"Jr.","year":"2001","author":"Lavalle Steven M.","key":"e_1_2_1_36_1"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2687865"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2015.2495133"},{"key":"e_1_2_1_39_1","unstructured":"John Lygeros. 2006. Lecture Notes on Hybrid Systems. ETH Zuich.  John Lygeros. 2006. Lecture Notes on Hybrid Systems. ETH Zuich."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806650"},{"volume-title":"Bumby","year":"1997","author":"Machowski Jan","key":"e_1_2_1_41_1"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2005.851911"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPAE.2004.1338120"},{"key":"e_1_2_1_44_1","first-page":"10","article-title":"Powerless: Northeast blackout of 2003","volume":"1","author":"Morison K.","year":"2007","journal-title":"System Failure Case Study"},{"volume-title":"Energy Function Analysis for Power System Stability","author":"Pai M. A.","key":"e_1_2_1_45_1"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225177"},{"volume":"4590","volume-title":"Proceedings of 19th International Conference on Computer Aided Verification (Lecture Notes in Computer Science), W. Damm and H. Hermanns (Eds.)","author":"Plaku Erion","key":"e_1_2_1_47_1"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0058-5"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2050377"},{"key":"e_1_2_1_50_1","unstructured":"Kevin Poulsen. 2004. Software Bug Contributed to Blackout. (2004). https:\/\/www.securityfocus.com\/news\/8016.  Kevin Poulsen. 2004. Software Bug Contributed to Blackout. (2004). https:\/\/www.securityfocus.com\/news\/8016."},{"volume-title":"IFAC Proceedings Volumes 10","year":"1977","author":"Ribbens-Pavella M.","key":"e_1_2_1_51_1"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/0142-0615(82)90035-7"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-PAS.1975.32024"},{"key":"e_1_2_1_54_1","unstructured":"Peter W. Sauer and M. A. Pai. 1998. Power System Dynamics and Stability. Prentice Hall Upper Saddle River NJ.  Peter W. Sauer and M. A. Pai. 1998. Power System Dynamics and Stability. Prentice Hall Upper Saddle River NJ."},{"volume-title":"2016 IEEE Power and Energy Society General Meeting (PESGM). 1--5.","author":"Shenoy N.","key":"e_1_2_1_55_1"},{"volume-title":"Kavraki","year":"2012","author":"\u015eucan Ioan A.","key":"e_1_2_1_56_1"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165329"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00332-010-9087-5"},{"volume-title":"Hybrid model for cascading outage in a power system: A numerical study. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. E92-A, 3 (Mar","year":"2009","author":"Susuki Yoshihiko","key":"e_1_2_1_60_1"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"volume-title":"Interim Report: Causes of the August 14th Blackout in the United States and Canada.","year":"2003","author":"U.S.-Canada Power System Outage Task Force","key":"e_1_2_1_62_1"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1983.1085344"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E99.A.491"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-009-9164-5"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/59.32456"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2686367"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2709252"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.92"},{"volume-title":"Hardware Acceleration of Power System Simulation. Master\u2019s thesis","author":"Yang Yumeng","key":"e_1_2_1_70_1"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556938"},{"volume-title":"Unprecedented Hack of Ukraine\u2019s Power Grid.","year":"2016","author":"Zetter Kim","key":"e_1_2_1_72_1"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208093","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3208093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:08:06Z","timestamp":1750212486000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208093"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,30]]},"references-count":69,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4,30]]}},"alternative-id":["10.1145\/3208093"],"URL":"https:\/\/doi.org\/10.1145\/3208093","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"type":"print","value":"2378-962X"},{"type":"electronic","value":"2378-9638"}],"subject":[],"published":{"date-parts":[[2018,4,30]]},"assertion":[{"value":"2016-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}