235 research outputs found
Robot planning based on boolean specifications using petri net models
In this paper, we propose an automated method for planning a team of mobile robots such that a Boolean-based mission is accomplished. The task consists of logical requirements over some regions of interest for the agents'' trajectories and for their final states. In other words, we allow combinatorial specifications defining desired final states whose attainment includes visits to, avoidance of, and ending in certain regions. The path planning approach should select such final states that optimize a certain global cost function. In particular, we consider minimum expected traveling distance of the team and reduce congestions. A Petri net (PN) with outputs models the movement capabilities of the team and the regions of interest. The imposed specification is translated to a set of linear restrictions for some binary variables, the robot movement capabilities are formulated as linear constraints on PN markings, and the evaluations of the binary variables are linked with PN markings via linear inequalities. This allows us to solve an integer linear programming problem whose solution yields robotic trajectories satisfying the task
TOWARDS DIGITAL TWIN-DRIVEN PERFORMANCE EVALUATION METHODOLOGY OF FMS
The paper presents a method of automated modelling and performance evaluation of concurrent production flows carried out in Flexible Manufacturing Systems. The method allows for quick assessment of various variants of such systems, considering their structure and the organization of production flow of possible ways of their implementation. Its essence is the conditions imposed on the designed model, limiting the space of possible variants of the production flow only to deadlock-free variants. The practical usefulness of the model implemented in the proposed method illustrates the example, which describes the simultaneous assessment of alternative variants of the flexible machining module's structure and the planned multi-assortment production. The ability of the method to focus on feasible solutions offers attractive perspectives for guiding the Digital Twin-like scenario in situations caused by the need to change the production flow
Scheduling and discrete event control of flexible manufacturing systems based on Petri nets
A flexible manufacturing system (FMS) is a computerized production system that can simultaneously manufacture multiple types of products using various resources such as robots and multi-purpose machines. The central problems associated with design of flexible manufacturing systems are related to process planning, scheduling, coordination control, and monitoring. Many methods exist for scheduling and control of flexible manufacturing systems, although very few methods have addressed the complexity of whole FMS operations. This thesis presents a Petri net based method for deadlock-free scheduling and discrete event control of flexible manufacturing systems. A significant advantage of Petri net based methods is their powerful modeling capability. Petri nets can explicitly and concisely model the concurrent and asynchronous activities, multi-layer resource sharing, routing flexibility, limited buffers and precedence constraints in FMSs. Petri nets can also provide an explicit way for considering deadlock situations in FMSs, and thus facilitate significantly the design of a deadlock-free scheduling and control system.
The contributions of this work are multifold. First, it develops a methodology for discrete event controller synthesis for flexible manufacturing systems in a timed Petri net framework. The resulting Petri nets have the desired qualitative properties of liveness, boundedness (safeness), and reversibility, which imply freedom from deadlock, no capacity overflow, and cyclic behavior, respectively. This precludes the costly mathematical analysis for these properties and reduces on-line computation overhead to avoid deadlocks. The performance and sensitivity of resulting Petri nets, thus corresponding control systems, are evaluated. Second, it introduces a hybrid heuristic search algorithm based on Petri nets for deadlock-free scheduling of flexible manufacturing systems. The issues such as deadlock, routing flexibility, multiple lot size, limited buffer size and material handling (loading/unloading) are explored. Third, it proposes a way to employ fuzzy dispatching rules in a Petri net framework for multi-criterion scheduling. Finally, it shows the effectiveness of the developed methods through several manufacturing system examples compared with benchmark dispatching rules, integer programming and Lagrangian relaxation approaches
An Iterative Approach for Collision Feee Routing and Scheduling in Multirobot Stations
This work is inspired by the problem of planning sequences of operations, as
welding, in car manufacturing stations where multiple industrial robots
cooperate. The goal is to minimize the station cycle time, \emph{i.e.} the time
it takes for the last robot to finish its cycle. This is done by dispatching
the tasks among the robots, and by routing and scheduling the robots in a
collision-free way, such that they perform all predefined tasks. We propose an
iterative and decoupled approach in order to cope with the high complexity of
the problem. First, collisions among robots are neglected, leading to a min-max
Multiple Generalized Traveling Salesman Problem (MGTSP). Then, when the sets of
robot loads have been obtained and fixed, we sequence and schedule their tasks,
with the aim to avoid conflicts. The first problem (min-max MGTSP) is solved by
an exact branch and bound method, where different lower bounds are presented by
combining the solutions of a min-max set partitioning problem and of a
Generalized Traveling Salesman Problem (GTSP). The second problem is approached
by assuming that robots move synchronously: a novel transformation of this
synchronous problem into a GTSP is presented. Eventually, in order to provide
complete robot solutions, we include path planning functionalities, allowing
the robots to avoid collisions with the static environment and among
themselves. These steps are iterated until a satisfying solution is obtained.
Experimental results are shown for both problems and for their combination. We
even show the results of the iterative method, applied to an industrial test
case adapted from a stud welding station in a car manufacturing line
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
Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems
This paper proposes a deadlock prevention policy for flexible manufacturing systems (FMSs) based on a think-globally-act-locally approach and a structurally minimal method. First, by using the think-globally-act-locally approach, a global idle place is temporarily added to a Petri net model with deadlocks. Then, at each iteration, an integer linear programming problem is formulated to design a minimal number of maximally permissive control places. Therefore, a supervisor with a low structural complexity is obtained since the number of control places is greatly compressed. Finally, by adding the designed supervisor, the resulting net model is optimally or near-optimally controlled. Three examples from the literature are used to illustrate the proposed method
Study for the design of a management system for AGV networks
Automated Guided Vehicles are a vital part of the future intelligent manufacturing processes. In order to make the better profit, it is important to study if deadlocks can occur and how to tackle them. In this project we demonstrate how Petri Net models, which are perfect for representing deadlocks, can be mapped in the simulation software FlexSim. Eventually, we are using this software in order to evaluate different study cases with deadlocks
Planning transport sequences for flexible manufacturing systems
When designing a manufacturing system it is important to plan what the system
should do. One important activity in most manufacturing systems is to transport products or
resources between different positions. In a flexible manufacturing system it can be challenging
to design and plan these transport operations due to their complex logical behavior. This paper
presents a method that identifies, creates and visualizes these transport operations based on
inputs from a standard virtual manufacturing tool and a high level product operation recipe.
The planning of the created transport operations is transformed into a problem of finding a
non-blocking solution for a discrete model of the product refinement
- …