ALGEBRAIC MEANS OF HETEROGENEOUS CYBER-PHYSICAL SYSTEMS DESIGN
Mathematical methods are proposed to rigorously describe and explore the heterogeneous cyber physical systems design procedures on the basis of digital twins, as Industry 4.0 demands. Following recent trends, the methods employ category theory as a mathematical framework. A novel construction of multicomma category is introduced, the objects of which describe possible architectures of heterogeneous cyber physical systems with a fixed structural hierarchy scheme represented from a certain fixed point of view, and morphisms denote actions associated with selection of units to assemble systems.