Novel methodology for optimising the design, operation and maintenance of a multi-AGV system

Automated guided vehicles (AGVs) have long been identified as a potential driver to improve system efficiency and lower labour costs in material handling systems. Accordingly, the reliability and availability of AGV systems is crucial to assure the stability and efficiency of these systems. However, the reliability issues and maintenance strategies of AGVs have not previously been studied sufficiently. This is even more marked in the case of multi-AGV systems that consist of fleets of AGVs. To fill this knowledge gap, research is conducted considering a multi-AGV system, consisting of three AGVs, in order to develop a scientific methodology for optimising the layout design, operation and maintenance of a multi-AGV system. Once an AGV is failed, it will be towed to the maintenance site for repair by a recycle vehicle to prevent deadlock and conflict. The efficiency of the recycling process of failed AGVs in a multi-AGV system, with respect to the change of location of the maintenance site, is analysed by the approach of coloured Petri nets (CPNs). A CPN model simulating the corrective and periodic preventive maintenance processes of failed AGVs is also developed in order to investigate the impact of different AGV maintenance strategies on the operation efficiency of the multi-AGV system. The simulation results obtained clearly show that the location of maintenance sites and maintenance strategies do have significant influence on the performance of a multi-AGV system, where corrective maintenance is an effective measure to maintain the long-term reliability and stability of the system

Enhancing the performance of automated guided vehicles through reliability, operation and maintenance assessment

Automated guided vehicles (AGVs), a type of unmanned moving robots that move along fixed routes or are directed by laser navigation systems, are increasingly used in modern society to improve efficiency and lower the cost of production. A fleet of AGVs operate together to form a fully automatic transport system, which is known as an AGV system. To date, their added value in efficiency improvement and cost reduction has been sufficiently explored via conducting in-depth research on route optimisation, system layout configuration, and traffic control. However, their safe application has not received sufficient attention although the failure of AGVs may significantly impact the operation and efficiency of the entire system. This issue becomes more markable today particularly in the light of the fact that the size of AGV systems is becoming much larger and their operating environment is becoming more complex than ever before. This motivates the research into AGV reliability, availability and maintenance issues in this thesis, which aims to answer the following four fundamental questions: (1) How could AGVs fail? (2) How is the reliability of individual AGVs in the system assessed? (3) How does a failed AGV affect the operation of the other AGVs and the performance of the whole system? (4) How can an optimal maintenance strategy for AGV systems be achieved? In order to answer these questions, the method for identifying the critical subsystems and actions of AGVs is studied first in this thesis. Then based on the research results, mathematical models are developed in Python to simulate AGV systems and assess their performance in different scenarios. In the research of this thesis, Failure Mode, Effects and Criticality Analysis (FMECA) was adopted first to analyse the failure modes and effects of individual AGV subsystems. The interactions of these subsystems were studied via performing Fault Tree Analysis (FTA). Then, a mathematical model was developed to simulate the operation of a single AGV with the aid of Petri Nets (PNs). Since most existing AGV systems in modern industries and warehouses consist of multiple AGVs that operate synchronously to perform specific tasks, it is necessary to investigate the interactions between different AGVs in the same system. To facilitate the research of multi-AGV systems, the model of a three-AGV system with unidirectional paths was considered. In the model, an advanced concept PN, namely Coloured Petri Net (CPN), was creatively used to describe the movements of the AGVs. Attributing to the application of CPN, not only the movements of the AGVs but also the various operation and maintenance activities of the AGV systems (for example, item delivery, corrective maintenance, periodic maintenance, etc.) can be readily simulated. Such a unique technique provides us with an effective tool to investigate larger-scale AGV systems. To investigate the reliability, efficiency and maintenance of dynamic AGV systems which consist of multiple single-load and multi-load AGVs traveling along different bidirectional routes in different missions, an AGV system consisting of 9 stations was simulated using the CPN methods. Moreover, the automatic recycling of failed AGVs is studied as well in order to further reduce human participation in the operation of AGV systems. Finally, the simulation results were used to optimise the design, operation and maintenance of multi-AGV systems with the consideration of the throughputs and corresponding costs of them.The research reported in this thesis contributes to the design, reliability, operation, and maintenance of large-scale AGV systems in the modern and rapidly changing world.</div

Contributions to the deadlock problem in multithreaded software applications observed as Resource Allocation Systems

