A multi-agent architecture for plug and produce on an industrial assembly platform

YesModern manufacturing companies face increased pressures to adapt to shorter product life cycles and the need to reconfigure more frequently their production systems to offer new product variants. This paper proposes a new multi-agent architecture utilising “plug and produce” principles for configuration and reconfiguration of production systems with minimum human intervention. A new decision-making approach for system reconfiguration based on tasks re-allocation is presented using goal driven methods. The application of the proposed architecture is described with a number of architectural views and its deployment is illustrated using a validation scenario implemented on an industrial assembly platform. The proposed methodology provides an innovative application of a multi-agent control environment and architecture with the objective of significantly reducing the time for deployment and ramp-up of small footprint assembly systems.The reported research has been part of the EU FP7 research project “PRIME

Colored Petri Net Model of IEC Function Block and Its Application

Colloque avec actes et comité de lecture. internationale.International audienceA CPN based IEC FB model and its application are introduced in this paper. The model not only can analyze the internal procedure of IEC FB, especially the parameter's status propagation and the mode's switch, but also can be integrated into modeling IEC FB application. The latter is explained with a FB application, FB based boiler water level control system

Design of a Control System for a Reconfigurable Engine Assembly Line

Today’s automotive manufacturing environment is dynamic. It is characterized by short life cycles of products especially in powertrain, due in part to changing Government regulations for fuel economy. In the USA, the National Highway Traffic and Safety Administration (NHTSA), Corporate Average Fuel Economy (CAFE) mandates an average of 29 miles per gallon (mpg), gradually increasing to 35.5 mpg by 2016 and 54.5 mpg towards 2025. Life cycles of engines and transmissions have consequently shortened, driving automakers to develop and manufacture more efficient powertrains. Not long ago, plants produced engines for decades, with minor modifications warranting slight manufacturing line rework. Conversely, today’s changing trends require machines and complete engine line overhauls rendering initial setups obsolete. Automakers compete to satisfy government regulations for best mileage and also lower manufacturing cost, thus the adoption of Reconfigurable Manufacturing Systems (RMS). Production lines follow modularity in designs, for hardware and software, to adapt to new business conditions, economically and time-wise. Information Technology (IT) and Controls are growing closer with the line of demarcation disappearing in manufacturing. Controls are benefiting from opportunities in IT, hardware and software. The advent of agent-based technology which are autonomous, cooperative and extendible in different production activities, helped to develop controls for RMS in academia. Component-based software suitable for RMS modularity and plug-and-play hardware/software components has gained decades of popularity in the software industry. This thesis implements distributed controls imbedding component-based technology and IEC 61311-3 function block standard for automotive engine assembly, which will contribute to these developments. The control architecture provides reconfigurability which is lacking in current manufacturing systems. The research imbeds: 1- Reconfigurability - Fitting RMS-designed hardware towards new manufacturing, 2- Reusability - Building software library for reuse across assembly lines, and 3- Plug-and-Play - Embedding easy to assemble software components (function blocks)

An extended process automation system : an approach based on a multi-agent system

This thesis describes studies on application of multi-agent systems (acronym: MAS) to enhance process automation systems. A specification of an extended process automation system is presented. According to this specification, MAS can be used to extend the functionality of ordinary process automation systems at higher levels of control. Anticipated benefits of the specification include enhanced reconfigurability, responsiveness and flexibility properties of process automation. Previous research concerning applications of MAS in process automation has been more limited than in other fields of automation. There has been more research about this topic for example in the area of discrete manufacturing. As goal-oriented distributed systems with coordination capabilities MAS have been found applicable to a part of automation functions, e.g. modification of control logic in abnormal situations. However, when applying MAS to process automation the particular characteristics of this application domain need to be taken into account. The important role of continuous control in process automation needs to be considered. In this thesis, a specification of an agent platform for process automation is presented as a basis for applying MAS in this application domain. The specification extends a FIPA-compliant agent platform with process automation specific functionality. It utilises a hierarchical agent organisation, a BDI-agent model and qualitative reasoning. It also presents a model for programming MAS applications for process automation with techniques of distributed planning and search. Two applications are specified using the platform. One of these shows how the techniques of distributed planning can be applied in sequential control. The other provides a design model for supervisory continuous control applications using the techniques of distributed search. Experiments performed with a laboratory test environment using prototype implementations of the applications are presented. The experiments are able to demonstrate the feasibility of the approach in limited test scenarios. They also provide information about in which ways MAS techniques are able enhance the properties of process automation. As a result of the work presented in this thesis more knowledge has been gained about application of MAS in process automation. The specification of the agent platform for process automation and its applications provide a basis for further studies of this topic.reviewe

