Industry 4.0 solutions are composed of autonomous engineered systems where heterogeneous agents act in a choreographed manner to create complex workflows. Agents work at low-level in a flexible and independent manner, and their actions and behaviour may be sparsely manipulated. Besides, agents such as humans tend to show a very dynamic behaviour and processes may be executed in a very anarchic, but correct way. Thus, innovative, and more flexible control techniques are required. In this work, supervisory control techniques are employed to guarantee a correct execution of distributed and choreographed processes in Industry 4.0 scenarios. At prosumer level, processes are represented using soft models where logic rules and deformation indicators are used to analyse the correctness of executions. These logic rules are verified using specific engines at business level. These engines are fed with deformation metrics obtained through tensor deformation functions at production level. To apply deformation functions, processes are represented as discrete flexible solids in a phase space, under external forces representing the variations in every task’s inputs. The proposed solution presents two main novelties and original contributions. On the one hand, the innovative use of soft models and deformation indicators allows the implementation of this control solution not only in traditional industrial scenarios where rigid procedures are followed, but also in other future engineered applications. On the other hand, the original integration of logic rules and events makes possible to control any kind of device, including those which do not have an explicit control plane or interface. Finally, to evaluate the performance of the proposed solution, an experimental validation using a real pervasive computing infrastructure is carried out. PDF  XML

中文翻译：

---

通过逻辑规则和张量变形功能控制受监管的工业4.0过程

工业4.0解决方案由自主设计的系统组成，其中异类代理以编排的方式起作用以创建复杂的工作流程。代理以灵活和独立的方式在低层工作，并且他们的行为和行为可能会被稀疏地操纵。此外，诸如人类的代理倾向于表现出非常动态的行为，并且可以以非常无政府的但正确的方式来执行过程。因此，需要创新且更灵活的控制技术。在这项工作中，采用了监督控制技术来确保在工业4.0场景中正确执行分布式和编排的过程。在生产者级别，使用软模型表示流程，其中使用逻辑规则和变形指示器来分析执行的正确性。这些逻辑规则在业务级别使用特定引擎进行了验证。这些引擎通过在生产级别上通过张量变形函数获得的变形度量进行馈送。为了应用变形函数，在表示每个任务输入变化的外力作用下，将过程表示为相空间中的离散柔性实体。提出的解决方案具有两个主要的新颖性和原创性。一方面，软模型和变形指示器的创新使用不仅可以在遵循严格程序的传统工业场景中实现此控制解决方案，而且还可以在其他未来的工程应用中实现此控制解决方案。另一方面，逻辑规则和事件的原始集成使控制任何类型的设备成为可能，包括那些没有显式控制平面或接口的控件。最后，为了评估所提出的解决方案的性能，使用了一种真正的普适计算基础设施进行了实验验证。PDF XML