Desde el punto de vista de la competencia por recursos compartidos sucesivamente reutilizables, se dice que un sistema concurrente compuesto por procesos secuenciales está en situación de bloqueo si existe en él un conjunto de procesos que están indefinidamente esperando la liberación de ciertos recursos retenidos por miembros del mismo conjunto de procesos. En sistemas razonablemente complejos o distribuidos, establecer una política de asignación de recursos que sea libre de bloqueos puede ser un problema muy difícil de resolver de forma eficiente. En este sentido, los modelos formales, y particularmente las redes de Petri, se han ido afianzando como herramientas fructíferas que permiten abstraer el problema de asignación de recursos en este tipo de sistemas, con el fin de abordarlo analíticamente y proveer métodos eficientes para la correcta construcción o corrección de estos sistemas. En particular, la teoría estructural de redes de Petri se postula como un potente aliado para lidiar con el problema de la explosión de estados inherente a aquéllos. En este fértil contexto han florecido una serie de trabajos que defienden una propuesta metodológica de diseño orientada al estudio estructural y la correspondiente corrección física del problema de asignación de recursos en familias de sistemas muy significativas en determinados contextos de aplicación, como el de los Sistemas de Fabricación Flexible. Las clases de modelos de redes de Petri resultantes asumen ciertas restricciones, con significado físico en el contexto de aplicación para el que están destinadas, que alivian en buena medida la complejidad del problema. En la presente tesis, se intenta acercar ese tipo de aproximación metodológica al diseño de aplicaciones software multihilo libres de bloqueos. A tal efecto, se pone de manifiesto cómo aquellas restricciones procedentes del mundo de los Sistemas de Fabricación Flexible se muestran demasiado severas para aprehender la versatilidad inherente a los sistemas software en lo que respecta a la interacción de los procesos con los recursos compartidos. En particular, se han de resaltar dos necesidades de modelado fundamentales que obstaculizan la mera adopción de antiguas aproximaciones surgidas bajo el prisma de otros dominios: (1) la necesidad de soportar el anidamiento de bucles no desplegables en el interior de los procesos, y (2) la posible compartición de recursos no disponibles en el arranque del sistema pero que son creados o declarados por un proceso en ejecución. A resultas, se identifica una serie de requerimientos básicos para la definición de un tipo de modelos orientado al estudio de sistemas software multihilo y se presenta una clase de redes de Petri, llamada PC2R, que cumple dicha lista de requerimientos, manteniéndose a su vez respetuosa con la filosofía de diseño de anteriores subclases enfocadas a otros contextos de aplicación. Junto con la revisión e integración de anteriores resultados en el nuevo marco conceptual, se aborda el estudio de propiedades inherentes a los sistemas resultantes y su relación profunda con otros tipos de modelos, la confección de resultados y algoritmos eficientes para el análisis estructural de vivacidad en la nueva clase, así como la revisión y propuesta de métodos de resolución de los problemas de bloqueo adaptadas a las particularidades físicas del dominio de aplicación. Asimismo, se estudia la complejidad computacional de ciertas vertientes relacionadas con el problema de asignación de recursos en el nuevo contexto, así como la traslación de los resultados anteriormente mencionados sobre el dominio de la ingeniería de software multihilo, donde la nueva clase de redes permite afrontar problemas inabordables considerando el marco teórico y las herramientas suministradas para subclases anteriormente explotadas

Recent advances in petri nets and concurrency

CEUR Workshop Proceeding

A petri-net based methodology for modeling, simulation, and control of flexible manufacturing systems

Global competition has made it necessary for manufacturers to introduce such advanced technologies as flexible and agile manufacturing, intelligent automation, and computer-integrated manufacturing. However, the application extent of these technologies varies from industry to industry and has met various degrees of success. One critical barrier leading to successful implementation of advanced manufacturing systems is the ever-increasing complexity in their modeling, analysis, simulation, and control. The purpose of this work is to introduce a set of Petri net-based tools and methods to address a variety of problems associated with the design and implementation of flexible manufacturing systems (FMSs). More specifically, this work proposes Petri nets as an integrated tool for modeling, simulation, and control of flexible manufacturing systems (FMSs). The contributions of this work are multifold. First, it demonstrates a new application of PNs for simulation by evaluating the performance of pull and push diagrams in manufacturing systems. Second, it introduces a class of PNs, Augmented-timed Petri nets (ATPNs) in order to increase the power of PNs to simulate and control flexible systems with breakdowns. Third, it proposes a new class of PNs called Realtime Petri nets (RTPNs) for discrete event control of FMS s. The detailed comparison between RTPNs and traditional discrete event methods such as ladder logic diagrams is presented to answer the basic question \u27Why is a PN better tool than ladder logic diagram?\u27 and to justify the PN method. Also, a conversion procedure that automatically generates PN models from a given class of logic control specifications is presented. Finally, a methodology that uses PNs for the development of object-oriented control software is proposed. The present work extends the PN state-of-the-art in two ways. First, it offers a wide scope for engineers and managers who are responsible for the design and the implementation of modem manufacturing systems to evaluate Petri nets for applications in their work. Second, it further develops Petri net-based methods for discrete event control of manufacturing systems

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

