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 temporal-spatial 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.