Coalition based approach for shop floor agility – a multiagent approach

Dissertation submitted for a PhD degree in Electrical Engineering, speciality of Robotics and Integrated Manufacturing from the Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaThis thesis addresses the problem of shop floor agility. In order to cope with the disturbances and uncertainties that characterise the current business scenarios faced by manufacturing companies, the capability of their shop floors needs to be improved quickly, such that these shop floors may be adapted, changed or become easily modifiable (shop floor reengineering). One of the critical elements in any shop floor reengineering process is the way the control/supervision architecture is changed or modified to accommodate for the new processes and equipment. This thesis, therefore, proposes an architecture to support the fast adaptation or changes in the control/supervision architecture. This architecture postulates that manufacturing systems are no more than compositions of modularised manufacturing components whose interactions when aggregated are governed by contractual mechanisms that favour configuration over reprogramming. A multiagent based reference architecture called Coalition Based Approach for Shop floor Agility – CoBASA, was created to support fast adaptation and changes of shop floor control architectures with minimal effort. The coalitions are composed of agentified manufacturing components (modules), whose relationships within the coalitions are governed by contracts that are configured whenever a coalition is established. Creating and changing a coalition do not involve programming effort because it only requires changes to the contract that regulates it

Applying agent technology to constructing flexible monitoring systems in process automation

The dissertation studies the application of agent technology to process automation monitoring and other domain specific functions. Motivation for the research work derives from the development of industrial production and process automation, and thereby the work load of operating personnel in charge of these large-scale processes has become more complex and difficult to handle. At the same time, the information technology infrastructure in process automation domain has developed ready to accept and utilise novel software engineering solutions. Agent technology is a new programming paradigm which has attractive properties like autonomy, flexibility and a possibility to distribute functions. In addition, agent technology offers a systematic methodology for designing goal based operations. This enables parts of the monitoring tasks to be delegated to the system. In this research, new agent system architecture is introduced. The architecture specifies a structure that enables the use of agents in the process monitoring domain. In addition, an introductory internal layered design of an agent aiming to combine Semantic Web and agent technologies is presented. The developed agent architecture is used in conjunction with the systematic agent design methodology to construct and implement four test cases. Each case has industrially motivated interest and illustrates various aspects of monitoring functionalities. These tests provide evidence that by utilising agent technology it is possible to develop new monitoring features for process operators, otherwise infeasible as such within current process automation systems. As a result of the research work, it can be stated that agent technology is a suited methodology to realise monitoring functionalities in process automation. It is also shown, that by applying solutions gained from the agent technology research, it is possible to define an architecture that enables to utilise the properties offered by agents in process automation environment. The proposed agent architecture supports features that are of generic interest in monitoring tasks. The developed architecture and research findings provide ground to import novel software engineering solutions to process automation monitoring

Contributions to the safe execution of dynamic component-based real-time systems

