High-Assurance Smart Grid: A Three-Part Model for Smart Grid Control Systems
暂无分享,去创建一个
[1] Leonidas J. Guibas,et al. CENTIBOTS Large Scale Robot Teams , 2003 .
[2] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[3] Raymond A. Paul,et al. Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction) , 1998, Computer.
[4] Kagan Tumer,et al. Distributed agent-based air traffic flow management , 2007, AAMAS '07.
[5] Donald J. Hammerstrom,et al. Pacific Northwest GridWise™ Testbed Demonstration Projects; Part II. Grid Friendly™ Appliance Project , 2007 .
[6] Bojan Cukic,et al. Linear randomized voting algorithm for fault tolerant sensor fusion and the corresponding reliability model , 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).
[7] Marija D. Ilic,et al. Dynamics and control of large electric power systems , 2000 .
[8] Joseph W. Weiss,et al. Protecting Industrial Control Systems from Electronic Threats , 2010 .
[9] Michael Hammer,et al. Reengineering Work: Don’t Automate, Obliterate , 1990 .
[10] Kagan Tumer,et al. Handling Communication Restrictions and Team Formation in Congestion Games , 2006, Autonomous Agents and Multi-Agent Systems.
[11] Ali Feliachi,et al. Integrated, Agent-Based, Real-time Control Systems for Transmission and Distribution Networks , 2007 .
[12] Chuang Lin,et al. Modeling and Evaluation of Intrusion Tolerant Systems Based on Dynamic Diversity Backups , 2009 .
[13] Kishor S. Trivedi,et al. Characterizing intrusion tolerant systems using a state transition model , 2001, Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01.