• No results found

More information about this series at

N/A
N/A
Protected

Academic year: 2021

Share "More information about this series at"

Copied!
12
0
0

Loading.... (view fulltext now)

Full text

(1)
(2)
(3)

Siddhartha Kumar Khaitan

·

James D. McCalley

Chen-Ching Liu

Editors

Cyber Physical Systems

Approach to Smart

Electric Power Grid

(4)

Editors

Siddhartha Kumar Khaitan

Electrical and Computer Engineering Iowa State University

Ames Iowa USA

James D. McCalley

Electrical and Computer Engineering Iowa State University

Ames Iowa USA

Chen-Ching Liu

Energy Systems and Innovation Center (ESIC)

Washington State University Pullman

Washington USA

ISSN 1612-1287 ISSN 1860-4676 (electronic) Power Systems

ISBN 978-3-662-45927-0 ISBN 978-3-662-45928-7 (eBook) DOI 10.1007/978-3-662-45928-7

Library of Congress Control Number: 2014958754 Springer Heidelberg New York Dordrecht London

c

Springer-Verlag Berlin Heidelberg 2015

This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed.

The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.

The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made.

Printed on acid-free paper

Springer-Verlag GmbH Berlin Heidelberg is part of Springer Science+Business Media (www.springer.com)

(5)

Preface

Cyber-physical systems (CPSs) are the class of systems that offer close interaction between cyber and physical components. Due to deep intertwining of physical and software components, CPSs feature high degree of automation, integration at mul-tiple temporal and spatial scales and reconfiguring dynamics. CPSs are expected to play a major role in the development of next-generation systems ranging from handheld devices to warehouse-scale systems. For this reason, CPSs have been ac-tively researched in the recent years. This book brings together the recent advance-ments, implementation and future directions in the field of cyber physical systems. The book covers several aspects related to CPSs, such as modeling and simulation, resiliency, security, design of network infrastructure and the application of cyber-physical design paradigm in domains of practical interest, such as power system.

Following is a brief introduction to the chapters in the book.

The chapter entitled, “Modeling and Simulation of Network Aspects for Dis-tributed Cyber-Physical Energy Systems” presents an aspect-oriented approach to modeling smart grid communication, fault modeling and timing concerns on a dis-tributed state estimation application study. The prototyping of the approach is per-formed using the heterogeneous modeling environment Ptolemy II. The simulation results highlight the benefits of aspect-oriented models for network and middleware scalability in cyber-physical energy system models.

The chapter entitled, “A Service-Oriented, Cyber-Physical Reference Model for Smart Grid” presents a cyber-physical reference model for smart grid. The pro-posed reference model is based on service-oriented computing paradigm and is also capable of handling the hard real-time aspects of smart grid. The chapter also presents the development steps of a smart grid application according to the proposed reference model.

The chapter entitled, “Real Time Modeling and Simulation of Cyber-Power Sys-tem” discusses the challenges in the development of cyber-power testbed. It also presents realization of a cyber-power testbed by integration of Real Time Digital Simulator (RTDS) and Network Simulator 3 (NS3). The studies conducted on the testbed help in understanding the complex relationship between cyber and physical domains, and the impacts of an attack on the cyber-physical power system.

(6)

VI Preface

The chapter entitled, “Cyber physical Approach to HVDC grid control” presents a cyber-physical approach to design of HVDC (high voltage direct current) control system architectures. It further describes the communication system architectures needed for centralized and distributed operation and control of HVDC grids. It also describes two applications for distributed control of DC grids which utilize the con-cepts presented in the chapter.

The chapter entitled, “Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System”, presents a compositional framework for implementing an optimal supply-following strategy in a cyber-physical power grid supplying services for an HVAC (heating, ventilation and air conditioning) sys-tem for a building. It uses the concept of assume-guarantee contracts to formalize the requirements of the grid and the building subsystem. Using this, an optimal con-trol scheme for both the grid and the building can be formulated.

The chapter entitled, “Decision-Support Tools for Renewables-Rich Power Sys-tems: A Stochastic Futures Approach” presents a framework and algorithm set for day-ahead generation scheduling which utilizes the coupling between cyber- and physical- resources in the power system. It also presents a method for unit schedul-ing for the day-ahead market based on the probabilistic renewable energy generation futures.

The chapter entitled, “Cyber security of smart grid communications: risk analysis and experimental testing” presents a cyber-security evaluation of active distribution grids which feature a high level penetration of distributed renewable sources. The chapter focuses on voltage control in medium voltage grids connecting distributed energy resources with the aim of analyzing the most relevant security scenarios of a system which implements such control application.

