Stability of a Cyber-Physical Smart Grid System using Cooperating Invariants
Abstract
Cyber-Physical Systems (CPS) consist of computational components interconnected by computer networks that monitor and control switched physical entities interconnected by physical infrastructures. A fundamental challenge in the design and analysis of CPS is the lack of common semantics across the components. We address this challenge by employing a novel approach that composes the correctness of various components instead of their functionality using a conjunction of non-interfering logical invariants. We present a distributed algorithm that uses this approach to adaptively schedule power transfers between nodes in a smart power grid in such a way that the stability of both the computer network and the physical system are maintained. Simulation results demonstrate the necessity and usefulness of our approach in maintaining overall system stability in the presence of uncertainties in the computer network and with limited information about the global state of the system.
Recommended Citation
A. Choudhari et al., "Stability of a Cyber-Physical Smart Grid System using Cooperating Invariants," Proceedings of the IEEE 37th Annual Computer Software and Applications Conference (2013, Kyoto, Japan), pp. 760 - 769, Institute of Electrical and Electronics Engineers (IEEE), Jul 2013.
The definitive version is available at https://doi.org/10.1109/COMPSAC.2013.126
Meeting Name
IEEE 37th Annual Computer Software and Applications Conference (2013: Jul. 22-26, Kyoto, Japan)
Department(s)
Electrical and Computer Engineering
Second Department
Computer Science
Sponsor(s)
National Science Foundation (U.S.)
Keywords and Phrases
Computational Components; Cyber Physical Systems (CPSs); CPS; Design And Analysis; Invariants; Limited Information; Monitor And Control; Smart Grid; Embedded Systems; Semantics; System Stability; Smart Power Grids; Power System Stability; Stability Analysis; Scheduling; Smart Grids; Time Factors; Switches; Analytical Models; Smart Power Grids; Distributed Algorithms; Power Engineering Computing
International Standard Book Number (ISBN)
978-0769549866
International Standard Serial Number (ISSN)
0730-3157
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2013 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
01 Jul 2013
Comments
This work has been supported, in part, the Future Renewable Electric Energy Delivery and Management Center (FREEDM); a National Science Foundation (NSF) supported Engineering Research Center, under grant NSF EEC-081212.