Invariants As a Unified Knowledge Model for Cyber-Physical Systems
Cyber-Physical Systems (CPS) consist of distributed computation interconnected by computer networks that monitor and control switched physical entities interconnected by physical infrastructures. Finding a common semantic among these diverse components that facilitates system synthesis, verification, and monitoring is a significant challenge of a CPS research program. In the emerging smart grid, for example, system state provides input into distributed computer algorithms that manage power and energy via local computation with messaging passing over a computer network collectively resulting in control signals to advanced power electronics. Computational correctness, network timing, and frequency response are all system aspects that conspire to impede design, verification, and monitoring. This paper seeks to unify the knowledge present in these diverse aspects through developing common semantics that span each aspect of a CPS. Specifically, a "smart grid" type system is considered. Power commands to various loads and alternative energy sources are stepped in response to cyber controllers that are networked. This paper shows the development of a physical invariant, based on the theory of Lyapunov-like functions, and a cyber invariant, the governs the correctness of a power dispatch algorithm, and couples the two to develop an overall system stability invariant. The invariant approach is tested with two scenarios. In the first case, the system is subjected to two commanded pulses beyond the stable limit, with the second perturbing pulse being of a magnitude greater than the first, which makes the system unstable. In the second case, the system is subjected to two commanded pulses beyond its stable limit but with a comparatively smaller magnitude of the perturbing second pulse, which allowed the system to remain stable. The measure of stability is an energy function which, under certain conditions, serves as a Lyapunov-like invariant that is used to prove stability.
T. Paul et al., "Invariants As a Unified Knowledge Model for Cyber-Physical Systems," Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (2011, Irvine, CA), Institute of Electrical and Electronics Engineers (IEEE), Dec 2011.
The definitive version is available at https://doi.org/10.1109/SOCA.2011.6166223
IEEE International Conference on Service-Oriented Computing and Applications (2011: Dec. 12-14, Irvine, CA)
Electrical and Computer Engineering
Keywords and Phrases
Alternative Energy Source; Cyber Physical Systems (CPSs); Distributed Computations; Energy Functions; In-Control; Knowledge Model; Local Computation; Lyapunov-Like Functions; Messaging Passing; Monitor And Control; Power Dispatch; Research Programs; Smart Grid; Stable Limits; System Aspects; System State; System Synthesis; Type Systems; Algorithms; Embedded Systems; Frequency Response; Power Electronics; Semantics; Smart Power Grids; System Stability; Distributed Computer Systems
International Standard Book Number (ISBN)
International Standard Serial Number (ISSN)
Article - Conference proceedings
© 2011 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
01 Dec 2011