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.

Meeting Name

IEEE 37th Annual Computer Software and Applications Conference (2013: Jul. 22-26, Kyoto, Japan)


Electrical and Computer Engineering

Second Department

Computer Science


National Science Foundation (U.S.)


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.

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)


Document Type

Article - Conference proceedings

Document Version


File Type





© 2013 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.

Publication Date

01 Jul 2013