Semigroup models of cyber-physical systems

Abstract

A new mathematical model for cyber-physical systems based on algebraic theory of interaction and the technology of insertion modeling is considered. It is based on the notion of a semigroup transition system and is abstract enough to describe a wide class of timed transition systems. Multi agent cyber-physical systems are formalized on a base of the theory of interaction of agents and environments. Using this new model allows efficient algorithms to analyze, synthesize, and verify models of cyber-physical systems.