Intelligent Control of Vehicle-Based Internal Transport Systems

“Intelligent control of vehicle-based internal transport (VBIT) systems” copes with real-time dispatching and scheduling of internal-transport vehicles, such as forklifts and guided vehicles. VBIT systems can be found in warehouses, distribution centers, manufacturing plants, airport and transshipment terminals. Using simulation of two realworld environments, dispatching rules described in literature and several newly introduced rules are compared on performance. The performance evaluation suggests that in environments where queue space is not a restriction, distance-based dispatching rules such as shortest-travel-distance-first outperform time-based dispatching rules such as modified-first-come-first-served and using load prearrival information has a significant positive impact on reducing the average load waiting time. Experimental results also reveal that multi-attribute dispatching rules combining distance and time aspects of vehicles and loads are robust to variations in working conditions. In addition, multi-attribute rules which take vehicle empty travel distance and vehicle requirement at a station into account perform very well in heavy-traffic VBIT systems such as baggage handling systems. Besides dispatching rules, the potential contribution of dynamic vehicle scheduling for VBIT systems is investigated. Experiments using simulation in combination with optimization show that when sufficient pre-arrival information is available a dynamic scheduling approach outperforms the dispatching approach. This thesis also evaluates the impact of guide-path layout, load arrival rate and variance, and the amount of load pre-arrival information on different vehicle control approaches (scheduling and dispatching). Based on experimental results, recommendations for selecting appropriate vehicle control approaches for specific situations are presented

An agile and adaptive holonic architecture for manufacturing control

In the last decades significant changes in the manufacturing environment have been noticed: moving from a local economy towards a global economy, with markets asking for products with high quality at lower costs, highly customised and with short life cycle. In this environment, the manufacturing enterprises, to avoid the risk to lose competitiveness, search to answer more closely to the customer demands, by improving their flexibility and agility, while maintaining their productivity and quality. Actually, the dynamic response to emergence is becoming a key issue, due to the weak response of the traditional manufacturing control systems to unexpected disturbances, mainly because of the rigidity of their control architectures. In these circumstances, the challenge is to develop manufacturing control systems with autonomy and intelligence capabilities, fast adaptation to the environment changes, more robustness against the occurrence of disturbances, and easier integration of manufacturing resources and legacy systems. Several architectures using emergent concepts and technologies have been proposed, in particular those based in the holonic manufacturing paradigm. Holonic manufacturing is a paradigm based in the ideas of the philosopher Arthur Koestler, who proposed the word holon to describe a basic unit of organisation in biological and social systems. A holon, as Koestler devised the term, is an identifiable part of a (manufacturing) system that has a unique identity, yet is made up of sub-ordinate parts and in turn is part of a larger whole. The introduction of the holonic manufacturing paradigm allows a new approach to the manufacturing problem, bringing the advantages of modularity, decentralisation, autonomy, scalability, and re-use of software components. This dissertation intends to develop an agile and adaptive manufacturing control architecture to face the current requirements imposed to the manufacturing enterprises. The architecture proposed in this dissertation addresses the need for the fast reaction to disturbances at the shop floor level, increasing the agility and flexibility of the enterprise, when it works in volatile environments, characterised by the frequent occurrence of unexpected disturbances. The proposed architecture, designated by ADACOR (ADAptive holonic COntrol aRchitecture for distributed manufacturing systems), is based in the holonic manufacturing paradigm, build upon autonomous and cooperative holons, allowing the development of manufacturing control applications that present all the features of decentralised and holonic systems. ADACOR holonic architecture introduces an adaptive control that balances dynamically between a more centralised structure and a more decentralised one, allowing to combine the global production optimisation with agile reaction to unexpected disturbances. Nas últimas décadas têm-se assistido a mudanças significativas no ambiente de fabrico: evoluindo de uma economia local para um economia global, com os mercados a procurar produtos com elevada qualidade a baixos preços, altamente customizados e com um ciclo de vida curto. Neste ambiente, as empresas de manufactura, para evitar o risco de perda de competitividade, procuram responder às solicitações dos clientes, melhorando a sua flexibilidade e agilidade, mantendo os mesmos índices de produtividade e qualidade. Na verdade, a resposta dinâmica à emergência está a tornar-se num assunto chave, devido `a fraca resposta a perturbações que os sistemas de controlo de fabrico tradicionais apresentam, principalmente devido à rigidez das suas arquitecturas de controlo. Nestas circunstâncias, é fundamental o desenvolvimento de sistemas de controlo de fabrico com capacidades de autonomia e inteligência, rápida adaptação às mudanças, maior robustez à ocorrência de perturbações e fácil integração de recursos físicos e sistemas legados. Diversas arquitecturas usando conceitos e tecnologias emergentes têm sido propostas, em particular algumas baseadas no paradigma da produção holónica. O paradigma da produção holónica é inspirado nas ideias de Arthur Koestler, que propôs a palavra holon para descrever uma unidade básica de organização de sistemas biológicos e sociais. Um holon, de acordo com a definição de Koestler, é uma parte identificável do sistema com identidade única, composta por sub-partes e fazendo simultaneamente parte do todo. A introdução do paradigma da produção holónica permite uma nova abordagem aos sistemas de controlo de fabrico, trazendo vantagens de modularidade, descentralização, autonomia, escalabilidade e reutilização de componentes. Esta dissertação pretende desenvolver uma arquitectura de controlo ágil e adaptativa que suporte os requisitos actuais impostos `as empresas de manufactura. A arquitectura proposta visa a necessidade de uma reacção rápida a perturbações, ao nível da planta fabril, melhorando a flexibilidade e agilidade da empresa quando esta opera em ambientes voláteis, caracterizados pela ocorrência frequente de perturbações inesperadas. A arquitectura proposta, designada por ADACOR (ADAptive holonic COntrol aRchitecture for distributed manufacturing systems), é baseada no paradigma da produção holónica e construída sobre holons autónomos e cooperativos, permitindo o desenvolvimento de aplicações de controlo de fabrico que apresentem todas as características dos sistemas descentralizados e holónicos. A arquitectura holónica ADACOR introduz um controlo adaptativo que balança dinamicamente entre uma estrutura de controlo mais centralizada e uma mais descentralizada, permitindo combinar a optimização da produção com a ágil reacção a perturbações

