Dipartimento di Ingegneria informatica, automatica e gestionale

In recent years, there has been a growing interest in employing intelligent techniques for managing manufacturing processes in smart manufacturing. These processes often involve tens of resources distributed across several different companies that make up the supply chain. The status of these various resources evolves over time in terms of cost, quality, and the likelihood of failure, necessitating an adaptive process that is resilient to disruptions. The tutorial explores the modeling of Industry 4.0 systems as services and their composition. We discuss how these systems are designed, integrated, and orchestrated to create an interconnected manufacturing environment. The potential and limitations of automated reasoning techniques in enabling decision-making and process optimization in the modeled systems are then analyzed. Finally, a case study and a demonstration (Adaptive Industrial APIs - AIDA) will be presented to illustrate the practical application of intelligent techniques in a real manufacturing environment.