Event Logic-based Component Coordination Model of CPS
YIN Zhonghai
CHU Yanan
Abstract：According to the characteristics of heterogeneity,instantaneity,and high integration of physics and cyber in CPS,an event logic-based component coordination algebra model is built .Firstly,a temporalspatial event interface based on component formal expression is defined .And an Event-Driven based component coordination behavior model is proposed .Then,according to the coordination modes between components，logical relationships between events are analyzed . Finally, taking the illegal invasion into smart home as an example,the paper uses the coordination algebra model to describe the process of event-driven component condult .The analysis show that event logic-based component coordination model can realize interaction between components and integration between physical process and computational process,shield the heterogeneity between components,and provides a novel method for formal modeling of CPS.
Keywords：cyber-physical systemevent interfacelogic relations between eventscomponent coordination algebra system
Publication Date：2017-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：6( 67-72 )