The chapter entitled, “Reliable and Scalable Communication for the Power Grid” presents methods for developing network topologies of smart devices for enabling multi-route discovery in a power grid. Since multi-route pathways ensure timely delivery of critical data, the methods presented in the chapter enable the design of reliable and scalable cyber network structure in a power grid.

The chapter entitled, “Biologically Inspired Hierarchical Cyber-Physical Multi-Agent Distributed Control Framework For Sustainable Smart Grids” presents a hi-erarchical framework based on flocking theory for improving stability of a cyber-physical smart grid. It also presents strategies for leveraging cyber-physical coupling of the system for designing a control scheme with the aim of identifying and mitigat-ing data corruption and attacks.

The chapter entitled, “Cyber-Physical Security of Substations in a Power Grid” presents an approach to enhance the cyber security of substations in a cyber-physical power system. Using a cyber-physical substation testbed, it evaluates the resilience of the substations towards various vulnerabilities and intrusion scenarios.

The chapter entitled, “Cyber-Attacks in the Automatic Generation Control” ana-lyzes the impact of a cyber-attack on the AGC (automatic generation control) signal. It uses reachability and optimal control theory to study the the existence of an attack pattern that can disturb the power system. Dynamic simulations on a IEEE-118 bus network are performed to show the performance of their methodology.

(7)

Preface VII

The chapter entitled, “Intrusion Detection for CPS Real-Time Controllers” presents mechanisms for time-based intrusion detection which work by detecting the execution of unauthorized instructions in real-time CPS environments. The chapter also develops techniques to detect intrusions in a self-checking manner by the ap-plication and through the operating system scheduler.

The chapter entitled, “Against Data Attacks on Smart Grid Operations: Attack Mechanisms and Security Measures” discusses data attack models and techniques for enabling fast detection of such attacks. It also presents several cost-effective countermeasures using data encryption, access authentication and meter protection. Students, researchers, system-designers and professionals interested in cyber-physical system approach to power grids will find this book very useful and timely. We hope that this book will inspire even greater efforts in the area of design and management of cyber-physical systems.

Fall 2014 (USA) Siddhartha Kumar Khaitan

Ames, IA, USA James D. McCalley Ames, IA, USA Chen-Ching Liu Ames, IA, USA

(8)

List of Contributors

Akkaya, Ilge

Electrical Engineering and Computer Science Department

University of California, Berkeley California, USA

Andersson, Goran

Power Systems Laboratory ETH Zurich

Zurich, Switzerland

Babazadeh, Davood

Department of Industrial Information and Control Systems

KTH - Royal Institute of Technology Stockholm, Sweden

Bhat, Balasubramany

Department of Computer Science North Carolina State University North Carolina, USA

Biswas, Saugata

School of Electrical Engineering and Computer Science

Washington State University Washington, USA

Chen, Ying

Department of Electrical Engineering Tsinghua University

Beijing, China

Donde, Vaibhav

Pacific Gas and Electric California, USA

Dondossola, Giovanna

Ricerca sul Sistema Energetico - RSE Spa.

Dpt T&D Technologies Milan, Italy

Esfahani, Peyman Mohajerin

Department of Information Technology and Electrical Engineering

ETH Zurich Zurich, Switzerland

Govindarasu, Manimaran

Department of Electrical and Computer Engineering

Iowa State University Iowa, USA

(9)

X List of Contributors

Grijalva, Santiago

School of Electrical and Computer Engineering

Georgia Institute of Technology Georgia, USA

Jiang, Jiayi

School of Electrical Engineering and Computer Science

Washington State University Washington, USA

Hong, Junho

School of Electrical Engineering and Computer Science

Washington State University Washington, USA

Kim, Jinsub

Oregon State University Kundur, Deepa

Department of Electrical and Computer Engineering

Department of Electrical and Computer Engineering

University of Toronto Ontario, Canada

Lee, Edward A.

Electrical Engineering and Computer Science Department University of California, Berkeley California, USA

Liu, Chen-Ching

School of Electrical Engineering and Computer Science Washington State University Washington, USA

Liu, Juhua

ABB US Corporate Research North Carolina, USA

Liu, Ren

School of Electrical Engineering and Computer Science Washington State University Washington, USA

Liu, Yan

Electrical Engineering and Computer Science Department

University of California, Berkeley California, USA

Lygeros, John

Automatic Control Laboratory ETH Zurich

Zurich, Switzerland

Maasoumy, Mehdi

Department of Electrical

Engineering and Computer Sciences University of California, Berkeley California, USA

Margellos, Kostas

Department of Industrial Engineering and Operations Research

University of California, Berkeley California, USA

Mohan, Sibin

