杰里米·里夫金．第三次工业革命[M]．张体伟,孙豫宁,译．北京：中信出版社,2012：46-56．Rifkin J．The Third Industrial Revolution[M]．Translated by Zhang Tiwei,Sun Yuning．Beijing：China Citic Press,2012：42-56(in Chinese)．
[2]
Rajkumar R,Lee I,Sha L,et al．Cyber-physical systems：the next computing revolution[C]//Proceedings of the 47th ACM/IEEE Design Automation Conference．Anaheim, CA,IEEE,2010：731-736．
[3]
Kyoung Dae Kim K D,P．R．Kumar P R．Cyber-physical systems：a perspective at the centennial[J]．Proceedings of the IEEE,2012,100：1287-1380．
[4]
CPS Steering Group．Cyber-physical systems executive summary[Z]．CPS Summit,2008．
[5]
Tan Y,Goddard S,Pérez L C．A prototype architecture for cyber-physical systems[J]．ACM Sigbed Review,2008,5(1)：26-27．
[6]
Park K J,Zheng R,Liu X．Cyber-physical systems：Milestones and research challenges[J]．Computer Communications,2012,36(1)：1-7．
[7]
Sha L,Gopalakrishnan S,Liu X,et al．Cyber-Physical Systems：A New Frontier[M]．Machine Learning in Cyber Trust：Security,Privacy,and Reliability．US：Springer,2009：3-13．
[8]
Derler P,Lee E A,Vincentelli A S．Modeling Cyber-Physical Systems[J]．Proceedings of the IEEE,2012,100：13-28．
[9]
Poovendran R．Cyber-physical systems：close encounters between two parallel worlds [Point of View][J]．Proceedings of the IEEE,2010,9(8)：1363-1366．
[10]
Hu L,Xie N N,Kuang Z J,et al．Review of cyber-physical system architecture[C]//Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops．Shenzhen, Guangdong：IEEE,2012：25-30．
[11]
Wolf W．The good news and the bad news[J]．Journal Computer,2007,40(11)：104-105．
[12]
Lee E A,Seshia S A．Introduction to Embedded Systems：A Cyber-Physical Systems Approach[M]．Beijing：China Machine Press,2012．
[13]
Bogdan P,Marculescu R．Cyberphysical systems：workload modeling and design optimization[J]．IEEE Design & Test of Computers,2011,28(4)：78-87．
[14]
Wetter M．Co-simulation of building energy and control systems with the building controls virtual test bed[J]．Journal of Building Performance Simulation,2011,4(3)：185-203．
[15]
Karsai G,Sztipanovits J,Ledeczi A,et al．Model-integrated development of embedded software[J]．Proceedings of the IEEE,2003,91(1)：145-164．
[16]
Eidson J C,Lee E A,Matic S,et al．Time-centric models for designing embedded cyber-physical systems[R]．Berkeley：University of California,2009．
[17]
Amelunxen C,Schurr A．Formalizing model transformation rules for UML/MOF 2[J]．IET Software,2008,2(3)：204-222．
[18]
雷瑶．信息物理融合系统的形式化建模与分析[D]．广州：广东工业大学,2013．Lei Yao．Formal Modelling and Analysis of Cyber Physical System[D]．Guangzhou：Guangdong University of Technology,2013(in Chinese)．
梁艳,陈文楷,焦洪峰,等．供暖系统的混杂自动机建模与模糊控制[J]．电工技术杂志,2004(4)：74-77．Liang Yan,Chen Wenkai,Jiao Hongfeng,et al．Modeling of heating systems based on hybrid automaton and fuzzy control[J]．Electrotechnical Journal,2004(4)：74-77(in Chinese)．
[21]
Yu X F,Tomsovic K．Application of linear matrix inequalities for load frequency control with communication delays[J]．IEEE Transactions on Power Systems,2004,19(3)：1508-1515．
[22]
Bradley J M,Atkins E M．Computational-physical state co-regulation in cyber-physical systems[C]//Proceedings of the 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems．Chicago,IL：IEEE,2011：119-128．
[23]
Li H S,Lai L F,Poor H V．Multicast routing for decentralized control of cyber physical systems with an application in smart grid[J]．IEEE Journal on Selected Areas in Communications,2012,30(6)：1097-1107．
[24]
尤毅,刘东,于文鹏,等．主动配电网技术及其进展[J]．电力系统自动化,2012,36(18)：10-16．You Yi,Liu Dong,Yu Wenpeng,et al．Technology and its trends of active distribution network[J]．Automation of Electric Power Systems,2012,36(18)：10-16(in Chinese)．
[25]
Wu L,Kaiser G．An autonomic reliability improvement system for cyber-physical systems[C]//Proceedings of the 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering．Omaha,NE：IEEE,2012：56-61．
[26]
陆一鸣．智能配电网信息模型的形式建模与验证[D]．上海：上海交通大学,2013．Lu Yiming．Formal Modeling and verification of information model for smart distribution grid[D]．Shanghai：Shanghai Jiaotong University,2013(in Chinese)．
[27]
杜哲,刘东,陆一鸣,等．基于本体差异化分析的信息模型映射技术[J]．电网技术,2015,39(6)：1525-1531．Du Zhe,Liu Dong,Lu Yiming,et al．Mapping of information model based on ontological differential analysis[J]． Power System Technology,2015,39(6)：1525-1531(in Chinese)．
[28]
曾倬颖,刘东．光伏储能协调控制的信息物理融合建模研究[J]．电网技术,2013,37(6)：1506-1513．Zeng Zhuoying,Liu Dong．Study on Cyber-physical system modeling on coordinated control of photovoltaic generation and battery energy storage system[J]．Power System Technology,2013,37(6)：1506-1513(in Chinese)．
[29]
陆一鸣,刘东,黄玉辉,等．基于CIM的馈线建模和应用[J]．中国电机工程学报,2012,32(28)：157-163．Lu Yiming,Liu Dong,Huang Yuhui,et al．Feeder modeling and application based on CIM[J]．Proceedings of the CSEE,2012,32(28)：157-163(in Chinese)．
[30]
赵俊华,文福拴,薛禹胜,等．电力CPS的架构及其实现技术与挑战[J]．电力系统自动化,2010,34(16)：1-7．Zhao Junhua,Wen Fushuan,Xue Yusheng,et al．Cyber physical power systems ：architecture,implementation techniques and challenges[J]．Automation of Electric Power Systems,2010,34(16)：1-7(in Chinese)．
[31]
赵俊华,文福拴,薛禹胜,等．电力信息物理融合系统的建模分析与控制研究框架[J]．电力系统自动化,2011,35(16)：1-8．Zhao Junhua,Wen Fushuan,Xue Yusheng,et al．Modeling analysis and control research framework of cyber physical power systems[J]．Automation of Electric Power Systems,2011,35(16)：1-8(in Chinese)．
[32]
杜双育,王先培,谢光彬,等．基于IEC61850 的变电站自动化系统可靠性评估[J]．电力系统保护与控制,2012,40(5)：32-36,41．Du Shuangyu,Wang Xianpei,Xie Guangbin,et al．Reliability evaluation of substation automation system based on IEC61850[J]．Power System Protection and Control,2012,40(5)：32-36,41(in Chinese)．
[33]
徐天奇．基于IEC61850的数字化变电站信息系统构建及可靠性研究[D]．武汉：华中科技大学,2009．Xu Tianqi．Research on IEC 61850 based digital substation information system and its reliability[D]．Wuhan：Huazhong University of Science&Technology,2009(in Chinese)．
[34]
俞斌,郭创新,王越,等．考虑信息系统作用的电力系统可靠性研究[J]．电力系统保护与控制,2013,41(7)：7-13．Yu Bin,Guo Chuangxin,Wang Yue,et al．Research on the reliability of the power system considering impacts of the information system[J]．Power System Protection and Control,2013,41(7)：7-13(in Chinese)．
[35]
赵洪山．电力系统混杂建模与分析[D]．北京：华北电力大学,2004．Zhao Hongshan．Hybrid modeling and analysis of power systems[D]．Beijing：North China Electric Power University,2004(in Chinese)．
[36]
Sayak B．Cyber-physical modeling,analysis,and optimization-a shipboard smart grid reconfiguration case study[D]．Manhattan,Kansas：Kansas State University,2004．
[37]
Derler P,Lee E A,Vincentelli A S．Modeling cyber-physical systems[J]．Proceedings of the IEEE,2011,100(1)：13-28．
[38]
Jensen J C,Chang D H,Lee E A．A model-based design methodology for cyber-physical systems[C]// Proceedings of the 2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC)．Istanbul：2011：1666-1671．
[39]
Zhu Tong,Huang Zhiwu,Li Shuo,et al．Design and research on comprehensive safety monitoring system of high speed railway based on CPS framework [C]//Proceedings of the 30th Chinese Control Conference,2011：5591-5595．
[40]
Susuki Y,Koo T J,Ebina H,et al．A Hybrid System Approach to the Analysis and Design of Power Grid Dynamic Performance[J]．Proceedings of the IEEE,2012,100(1)：225-239．
[41]
Hiskens I A．Power system modeling for inverse problems[J]．IEEE Transactions on Circuits Systems I：Regular Papers,2004,51(3)：539-551．
[42]
Burmester M,Magkos E,Chrissikopoulos V．Modeling security in cyber-physical systems[J]．International Journal of Critical Infrastructure Protection,2012,5(3-4)：118-126．
[43]
Ramos C,Vale Z,Faria L．Cyber-physical intelligence in the context of power systems[M]//Future Generation Information Technology,Lecture Notes in Computer Science．Berlin,Heidelberg：Springer,2011：19-29．
[44]
朱星阳,刘文霞,张建华．考虑大规模风电并网的电力系统随机潮流[J]．中国电机工程学报,2013,33(7)：77-85．Zhu Xingyang,Liu Wenxia,Zhang Jianhua．Probabilistic load flow method considering large-scale wind power integration[J]．Proceedings of the CSEE,2013,33(7)：77-85(in Chinese)．
[45]
石东源,蔡德福,陈金富,等．计及输入变量相关性的半不变量法概率潮流计算[J]．中国电机工程学报,2012,32(28)：104-114．Shi Dongyuan,Cai Defu,Chen Jinfu,et al．Probabilistic load flow calculation based on cumulant method considering correlation between input variables[J]．Proceedings of the CSEE,2012,32(28)：104-114(in Chinese)．
[46]
Jie Zhan,Jinxin Huang,Lin Niu,Xiaosheng Peng．Study of the key technologies of electric power big data and its application prospects in smart grid[C]//2014 IEEE PES Asia-Pacific Power and Energy Engineering Conference (APPEEC)．Hong Kong：IEEE,2014：1-4．
[47]
黄彦浩,于之虹,谢昶,等．电力大数据技术与电力系统仿真计算结合问题研究[J]．中国电机工程学报,2015,35(1)：13-22．Huang Yanhao,Yu Zhihong,Xie Chang,et al．Study on the Application of Electric Power Big Data Technology in Power System Simulation[J]．Proceedings of the CSEE,2015,35(1)：13-22(in Chinese)．
[48]
孙宏斌,李钦,张明晔,等．基于动态潮流方程的连续潮流模型与方法[J]．中国电机工程学报,2011,31(7)：77-82．Sun Hongbin,Li Qin,Zhang Mingye,et al．Continuation power flow method based on dynamic power flow equation[J]．Proceedings of the CSEE,2011,31(7)：77-82(in Chinese)．
[49]
Gill S,Kockar I,Ault G W．Dynamic optimal power flow for active distribution networks[J]．IEEE Transactions on Power Systems,2014,29(1)：121-131．
[50]
张海波,蒋良敏,陶文伟,等．实用化分布式动态潮流计算系统的设计与实现[J]．电力系统自动化,2012,36(9)：67-72．Zhang Haibo,Jiang Liangmin,Tao Wenwei,et al．Design and implementation of a practical distributed power flow calculation system[J]．Automation of Electric Power Systems,2012,36(9)：67-72(in Chinese)．
[51]
Sodhi R,Sharieff M I．Phasor measurement unit placement framework for enhanced wide-area situational awareness[J]．IET Generation,Transmission & Distribution,2015,9(2)：172-182．
[52]
杨胜春,汤必强,姚建国,等．基于态势感知的电网自动智能调度架构及关键技术[J]．电网技术,2014,38(1)：33-39．Yang Shengchun,Tang Biqiang,Yao Jianguo,et al．Architecture and key technologies for situational awareness based automatic intelligent dispatching of power grid[J]．Power System Technology,2014,38(1)：33-39(in Chinese)．
[53]
章坚民,陈昊,陈建,等．智能电网态势图建模及态势感知可视化的概念设计[J]．电力系统自动化,2014,38(9)：168-176．Zhang Jianmin,Chen Hao,Chen Jian,et al．Smart grid situation awareness diagram modeling and conceptual design of situation awareness visualization[J]．Automation of Electric Power Systems,2014,38(9)：168-176(in Chinese)．
[54]
艾欣,周树鹏,赵阅群．基于场景分析的含可中断负荷的优化调度模型研究[J]．中国电机工程学报,2014,34(增刊)：25-31．Ai Xin,Zhou Shupeng,Zhao Yuequn．Research on optimal dispatch model considering interruptible loads based on scenario analysis[J]．Proceedings of the CSEE,2014,34(Supplement)：25-31(in Chinese)．
[55]
陈璨,吴文传,张伯明,等．基于多场景技术的有源配电网可靠性评估[J]．中国电机工程学报,2012,32(34)：67-73．Chen Can,Wu Wenchuan,Zhang Boming,et al．An active distribution system reliability evaluation method based on multiple scenarios technique[J]．Proceedings of the CSEE,2012,32(34)：67-73(in Chinese)．
[56]
Sridhar S,Hahn A,Govindarasu M．Cyber-physical system security for the electric power grid[J]．Proceedings of the IEEE,2012,100(1)：210-224．
[57]
Bemporad A,Maurice W P M H,De Schutter B．On hybrid systems and closed-loop MPC systems[J]．IEEE Transactions on Automatic Control,2002,47(5)：863-869．
[58]
Xie L,Ilić M D．Module-based modeling of cyber-physical power systems[C]//Proceedings of the 28th International Conference on Distributed Computing Systems Workshops．Beijing：IEEE,2008：513-518．
[59]
朱敏,李必信,陈乔乔,等．基于微分动态逻辑的CPS建模与属性验证[J]．电子学报,2012,40(6)：1126-1132．Zhu Min,Li Bixin,Chen Qiaoqiao,et al．Transforming hybrid UML to hybrid program for CPS property verification[J]．ACTA ELECTRONICA SINICA,2012,40(6)：1126-1132(in Chinese)．
[60]
Zhou C C,Ravn A P,Hansen M R．An extended duration calculus for hybrid real-time systems[C]//Hybrid Systems,Lecture Notes in Computer Science．Berlin Heidelberg：Springer-Verlag,1993：36-59．
[61]
张海宾．混合系统的形式化验证[D]．西安：西安电子科技大学,2007．Zhang Haibin．Formal Verification of Hybrid Systems[D]．Xi’an：Xi’an,Xidian University,2007(in Chinese)．
[62]
Alur R,Courcoubetis C,Henzinger T A,et al．Hybrid automata：an algorithmic approach to the specification and verification of hybrid systems[C]//Hybrid Systems,Lecture Notes in Computer Science．Berlin Heidelberg：Springer-Verlag,1993：209-229．
[63]
刘振亚．全球能源互联网[M]．北京：中国电力出版社,2015．Liu Zhenya．Global energy internet[M]．Beijing：China Electric Power Press,2015(in Chinese)．
[64]
Huang A Q,Crow M L,Heydt G T,et al．The Future Renewable Electric Energy Delivery and Management (FREEDM) System：The Energy Internet[J]．Proceedings of the IEEE,2011,99(1)：133-148．
[65]
尤毅,刘东,钟清,等．多时间尺度下基于主动配电网的分布式电源协调控制[J]．电力系统自动化,2014,38(9)：192-198．You Yi,Liu Dong,Zhong Qing,et al．Multi-time scale coordinated control of distributed generators based on active distribution network[J]．Automation of Electric Power Systems,2014,38(9)：192-198(in Chinese)．
[66]
于文鹏,刘东,余南华．馈线控制误差及其在主动配电网协调控制中的应用[J]．中国电机工程学报,2013,33(13)：108-115．Yu Wenpeng,Liu Dong,Yu Nanhua．Feeder control error and its application in coordinate control of active distribution network[J]．Proceedings of the CSEE,2013,33(013)：108-115(in Chinese)．
[67]
韩国政,徐丙垠．基于IEC61850的高级配电自动化开放式通信体系[J]．电网技术,2011,35(4)：183-186．Han Guozheng,Xu Bingyin．IEC 61850-based open communication system of advanced distribution automation[J]．Power System Technology,2011,35(4)：183-186(in Chinese)．
[68]
Green R C II,Wang L F,Alam M．Applications and trends of high performance computing for electric power systems：focusing on smart grid[J]．IEEE Transactions on Smart Grid,2013,4(2)：922-931．
[69]
Facchinetti T,Della Vedova M L．Real-time modeling for direct load control in cyber-physical power systems[J]．IEEE Transactions on Industrial Informatics,2011,7(4)：689-698．