Operational Control of Internal Transport

Operational Control of Internal Transport considers the control of guided vehicles in vehicle-based internal transport systems found in facilities such as warehouses, production plants, distribution centers and transshipment terminals. The author's interest of research having direct use for practice has resulted in a combination of theoretical and practical research in vehicle-based internal transport systems. An overview is given of the related literature and results are presented that show how different vehicle dispatching rules behave in different environments

Formal synthesis of control and communication schemes

Thesis (Ph.D.)--Boston UniversityIn traditional motion planning, the problem is simply specified as "go from A to B while avoiding obstacles", where A and B are two configurations or regions of interest in the robot workspace. However, a large number of robotic applications require more expressive specification languages, which allow for logical and temporal statements about the satisfaction of properties of interest. Examples include "visit A and B infinitely often, always avoid C, and do not visit D unless E vas visited before". Such task specifications cannot be trivially converted to a sequence of "go from A to B" primitives. This thesis establishes theoretical and computational frameworks for automatic synthesis of robot control and communication schemes that are correct-by-construction from task specifications given in expressive languages. We consider a purely discrete scenario, in which the dynamics of each robot is modeled as a finite discrete system. The first problem addressed in this thesis is the generation of provably-correct individual control and communication strategies for a team of robots from rich task specifications in the case when the workspace is static. The second problem relaxes this assumption and considers a scenario in which the environment changes according to some unknown patterns. It proposed a combined learning and formal synthesis approach to generate correct control policies. To tackle the first problem, we draw inspirations from the research fields of formal verification and synthesis, distributed formal synthesis, and concurrency theory. We consider a team of robots that can move among the regions of a partitioned environment and have known capabilities of servicing a set of requests that can occur in the regions of the partition. Some of these requests can be serviced by a robot individually, while some require the cooperation of groups of robots. We propose a top-down approach, in which global specifications given as Regular Expressions (RE) or Linear Temporal Logics (LTL) can be decomposed into local (individual) specifications, which can then be used to automatically synthesize robot control and communication strategies. To address the second problem, we bring together automata learning methods from the field of theoretical linguistics and techniques from temporal logic games and probabilistic model checking, to develop a provably-correct control strategy for robots moving in an environment with unknown dynamics. The robots are required to achieve a surveillance mission, in which a certain request needs to be serviced repeatedly, while the expected time in between consecutive services is minimized and additional temporal logic constraints are satisfied. We define a fragment of Linear Temporal Logic (LTL) to describe such a mission. We consider a single agent case at first and then extend the results to multi-agent systems. To this end, we apply approximate dynamic programming to our computational framework, which leads to significant reduction of computational time. To demonstrate the proposed theoretical and computational frameworks, we implement the derived algorithms in two experimental platforms, the Robotic Urban-Like Environment (RULE) and the Robotic InDoor-like Environment (RIDE). We assign tasks to the team using Regular Expressions or Linear Temporal Logics over requests occurring at regions in the environment. The robots are automatically deployed to complete the missions