Stability of a Cyber-Physical Smart Grid System using Cooperating Invariants
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.
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
IEEE 37th Annual Computer Software and Applications Conference (2013: Jul. 22-26, Kyoto, Japan)
Electrical and Computer Engineering
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)
International Standard Serial Number (ISSN)
Article - Conference proceedings
© 2013 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
01 Jul 2013