Information Trust Institute University of Illinois

at Urbana-Champaign Illinois, USA

Mueller, Frank

Department of Computer Science North Carolina State University North Carolina, USA

(10)

List of Contributors XI

Nordstrom, Lars

Department of Industrial Information and Control Systems

KTH - Royal Institute of Technology Stockholm, Sweden

Nuzzo, Pierluigi

Department of Electrical Engineering and Computer Sciences

University of California, Berkeley California, USA

Roy, Sandip

School of Electrical Engineering and Computer Science

Washington State University Washington, USA

Sangiovanni-Vincentelli, Alberto

Department of Electrical Engineering and Computer Sciences

University of California, Berkeley California, USA

Srivastava, Anurag

School of Electrical Engineering and Computer Science

Washington State University Washington, USA

Tariq, Muhammad Umer

School of Electrical and Computer Engineering Georgia Institute of Technology Georgia, USA

Terruggia, Roberta

Ricerca sul Sistema Energetico -RSE Spa.

Dpt T&D Technologies Milan, Italy

Tong, Lang

School of Electrical and Computer Engineering

Cornell University New York, USA

Vellaithurai, Ceeman B

Schweitzer Engineering Laboratories, Inc.

Washington, USA

Vrakopoulou, Maria

Power Systems Laboratory ETH Zurich

Zurich, Switzerland

Wei, Jin

Department of Electrical and Computer Engineering

The University of Akron Ohio, USA

Wolf, Marilyn

School of Electrical and Computer Engineering

Georgia Institute of Technology Georgia, USA

Zimmer, Christopher

Department of Computer Science North Carolina State University North Carolina, USA

(11)

Contents

Modeling and Simulation of Network Aspects for Distributed

Cyber-Physical Energy Systems . . . . 1

Ilge Akkaya, Yan Liu, Edward A. Lee

A Service-Oriented, Cyber-Physical Reference Model for Smart Grid. . . 25

Muhammad Umer Tariq, Santiago Grijalva, Marilyn Wolf

Real Time Modeling and Simulation of Cyber-Power System. . . . 43

Ceeman B. Vellaithurai, Saugata S. Biswas, Ren Liu, Anurag Srivastava

Cyber Physical Approach to HVDC Grid Control . . . . 75

Lars Nordström, Davood Babazadeh

Smart Buildings in the Smart Grid: Contract-Based Design of an

Integrated Energy Management System . . . . 103

Mehdi Maasoumy, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli

Decision-Support Tools for Renewables-Rich Power Systems:

A Stochastic Futures Approach. . . . 133

Jiayi Jiang, Sandip Roy, Juhua Liu, Vaibhav Donde

Cyber Security of Smart Grid Communications: Risk Analysis and

Experimental Testing . . . . 169

Giovanna Dondossola, Roberta Terruggia

Reliable and Scalable Communication for the Power Grid . . . . 195

Christopher Zimmer, Frank Mueller

Biologically Inspired Hierarchical Cyber-Physical Multi-agent

Distributed Control Framework for Sustainable Smart Grids . . . . 219

Jin Wei, Deepa Kundur

Cyber-Physical Security Testbed for Substations in a Power Grid . . . . 261

(12)

XIV Contents

Cyber-Attacks in the Automatic Generation Control. . . . 303

Maria Vrakopoulou, Peyman Mohajerin Esfahani, Kostas Margellos, John Lygeros, Göran Andersson

Intrusion Detection for CPS Real-Time Controllers. . . . 329

Christopher Zimmer, Balasubramany Bhat, Frank Mueller, Sibin Mohan

Against Data Attacks on Smart Grid Operations: Attack Mechanisms

and Security Measures. . . . 359

Jinsub Kim, Lang Tong

References

Related documents

This fact sheet was produced by In Control and Mencap as part of In Control and Me, a lottery funded

Correlations between these 32 habitat variables and moose presence were then tested with a stepwise binary logistic regression analysis to create predictive models (see Table 3)

For weblets that run on a remote host, the 5) DEM contacts the CES to spawn a weblet with the newly generated Sub- token. The Sub-token is included with this call to the CES, which

Most cluster ensemble algorithms only combine the base clustering results to generate a consensus clustering, which might not be a good use of data when features of the original

“We needed to increase our sales team’s face-to-face interaction with existing and potential customers,” explains Christopher Øtsby Andersen, Head of Customer Consulting at

Outline Fonts Glyphs Dimensions Newmath LM Math Conclusion. Math Symbol

The National Renewable Energy Laboratory (NREL) has created aeroelastic simulators for horizontal-axis wind turbines.. wind energy industry often uses these codes to analyze