Traditionally, real-time systems have based their design and execution on barely dynamic models to ensure, since design time, the temporal guarantees in the execution of their functionality. Great effort is being applied nowadays to progressively develop more dynamic systems, with the target of changing during their execution and to adapt themselves to their environment. The capability to change and to reconfigure themselves represents remarkable advantages as the capability to fix errors and to add new functionality with on-line updates. This means to be able to be updated without needing to stop the service, that may imply monetary losses in many cases. Design and development techniques based on components have become popular due to the use of components, which allows simplifying the system design, code reusability and updates through the substitution of components. The target of this thesis work is to provide certain degree of dynamism to real-time systems allowing them to replace components, incorporating new functionality of fixing existing bugs. On that purpose, a component-based framework is proposed, as well as the corresponding task in charge of providing dynamism to the system. The main contribution is to provide a framework to allow safe component replacements. Safe meaning that incorrect executions of tasks are avoided even y multiple tasks are executing concurrently and making use of the same data. Also that temporal guarantees are provided for every task. This framework incorporates a generic component model with real-time threads, a components replacement model with execution times that are known and bounded, and different strategies to apply such component replacement model. Some mechanisms to maintain a seamless and safe execution, regarding concurrency, before, during, and after applying the processes in charge of replacing running components are also described. Seamless execution means that components themselves do not perform the replacements, and safe means that temporal guarantees are provided and components are not affected in their execution. Part of these mechanisms are the system schedulability analysis and the framework tasks as well as reserving the needed resources for such scheduling to be correct. ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------Los sistemas de tiempo real han basado tradicionalmente su desarrollo en modelos altamente predecibles ya que estos requieren garantías temporales en su ejecución. A lo largo de los años, la technología de tiempo real ha ido penetrando en diferentes campos de aplicación y ajustándose a paradigmas de desarrollo software más novedosos. Esto ha presentado y presenta en la actualidad un tremendo reto ya que estas aplicaciones suelen tener un alto grado de dinamismo, lo que entra en conflicto con la predictibilidad temporal y, en general la ejecución segura de los mismos. Hoy en dia se esta realizando un gran esfuerzo en el desarrollo de sistemas cada vez más dinamicos que permitan adaptar su estructura en tiempo de ejecución para adaptarse a entornos que presentan condiciones cambiantes. La capacidad de soportar este tipo de dinamismo presenta ventajas descatables como permitir corregir fallos y anadir funcionalidad mediante actualizaciones en caliente, es decir, poder actualizarse sin necesidad de realizar paradas en su servicio, lo que podria implicar costes monetarios en muchos casos o perdidas temporales de servicio. Por otro lado, las técnicas de diseño y desarrollo basadas en componentes se han hecho muy populares y su aplicación a los sistemas de tiempo real gana terreno día a día. Uno de los principales motivos de ellos es que el uso de componentes permite simplificar el diseño del sistema, la reutilizacion de codigo e incluso la actualizacion del mismo mediante la substitucion de componentes. En esta tesis se aborda el objetivo de proveer a los sistemas de tiempo real de cierto grado de dinamismo para poder reemplazar componentes de forma segura, que permita incorporar nuevas funcionalidades o corregir errores existentes. Para ello, en esta tesis se ha elaborado de un marco de trabajo para dar soporte a reemplazos de componentes de forma segura, entendiendo como tal que el hecho de que no se produzcan ejecuciones incorrectas debido a la ejecución concurrente de multiples tareas, asi como el garantizar los tiempos de ejecucion de cada tarea y acotar la duración temporal de los reemplazos. El marco de trabajo propuesto está basado, pues, en componentes de tiempo real, que tiene en cuenta los requisitos temporales en la ejecución de los componentes del sistema y de las tareas propias del marco que dan soporte a estos mecanismos de reemplazo. Este marco de trabajo incorpora un modelo generico de componente con tareas de tiempo real, un modelo de reemplazo de componentes cuyos tiempos de ejecucion son conocidos y limitados en tiempo y diferentes estrategias de aplicacion de dicho modelo de reemplazo de componente. Las contribuciones propuestas integran el analisis de la planificabilidad de los componentes del sistema y de las tareas del marco de componentes para permitir establecer los parámetros de reserva de los recursos necesarios para las tareas del marco. Por último, se realiza una validación empírica en la que se comprueba experimentalmente la validez del modelo tanto de forma genérica como en un escenario específico y determinando también los recursos necesarios para su implementación

