Adaptive Scheduling with Explicit Congestion Notification in a Cyber-Physical Smart Grid System


A Cyber-Physical System (CPS) is composed of distributed computational elements connected via a computer network that monitor and control switched physical systems interconnected by physical infrastructures. A fundamental challenge in the design and analysis of a CPS is the lack of common semantics across the components. This challenge is addressed by employing a novel approach that composes the correctness of the components instead of their functionality using a conjunction of noninterfering logical invariants. In recent work, we applied this technique to adaptively schedule power transfers between nodes in a smart power grid while maintaining the stability of the computer network and the physical system in the presence of uncertainties. In the current paper, we enhance the adaptive scheduling technique to exploit a mechanism called Explicit Congestion Notification (ECN) that is available in modern routers. Simulation results demonstrate the efficiency of this approach in maintaining power transfer performance and system stability while proactively reducing network congestion.

Meeting Name

40th EUROMICRO Conference on Software Engineering and Advanced Applications (2014: Aug. 27-29, Verona, Italy)


Computer Science

Second Department

Electrical and Computer Engineering

Keywords and Phrases

Application Programs; Computer Control Systems; Computer Networks; Computer Simulation; Embedded Systems; Scheduling; Semantics; Smart Power Grids; Software Engineering; Switching Circuits; System Stability; Transmission Control Protocol; Adaptive Scheduling; Computational Elements; Cyber-Physical Systems (CPS); Design And Analysis; Explicit Congestion Notification; Monitor And Control; Network Congestions; Smart Grid Systems; Distributed Computer Systems

International Standard Book Number (ISBN)


International Standard Serial Number (ISSN)

1089-6503; 2376-9505

Document Type

Article - Conference proceedings

Document Version


File Type





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

Publication Date

01 Aug 2014