Compositional Scheduling in Industry 4.0 Cyber-Physical Systems

Cyber-physical systems (CPSs) are fundamental components of Industry 4.0 production environments. Their interconnection is crucial for the successful implementation of distributed and autonomous production plans. A particularly relevant challenge is the optimal scheduling of tasks that require the collaboration of multiple CPSs. To ensure the feasibility of optimal schedules, two primary issues must be addressed: (1) The design of global systems emerging from the interconnection of CPSs; (2) The development of a scheduling formalism tailored to interconnected Industry 4.0 settings. Our approach is based on a Category Theory formalization of interconnections as compositions. This framework aims to guarantee that the emergent behaviors align with the intended outcomes. Building upon this foundation, we introduce a formalism that captures the assignment of operations to cyber-physical systems.