Modelling and validating the multi-agent system behaviour for a washing machine production line

This paper describes the formal modelling and validation of the behaviour of a multi-agent system that integrates the production and quality control processes in a washing machine production line. The modelling, analysis and validation process uses the Petri nets formalism that provides a rigorous and formal language based on its powerful mathematical foundation, supporting the complete verification of the system correctness during the design phase and before to proceed to the deployment phase. The behaviour models of each agent belonging to the system architecture are edited, analysed and simulated in the PnDK framework

Multi-agent system for integrating quality and process control in a home appliance production line

A current trend in manufacturing is the deployment of modular, distributed and intelligent control systems that introduce adaptation facing unexpected deviations and failures, namely in terms of production conditions and product demand fluctuation. The integration of quality and process control allows the implementation of dynamic self-adaptation procedures and feedback control loops to address a large variety of disturbances and changes in process parameters and variables, aiming to improve the production efficiency and the product quality. Multi-agent systems (MAS) technology (Wooldridge 2002)(Leitão et al. 2013) is suitable to face this challenge, offering an alternative way to design these adaptive systems, based on the decentralization of functions over distributed autonomous and cooperative agents, providing modularity, flexibility, adaptation and robustness. In spite of the potential benefits of the MAS technology, the number of deployed agent-based solutions in industrial environments, reported in the literature, are few, as illustrated in (Leitão et al. 2013) [colocar aqui referencia ao Pechoucek & Marik]. This chapter describes the development, installation and operation of a multi-agent system, designated as GRACE, integrating quality and process control to operate in a real home appliance production line, producing laundry washing machines, owned by Whirlpool and located in Naples, Italy. The use of the MAS technology acts as the intelligent and distributed infra-structure to support the implementation of real-time monitoring and feedback control loops that apply dynamic self-adaptation and optimization mechanisms to adjust the process and product variables. The agent-based solution was developed using the JADE (Java Agent DEvelopment Framework) framework and successfully installed in the industrial factory plant, contributing for demonstrating the effective applicability and benefits of the MAS technology, namely in terms of production efficiency and product quality.This work has been partly financed by the EU Commission, within the research contract GRACE coordinated by Univ. Politecnica delle Marche and having partners SINTEF, AEA srl, Instituto Politécnico de Bragança, Whirlpool Europe srl, Siemens AG.info:eu-repo/semantics/publishedVersio

Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, August 27-28, 2001

This booklet contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'01), August 27-28, 2001. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" Group at the University of Hamburg, Germany. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop01

Scheduling Algorithms: Challenges Towards Smart Manufacturing

Collecting, processing, analyzing, and driving knowledge from large-scale real-time data is now realized with the emergence of Artificial Intelligence (AI) and Deep Learning (DL). The breakthrough of Industry 4.0 lays a foundation for intelligent manufacturing. However, implementation challenges of scheduling algorithms in the context of smart manufacturing are not yet comprehensively studied. The purpose of this study is to show the scheduling No.s that need to be considered in the smart manufacturing paradigm. To attain this objective, the literature review is conducted in five stages using publish or perish tools from different sources such as Scopus, Pubmed, Crossref, and Google Scholar. As a result, the first contribution of this study is a critical analysis of existing production scheduling algorithms\u27 characteristics and limitations from the viewpoint of smart manufacturing. The other contribution is to suggest the best strategies for selecting scheduling algorithms in a real-world scenario

Augmented Business Process Management Systems: A Research Manifesto

Augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems that draws upon trustworthy AI technology. An ABPMS enhances the execution of business processes with the aim of making these processes more adaptable, proactive, explainable, and context-sensitive. This manifesto presents a vision for ABPMSs and discusses research challenges that need to be surmounted to realize this vision. To this end, we define the concept of ABPMS, we outline the lifecycle of processes within an ABPMS, we discuss core characteristics of an ABPMS, and we derive a set of challenges to realize systems with these characteristics.Comment: 19 pages, 1 figur

Environments to support collaborative software engineering

With increasing globalisation of software production, widespread use of software components, and the need to maintain software systems over long periods of time, there has been a recognition that better support for collaborative working is needed by software engineers. In this paper, two approaches to developing improved system support for collaborative software engineering are described: GENESIS and OPHELIA. As both projects are moving towards industrial trials and eventual publicreleases of their systems, this exercise of comparing and contrasting our approaches has provided the basis for future collaboration between our projects particularly in carrying out comparative studies of our approaches in practical use

AI-augmented business process management systems: a research manifesto

AI-augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems, empowered by trustworthy AI technology. An ABPMS enhances the execution of business processes with the aim of making these processes more adaptable, proactive, explainable, and context-sensitive. This manifesto presents a vision for ABPMSs and discusses research challenges that need to be surmounted to realize this vision. To this end, we define the concept of ABPMS, we outline the lifecycle of processes within an ABPMS, we discuss core characteristics of an ABPMS, and we derive a set of challenges to realize systems with these characteristics

An agile and adaptive holonic architecture for manufacturing control

Tese de doutoramento. Engenharia Electrotécnica e de Computadores. 2004. Faculdade de Engenharia. Universidade do Port