1. Introduction
The trend of using AGVs for material handling in Flexible Manufacturing Systems (FMS) has recently increased, and it is expected to grow in the coming years [
1]. Hence, Multi-AGV (MAGV) fleets are playing a vital role in enhancing the efficiency and robustness of the logistic processes in factories and, consequently, their study has become a major research interest [
1,
2].
MAGV systems require a coordinated motion of their components to guarantee a timely and deadlock-free completion of all transportation tasks. Those in charge of keeping this so-called liveness [
3] of the system are traffic control algorithms, which may achieve this major goal following three basic approaches [
4,
5]: (i) conflict avoidance, where AGVs plan conflict-free routes; (ii) conflict prevention, where specific rules are applied during route executions to ensure a conflict-free operation, and (iii) detection and resolution, where conflicts are resolved when they occur.
In turn, the traffic control implementation is centralized, when it is managed by a single computer, or decentralized, with decisions taken by the different system components [
6]. Centralized strategies may lead to high computational loads on the central controller when the system is scaled up, while decentralized ones may result in sub-optimal solutions [
1,
6].
Among the different types of traffic control algorithms (see, for example, the thorough classifications in [
7,
8]), zone control has emerged as the prevailing traffic management technique [
9]. In zone control approaches, the workspace is divided into a number of zones, also known as resource points [
10] or tiles [
11]. Then, AGVs traverse through these zones supervised by the traffic control algorithm, which gives the permissions to move from one zone to the next one, adjacent to it, on their planned paths. This discretization allows to model the layout as a graph, which simplifies not only route planning tasks but also route execution. This is because the traffic controller awards permissions to resume according to the occupancy level of the zones, now graph nodes, in order to prevent collisions and deadlocks.
Zone partitioning in irregular layouts has been studied in [
12], where a zone control algorithm considering AGV geometry and guidepath topology that efficiently handles collision and deadlock avoidance is proposed. However, most zone control algorithms are presented for grid-like layouts and assume that AGVs fit within the tiles [
5,
7,
10,
13,
14,
15,
16], which is taken as the starting point of this work.
Notice, firstly, that the same grid layout allows different discretizations. This is illustrated in
Figure 1: the layout on the top left can be discretized in a basic way, just taking crossings as nodes, as shown in the top-right figure, or using a denser discretization, as depicted in the bottom plots. Therefore, since permits can be neither requested nor given instantaneously, and waiting states may take place farther or closer to troubled nodes depending on the discretization level, the performance metrics of the system may be affected by the type of discretization. This is even more relevant in industrial scenarios, where aisles between crossings may be tens of meters long.
Take, for example, the situation in
Figure 2. In the sparse discretization depicted on top, an AGV moving from
A to
B has to wait at
A till
B is cleared, and moves straightforward to it when allowed. Instead, in the case of a denser discretization, such as that on the bottom, the motion is from
A to
C, then from
C to
D, and, finally, from
D to
B, which requires calling the traffic controller at each step in order to obtain the corresponding permit. This scales up not only the permit requests, but also the amount of communications in the network and the deceleration and acceleration maneuvers when arriving and leaving a zone, thus yielding extra power consumptions for the AGVs. However, in case
B is busy but
C and
D are available, the AGV can advance till
D and wait there for the permit to resume towards
B; hence, the resuming motion is initiated much closer to
B than in the sparse discretization (top) case, which shortens the overall time taken when moving from
A to
B.
Therefore, understanding how layout discretizations affect the performance is essential for an efficient implementation of traffic control systems in real industrial scenarios; denser discretizations can improve the time response to certain conflicts, but also result in a software overload that may hinder the overall system performance. Nevertheless, despite its criticality, to the best of the authors’ knowledge, there are no studies in the zone control literature dealing with layout discretization and its effect. In fact, besides assuming that a block can entirely contain an AGV, most works just mention in the simulation section the dimensions of the zones, where squares of side 1 m [
5,
10,
13,
14] or 2 m [
7] are often taken. Others, instead, indicate the number of nodes of the selected graph, but not the size of the corresponding zones [
15]. Finally, ref. [
16] uses a basic discretization with nodes representing crossings, workstations, and parking/charging slots, while edges stand for the aisles in between them.
Intrinsically linked to the discretization effects is the control period, i.e., the time interval of activation of the traffic control algorithm loop that issues commands to the AGVs. This is because denser discretizations scale up the number of permit requests from the AGV fleet to proceed; so, dealing promptly with them using lower control periods should have a beneficial influence on the time completion of tasks.
This article deals with the effect of layout discretization on the overall system performance of zone control-based traffic controllers. The analysis is conducted using two representative traffic management strategies: the Dynamic Resource Reservation (DRR) approach [
10], and the recently published Improved Dynamic Resource Reservation (IDRR) algorithm [
16]. The study takes into account both the density of the discretization and the control period of the traffic manager. Interestingly, realistic numerical simulations run on two different layouts reveal that denser discretizations do not result in significant performance improvements while, as intuitively expected, shorter control periods yield substantial reductions in task completion times.
The remainder of the paper is organized as follows:
Section 2 includes basic modeling details and concepts that are common to DRR and IDRR traffic control algorithms. The main features of DRR and IDRR are presented in
Section 3 and
Section 4, respectively. The experimental setup, including a description of the prescribed task, is presented in
Section 5. The numerical results are gathered and discussed in
Section 6. The contributions of the paper, together with some suggestions for further research, are discussed in
Section 7. Finally, conclusions are drawn in
Section 8.
2. Preliminaries
The layout consists of a fully known, grid-like workspace where AGVs carry out point-to-point transportation tasks. Hence, we may find there pick-up stations, drop-off stations, and parking stations, all of them linked by aisles. In turn, aisle intersections are known as crossing points. The following assumptions are considered:
Assumption 1. Every station is linked to a single crossing point of the grid through an aisle, and every crossing node is linked to, at most, one station.
Assumption 2. There are, at least, as many parking stations as deployed AGVs.
Assumption 3. Aisles may be traveled bi-directionally, but only one AGV is allowed at a time in an aisle.
Generically, the workspace is discretized as in
Figure 1: Each zone represents a physical area, and it may either contain a station or just be an intermediate point of an aisle. This discretized layout is then modeled as a graph
, with nodes representing zones and edges representing links between adjacent zones. Namely, the node and edge sets are denoted, respectively, as
,
being the total number of nodes, and
. In turn,
denotes the set of
AGVs,
, deployed in the FMS.
In this framework, a task is considered as a node-to-node displacement, understood as follows: Basic transportation jobs consist of moving loads from pick-up nodes to drop-off nodes. In the case an AGV currently at a parking slot undertakes a job, the assignment is divided into a minimum of two tasks: from the parking node to the pick-up node, and from the pick-up node to the drop-off node. Once this is completed, depending on the specific traffic control algorithm and the pending job list, a final move from the drop-off node to the parking slot might be ordered as well. In any case, once a task is assigned, a shortest route between the initial and final nodes is computed and delivered to the AGV.
Definition 1. A task for AGV consists of an ordered sequence of adjacent nodes to be followed, i.e., , where each stands for a specific graph node.
Remark 1. is used to sequentially index the nodes of a task. As an example, if task goes though nodes , , and , .
Definition 2. The states of can be as follows: (a) idle (): ready to accept a new task; (b) resuming (): moving between two adjacent nodes; (c) waiting (): is at a node, waiting to be allocated to the next one; (d) resolving (): undergoing a conflict resolution.
AGV motion works on a permit basis as follows: running task and currently located at node requests permission to proceed to . If granted, leaves , which becomes free, reserves , and proceeds towards it. As conflicts may arise when AGVs compete for the same resources, zone control-based approaches grant permits according to the occupancy of shared routes and/or nodes. This yields the following definitions:
Definition 3. The state of a node , denoted as , is given by the number of AGVs occupying or reserving it.
Definition 4. Assume that is performing task and it is currently located at node . Its residual route is the sequence of nodes of that remain to be visited, including . Namely, .
Definition 5. The shared route of is the subset of nodes of that also belong to the residual route of any other AGV. Namely, .
Therefore, conflicts arise when . The next sections detail how this issue is faced by two representative zone control algorithms.
5. Experimental Setup
Numerical experiments are carried out in two different layouts. The first one is the benchmark layout from [
5], also used in [
16] (see
Figure 7). It features a square topology measuring 50 m × 40 m, and comprising the following: (i) three origins for work pieces, I1–I3; (ii) three destinations for work pieces, O1–O3; (iii) six machines, M1–M6; (iv) eighteen working (W) stations, S1–S18, with half designated as pick-up stations and the remainder as drop-off stations; and (v) ten parking (P) stations, C1–C10. At the beginning of the simulation, every source point, Ii, is equipped with twenty work pieces, labeled as Part-i type. These pieces are to be individually retrieved from the adjacent W station next to Ii, transported consecutively to two machines, where each piece is deposited, undergoes 20 s processing, is then retrieved, and is ultimately delivered to the W station corresponding to the designated sink point, Oj.
The route to be followed by each type of piece is:
Part 1: (I1)-S7-S14-(M4)-S13-S5-(M3)-S6-S12-(O3);
Part 2: (I2)-S10-S3-(M2)-S4-S16-(M5)-S15-S9-(O2);
Part 3: (I3)-S11-S1-(M1)-S2-S18-(M6)-S17-S8-(O1),
where parentheses indicate sources, sinks, and machines. Therefore, three distinct transportation assignments are linked to each route: from the source W station to the W drop-off station of the first machine, from the W pick-up station of the first machine to the W drop-off station of the second machine, and from the W pick-up station of the second machine to the W drop-off station of the sink. This entails a total of 180 tasks to be allocated to the available AGVs within the layout (comprising 3 types of pieces, 20 pieces of each type, and 3 movements per piece). The AGVs commence from the P stations C1–C10, move at a speed of 1 m/s, and the simulation concludes when the last piece is deposited, and the transporting AGV returns to its designated parking position.
The second layout corresponds to an industrial workspace of 25 m × 30 m with seven pick-up stations, W1 to W7, two drop-off stations, W8 and W9, and ten parking stations, P1 to P10, see
Figure 8. Transportation assignments are generated at random and in real time at pick-up stations with time intervals following a uniform distribution. The assignments are subsequently allocated to idle AGVs by searching for the first idle one within the list of AGVs, which is ordered according to the AGV labels,
. The total simulation time is set to five hours.
For IDRR and IDRRP, both layouts are modeled as in
Section 4.2, namely, with WP stations and TX crossings as nodes. Instead, three types of discretization are studied for DRR according to
Section 3.2: the same as IDRR and IDRRP, labeled as DRR, and two additional ones with nodes placed at 2 m and 1 m intervals, labeled as DRR-2m and DRR-1m, respectively. In turn, the selected control periods of the allocation procedure are 1 s, 0.5 s, 0.2 s, 0.1 s, 0.05 s, and 0.02 s. In all the cases, the AGVs run at a constant speed of 1 m/s and show equal acceleration and deceleration values. Finally, numerical simulations were carried out using the commercial software Flexsim (version 23.1.4).
6. Numerical Results
In a first test, the effect of layout discretization in the benchmark layout is assessed by setting the control period to
s, and recording the ending times as described in
Section 5, for IDRR, IDRRP, DRR-2m and DRR-1m, with the number of AGVs varying from 1 to 10. The results are displayed in
Figure 9, while the data are collected in
Table 1.
As already reported in [
16], IDRR and IDRRP clearly outperform DRR. Only for 1 and 2 AGVs are the IDRRP and DRR times close, in the former because IDRRP matches DRR, as there are no conflicts, and in the latter because the number of conflicts between only 2 AGVs in this layout is not null but still very low. Moreover, the difference increases with the number of AGVs in the layout, as the number of conflicts scale up and the DRR waiting times increase. This corroborates the superior performance of IDRR with respect to DRR not only because of the parking policy, but also from the pure traffic management side, as the IDRRP and DRR numbers show.
However, it is most interesting that although DRR works with the sparse discretization inherent to IDRR and IDRRP, the use of denser discretizations in DRR-2m and DRR-1m make no significant difference either between them or with DRR. Hence, the fact that denser discretizations entail lower waiting times in the face of conflicts is definitely compensated by the corresponding increase associated with the request of a higher number of permissions to resume. The latter is clearly deduced from the results when there is just one AGV in the layout; the higher ending times observed for denser discretizations can be solely attributed to the additional time required to handle the scaling up of permit requests, because the absence of conflicts excludes the compensating possibility. Therefore, it turns out that (i) DRR works finely with sparse discretizations, and (ii) the use of denser discretizations with IDRR in the general case is not encouraged, as it would complicate the algorithm and there is no expectation of improvement.
A second test is conducted to evaluate the effect of the control period,
T, on the time completion of the experiment. Simulations were carried out again for the five traffic management algorithms with
s, 0.5 s, 0.2 s, 0.1 s, 0.05 s, 0.02 s, and a number of AGVs ranging from 1 to 4. The results, gathered in
Table 2, confirm those of Test 1. Namely, no significant differences are observed between the sparse discretization of DRR and the denser ones in DRR-2m, and DRR-1m, while for the 1 AGV case, the mismatch decreases with
T; in fact, when
s, times are almost equal, which indicates that for this control period, the scaling up of resuming requests in denser discretizations has no effect on the time completion of the task.
It is noticeable that the ending times become better as the period of the control loop decreases. AGVs have to wait for the control loop to be activated at the specific interval when the AGVs have requested for allocation between the interval; thus, for lower control periods, the negative cumulative waiting effect in time completions is minor, hence speeding up the whole system. The improvement with respect to the highest ending time, always given by
s, increases with lower
T’s and tends to stabilize around
s, irrespective of the algorithm and number of AGVS. For IDRR and IDRRP, the maximums are 10.91% and 10.95%, respectively, while DRR, DRR-2m and DRR-1m score better for 1 or 2 AGVs, the maximum being 13.5% for DRR-1m and 1 AGV, in all cases for
s. The relative errors are displayed in
Figure 10.
These results are further confirmed by the data in
Table 3,
Table 4 and
Table 5. Namely,
Table 3 contains the waiting time, i.e., the fraction of time (in %) in which AGVs have been in a waiting state during the overall task execution. Higher waiting times indicate a worse utilization of AGVs and, consequently, higher ending times. As expected, IDRR has the lower numbers; the % waiting time increases for IDRRP, as AGVs have to add the extra path from drop-off to parking stations after each trip, but it is still under that of DRR because of the traffic management policy. In turn, the more densely discretized DRR-2m and DRR-1m have slightly worse results than DRR because of the extra permission requests, which are not compensated by the time saved in conflict resolutions. In turn, the waiting time percentage decreases with the control period,
T, showing a tendency to stabilization around
s.
Table 4 shows the distances traveled by the AGVs during the experiment. Besides confirming that IDRR-controlled systems carry out the task with minimal traveled distance, IDRRP and DRR show similar results regardless of the scaling in the number of AGVs, as both algorithms require them to start and finish a task at their own parking places. Of course, the DRR-2m and DRR-1m data match those of DRR, as the traveled distance under the same traffic control algorithm is independent of the discretization density. Instead, it can be observed in
Table 5 that the average velocities share the behavior of ending and waiting times already displayed in
Table 2 and
Table 3, respectively, with respect to discretization and the control period variation. In this case, it is also worth noting that the average velocities of IDRR and IDRRP are very similar, which is due to the fact that, despite the parking policy difference, the traffic control algorithm is the same.
The same tests were run on the industrial layout and for the task rationale also described in
Section 5. In this case, the ending time was replaced by the average throughput, i.e., fully completed tasks per AGV and per hour, while the other metrics (waiting time, distance, and velocity) were kept. It is worth highlighting that the results are fully aligned with those already discussed for the benchmark layout.
The average throughput per AGV and per hour for a control period of
s is depicted in
Figure 11 from the data collected in
Table 6. Notice that, as expected, it decreases as the number of AGVs in the layout increases because of the scaling up of the number of conflicts in the system. Again, IDRR outperforms IDRRP, while the latter does so with DRR. Moreover, in this case, denser discretizations for DRR perform slightly worse than in the benchmark problem, as it stems immediately from the comparison of
Figure 9 and
Figure 11 or
Table 1 and
Table 6.
The behavior of the throughput against the control period for 1 to 4 AGVs and
[s] is collected in
Table 7. Once again, significant improvements are shown in all cases as
T decreases. The improvement percentages with respect to
s, displayed in
Figure 12, lie within the interval
, while for the benchmark problem, it was
(recall
Figure 10). Finally, the waiting times, traveled distances, and velocities are in accordance with the throughput data; the corresponding tables are omitted for the sake of brevity.
7. Discussion and Future Work
The numerical results show that, although it may be tempting to use denser discretizations hoping that this would yield a reduction in waiting times associated with conflict prevention and detection and resolution, it turns out that this is compensated by the cumulative waiting times associated with the higher number of permission requests inherent to node-to-node displacements, up to the point that no significant benefit is observed from the use of denser discretizations. As denser discretizations also require higher energy consumptions because of the scaling up in communications and acceleration/deceleration maneuvers, sparse discretizations should be prioritised in industrial implementations of zone control approaches.
In turn, a noticeable improvement arises when using faster control periods for the allocation mechanism loop. However, this may increase the computational burden and require better and more expensive hardware, so a trade-off should be required. Interestingly, a practical control period can be determined according to the hardware used for localization of the AGVs; since knowing the position of AGVs is an integral part of the system, the control period can be calculated, setting it some 5 to 10 times slower than the sensor data measuring frequency. Usually, localization sensors work in the range of Hz, so a control period of 0.2 s seems to be practically achievable in real manufacturing systems.
Current limitations when implementing zone control-based approaches stem from the common assumption that the workspace is able to accommodate the AGV kinematic constraints. In real scenarios, issues may arise if the motion trajectories followed by the AGVs do not consider either self-kinematics or those of potential nearby AGVs. This is usually solved when modeling the layout while setting up the system, but a “kinematic-aware” approach [
12] can further improve the system performance. Another restriction is linked to the fact that these strategies are mainly devised for point-to-point displacements; in cases where there exist tasks with complex interdependency, specific rules have to be taken into account at the task allocation level without hampering the traffic management policy. Finally, the traffic control approach is closely linked to the geometric layout of the factory. In particular, IDRR is unable to handle non-grid-like layouts, as well as situations where WP stations have multiple CPs or are adjacent to each other.
Further research is oriented to investigating if advantage can still be taken of waiting time reduction in the face of conflicts by using non-uniform discretizations tailored to specific layouts. For example, those with long aisles between crossings might benefit from a discretization of the aisle in two blocks, one that might allow the AGV to leave the intersection but still remain close to it, and another one that would allow the AGV to circulate to the end of the aisle but be required to stop right before the next crossing. The idea is illustrated in
Figure 13.