Multi-Agent Modelling of Industrial Cyber-Physical Systems for IEC 61499 Based Distributed Intelligent Automation

Traditional industrial automation systems developed under IEC 61131-3 in centralized architectures are statically programmed with determined procedures to perform predefined tasks in structured environments. Major challenges are that these systems designed under traditional engineering techniques and running on legacy automation platforms are unable to automatically discover alternative solutions, flexibly coordinate reconfigurable modules, and actively deploy corresponding functions, to quickly respond to frequent changes and intelligently adapt to evolving requirements in dynamic environments. The core objective of this research is to explore the design of multi-layer automation architectures to enable real-time adaptation at the device level and run-time intelligence throughout the whole system under a well-integrated modelling framework. Central to this goal is the research on the integration of multi-agent modelling and IEC 61499 function block modelling to form a new automation infrastructure for industrial cyber-physical systems. Multi-agent modelling uses autonomous and cooperative agents to achieve run-time intelligence in system design and module reconfiguration. IEC 61499 function block modelling applies object-oriented and event-driven function blocks to realize real-time adaption of automation logic and control algorithms. In this thesis, the design focuses on a two-layer self-manageable architecture modelling: a) the high-level cyber module designed as multi-agent computing model consisting of Monitoring Agent, Analysis Agent, Self-Learning Agent, Planning Agent, Execution Agent, and Knowledge Agent; and b) the low-level physical module designed as agent-embedded IEC 61499 function block model with Self-Manageable Service Execution Agent, Self-Configuration Agent, Self-Healing Agent, Self-Optimization Agent, and Self-Protection Agent. The design results in a new computing module for high-level multi-agent based automation architectures and a new design pattern for low-level function block modelled control solutions. The architecture modelling framework is demonstrated through various tests on the multi-agent simulation model developed in the agent modelling environment NetLogo and the experimental testbed designed on the Jetson Nano and Raspberry Pi platforms. The performance evaluation of regular execution time and adaptation time in two typical conditions for systems designed under three different architectures are also analyzed. The results demonstrate the ability of the proposed architecture to respond to major challenges in Industry 4.0

Análisis de la Relajación Lagrangiana como método de programación de talleres flexibles en un entorno multiagente

Esta tesis está relacionada con la programación de operaciones de tipo distribuido y analiza el método de Relajación Lagrangiana para su aplicación como mecanismo de generación de precios en el contexto de las subastas combinatorias iterativas. El desarrollo de los sistemas multiagente ha permitido la implementación de sistemas distribuidos de programación y control de la producción. En ellos, los mecanismos de coordinación utilizados son un importante campo de investigación. En este trabajo se estudia la resolución del problema de programación de talleres flexibles mediante el método de Relajación Lagrangiana, que permite descomponerlo para ser implementado en un sistema multiagente. El sistema resultante puede ser entendido como una subasta combinatoria utilizada como mecanismo de negociación. Se han analizado las características y limitaciones de las distintas alternativas para ser implementadas de forma asíncrona y descentralizada, en base a la calidad de la solución propuesta y velocidad de convergencia. ______________________________ This thesis is related to operations scheduling in distributed systems and analyzes the application of the Lagrangian Relaxation method as price mechanism in the context of iterative combinatorial auctions. The development of multiagent systems has enabled the implementation of distributed production scheduling systems. The coordination mechanism is crucial in these systems and its design is an important field of research. In this work we study the resolution of the flexible job shop scheduling problem by the Lagrangian relaxation method. It decomposes the problem to be implemented in a multiagent system. The resulting system can be understood as a combinatorial auction that is used as a negotiation mechanism among the agents. The aim of this work is to study the characteristics and limitations of the different alternatives to be implemented asynchronously and in a decentralized structure, based on the quality and convergence of the solution