Events Algebra of Triggers
Cheng Zhou, Zhonghai Yin, Youqian Feng · The Computer Journal · 2017
Cyber-Physical System (CPS) is a system that combines the physical world with cyber components, where event can be represented as the units for computation, communication and control. The events in CPS have two patterns: rendezvous and triggers. Rendezvous means that all events involved in an interaction are obtained. While triggers means that one of the events involved in an interaction is the event of trigger. The events algebra of triggers is provided for the complex processing of events with triggers. Meanwhile, a graphical representation is presented to symbolically represent the composition processing for AT(ESys). Several examples are utilized to illustrate applications of algebra, including a formal description on feasible interactions and a snap judgment for feasible interactions.