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.
A. Choudhari et al., "Adaptive Scheduling with Explicit Congestion Notification in a Cyber-Physical Smart Grid System," Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications (2014, Verona, Italy), pp. 309-317, Institute of Electrical and Electronics Engineers (IEEE), Aug 2014.
The definitive version is available at https://doi.org/10.1109/SEAA.2014.39
40th EUROMICRO Conference on Software Engineering and Advanced Applications (2014: Aug. 27-29, Verona, Italy)
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)
Article - Conference proceedings
© 2014 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.