0 - ISIMA

advertisement
Simultaneous scheduling of machines and automated
guided vehicles: graph modelling and resolution
Philippe LACOMME, Mohand LARABI
Nikolay TCHERNEV
LIMOS (UMR CNRS 6158), Clermont Ferrand, France
IUP « Management et gestion des entreprises »
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Plan
Plan

Introduction

Algorithm based framework

Computational evaluation

Conclusions and further works
IESM 2009, MONTREAL – CANADA, May 13
TR 2
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Type of system under study: FMS based on AGV
FMS definition
IESM 2009, MONTREAL – CANADA, May 13
TR 3
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Type of system under study: FMS based on AGV
AGV system
Guide path layout
Automated
Guided
Vehicles
IESM 2009, MONTREAL – CANADA, May 13
TR 4
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Type of system under study: FMS based on AGV
Flexible machines
IESM 2009, MONTREAL – CANADA, May 13
TR 5
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Type of system under study: FMS based on AGV
Flexible cells
IESM 2009, MONTREAL – CANADA, May 13
TR 6
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Type of system under study: FMS based on AGV
Input/Output buffers
IESM 2009, MONTREAL – CANADA, May 13
TR 7
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
AGV operating (1/2)
Loaded vehicle
arriving at
station k
Unloading at
station k
Loaded vehicle
arriving at station i
IESM 2009, MONTREAL – CANADA, May 13
Loading at
station k
Unloading at
station i
Loaded vehicle
going to station ....
Idle vehicle at
station i
TR 8
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
AGV operating (2/2)
Empty vehicle
arriving at
station j
Loading at
station j
Loaded vehicle
going to station ....
There are two types of vehicle trips:
 the first type of loaded vehicle trips ;
 the second one is the empty vehicle trips.
IESM 2009, MONTREAL – CANADA, May 13
TR 9
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Problem definition (1/5)
Problem definition
The scheduling problem under study can be defined in the
following general form:
Given a particular FMS with several vehicles and a set of
jobs,
the objective is to determine the starting and completion times
of operations for each job on each machine
and the vehicle trips between machines according to
makespan or mean completion time minimization.
IESM 2009, MONTREAL – CANADA, May 13
TR 10
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Problem definition (2/5)
Problem definition : Example of solution
Empty trip
IESM 2009, MONTREAL – CANADA, May 13
TR 11
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Problem definition (3/5)
Problem definition : Complexity
Combined problem of:
(i) scheduling problem of the form n / M / G / Cmax
(n jobs, M machines, G general job shop, Cmax makespan),
a well known NP-hard problem (Lenstra and Rinnooy
Kan 1978);
(ii) a generic Vehicle Scheduling Problem (VSP) which is
NP-hard problem (Orloff 1976).
IESM 2009, MONTREAL – CANADA, May 13
TR 12
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Problem definition (4/5)
Problem definition : Assumptions in the literature







All jobs are assumed to be available at the beginning of the
scheduling period.
The routing of each job types is available before making scheduling
decisions.
All jobs enter and leave the system through the load and unload
stations.
It is assumed that there is sufficient input/output buffer space at each
machine and at the load/unload stations, i.e. the limited buffer
capacity is not considered.
Vehicles move along predetermined shortest paths, with the
assumption of no delay due to the congestion.
Machine failures are ignored.
Limitations on the jobs simultaneously allowed in the shop are
ignored.
IESM 2009, MONTREAL – CANADA, May 13
TR 13
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Introduction
Problem definition (5/5)
Under these hypotheses the problem can be without doubt
modelled as a job shop with several transport robots.
JR t kl , t kl' Cmax
notation introduced by Knust 1999

J indicates a job shop,
R indicates that we have a limited number of identical vehicles
(robots) and all jobs can be transported by any of the robots.

t kl indicates that we have job-independent, but machine-

dependant transportation times.

t kl' indicates that we have machine-dependant empty moving
time.
The objective function to minimize is the makespan .
IESM 2009, MONTREAL – CANADA, May 13
TR 14
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
General template
General template
interface
Instance to solve
and
framework
parameters
Best
solution
Memetic algorithm
MTS and OA
Non oriented
disjunctive graphe
One solution
evaluation
Longest path algorithm
IESM 2009, MONTREAL – CANADA, May 13
Oriented
disjunctive graphe
TR 15
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Disjunctive graph definition (1/3)
Non oriented disjunctive graph
G  VM Vt , C  Dm  DR 
consists of:
Vm : a set of vertices containing all machine operations;
Vt : a set of vertices containing all transport operations;
C : representing precedence constraints in the same job;
Dm : containing all machine disjunctions;
Dr : containing all transport disjunctions.
IESM 2009, MONTREAL – CANADA, May 13
TR 16
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Disjunctive graph definition (2/3)
J1
M2
7
M3
5
M1
4
0
J2
J3
0
0
M3
0
M5
5
5
IESM 2009, MONTREAL – CANADA, May 13
M4
M1
4
5
M1
1
*
3
M3
TR 17
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Disjunctive graph definition (2/2)
Machine
disjunction
problem
Robot
disjunction
problem
M2
8
r1
M3
5
r2
M1
4
0
0
0
M3
0
M5
5
r1
5
M4
M1
4
5
M1
1
*
3
M3
Robot assignment
problem
IESM 2009, MONTREAL – CANADA, May 13
TR 18
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Disjunctive graph definition (3/3)
To obtain an oriented disjunctive graph we must :
 define a job sequence on machines ;
 define an assignment of robots to each transport operation ;
 define a precedence (order) to transport operations
assigned to one robot.
Using two vectors:
MTS which defines Machine and Transport Selections
OA
which defines Operation Assignments to each robot
IESM 2009, MONTREAL – CANADA, May 13
TR 19
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Disjunctive graph orientation (1/2)
m2 m3 m5
MTS
1
2
3
m1 m1 m3
m3 m4 m1
1
2
3
1
2
3
1
Transport
operations
M2
0
0
M3
5
0
M5
5
IESM 2009, MONTREAL – CANADA, May 13
5
M3
5
0
1
3
2
3
Transport
operations
7
0
2
4
5
M4
2
M1
7
M1
5
4
5
4
M1
2
1
*
3
M3
TR 20
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Disjunctive graph orientation (2/2)
tr11 tr21 tr31
MTS
1
2
3
1
2
3
Machine
operations
M2
7
0
7
0
0
0
r1
M3
5
M5
1
2
r1
r3
3
Machine
operations
2
2
2
1
5
M1
1
3
2
3
r2
3
M1
4
5
M4
2
Machine
operations
M3
5
0
5
tr12 tr22 tr32
3
4
5
r2
r3
5
3
2
4
M1
1
*
3
M3
OA r1 r1 r3 r2 r2 r3
tr11 tr21 tr31 tr12 tr22 tr32
IESM 2009, MONTREAL – CANADA, May 13
TR 21
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Graph evaluation and Critical Path
Makespan =24
0
M2
7
7
0
r1
7
0
0
M3
5
0
M5
14
r1
5
5
r3
IESM 2009, MONTREAL – CANADA, May 13
2
2
5
M3
5
0
0
2
9
M4
7
M1
r2
17
3
M1
4
5
16
14
3
4
5
5
20
r2
12
r3
3
2
4
23
M1
14
24
1
*
3
M3
TR 22
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Memetic algorithm
begin
npi := 0 ; // current iteration number
ni := 0 ; // number of successive
unproductive iteration
Repeat
SelectSolution (P1,P2)
C := Crossover(P1,P2)
LocalSearch(C) with probability pm
InsertSolution(Pop,C)
Sort(Pop)
If (npi=np)
Restart(Pop,p)
End If
Until (stopCriterion).
End
IESM 2009, MONTREAL – CANADA, May 13
interface
Instance to solve
and
framework
parameters
Best
solution
Memetic algorithm
MTS and OA
Non oriented
disjunctive graphe
One solution
evaluation
Longest path algorithm
Oriented
disjunctive graphe
TR 23
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Chromosome
Chromosome is a representation of a solution
m2 m3 m5 tr11 tr21tr31 m3 m4 m1 tr12tr22tr32 m1 m1 m3
MTS
1
2
3
1
2
3
OA
r1
r1
r3
r2
r2
r3
1
2
3
1
2
3
1
2
3
tr11 tr21 tr31tr12 tr22 tr32
Makespan = 24
IESM 2009, MONTREAL – CANADA, May 13
TR 24
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Local search (1/5)
For one iteration:
 Change one machine disjunction orientation (in the
critical path)
OR

Change one robot disjunction orientation (in the critical
path)
OR

Change one robot assignment.
IESM 2009, MONTREAL – CANADA, May 13
TR 25
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Local search (2/5)
Change transport disjunction
m2 m3 m5 tr11 tr21 tr31 m3 m4 m1 tr12 tr22 tr32 m1 m1 m3
MTS
OA
1
2
3
1
2
3
1
2
3
r1 r1 r3 r2 r2 r3
1
2
1
3
2
3
Robot block
tr11 tr21 tr31 tr12 tr22 tr32
0
M2
7
7
0
r1
74
0
M3
5
0
M5
14
r1
5
5
r3
IESM 2009, MONTREAL – CANADA, May 13
2
2
5
M3
5
0
0
0
2
9
M4
7
M1
r2
17
3
M1
4
5
16
14
3
4
5
5
20
r2
12
r3
3
2
4
23
M1
14
24
1
*
3
M3
TR 26
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Local search (3/5)
Change machine disjunction
m2 m3 m5 tr21 tr11 tr31 m3 m4 m1 tr12 tr22 tr32 m1 m1 m3
MTS
OA
1
2
3
2
1
3
1
2
3
1
2
1
3
2
Machine block
r1 r1 r3 r2 r2 r3
3
Makespan =23
tr21 tr11 tr31 tr12 tr22 tr32
0
M2
8
7
0
r1
3
0
0
M3
5
0
M5
5
r1
5
5
r3
IESM 2009, MONTREAL – CANADA, May 13
2
2
5
M3
5
0
0
2
10
M4
7
M1
r2
18
3
M1
4
5
7
15
3
4
5
5
18
r2
12
r3
3
2
4
22
M1
15
23
1
*
3
M3
TR 27
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Local search (4/5)
m2 m3 m5 tr21 tr11 tr31 m3 m4 m1 tr12 tr22 tr32 m1 m1 m3
MTS
OA
1
2
3
2
1
3
1
2
3
r1 r3
r1 r3 r2 r2 r3
1
2
1
3
2
3
Change robot assignement
tr21 tr11 tr31 tr12 tr22 tr32
0
M2
8
7
0
r1
3
0
0
M3
5
0
M5
5
r3
r1
5
5
r3
IESM 2009, MONTREAL – CANADA, May 13
2
2
5
M3
5
0
0
2
10
M4
7
M1
r2
18
3
M1
4
5
7
15
3
4
5
5
18
r2
12
r3
3
2
4
22
M1
15
23
1
*
3
M3
TR 28
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Algorithm based framework
Local search (5/5)
m2 m3 m5 tr21 tr11 tr31 m3 m4 m1 tr12 tr22 tr32 m1 m1 m3
MTS
OA
1
2
3
2
1
3
1
2
3
r1 r3
r1 r3 r2 r2 r3
1
2
1
3
2
3
Change robot assignement
tr21 tr11 tr31 tr12 tr22 tr32
0
M2
7
7
2
r1
0
0
M3
5
5
r3
r1
2
5
M3
5
0
0
9
M4
r2
17
3
M1
4
5
7
14
3
4
5
17
r2
3
4
21
M1
22
1
*
4
0
0
M5
9
5
r3
2
11
M1
5
16
r3
2
18
3
M3
New transport disjunction is added
IESM 2009, MONTREAL – CANADA, May 13
TR 29
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Computational evaluation
Instances
Two types of experiments have been done using well known
benchmarks in the literatures.
The first type of experiments concerns instances of:
Hurink J. and Knust S., "Tabu search algorithms for job-shop problems with a
single transport robot", European Journal of Operational Research, Vol. 162 (1),
pp. 99-111, 2005.
The second one with two identical robots from:
Bilge, U. and G. Ulusoy, 1995, A Time Window Approach to Simultaneous
Scheduling of Machines and Material Handling System in an FMS, Operations
Research, 43(6), 1058-1070.
IESM 2009, MONTREAL – CANADA, May 13
TR 30
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Computational evaluation
Experimental results (1/4)
Experiments on job-shop with one single robot on Hurink and
Knust instances based on well-known 6x6 and 10x10
instances:
J.F. Muth, G.L. Thompson, Industrial Scheduling, Prentice
Hall, Englewood Cliffs, NJ, 1963.
Deviation in percentage from the best solution found by
each method to lower bound proposed by Hurink and Knust
Four methods proposed by Hurink and Knust
13,40
16,16
IESM 2009, MONTREAL – CANADA, May 13
14,22
16,63
Our method
13,33
TR 31
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Computational evaluation
Experimental results (2/4)
Experiments on Bilge & Ülusoy (1995) 40 instances
 4 machines, 2 vehicles
 10 jobsets,
 5 - 8 jobs, 13 - 23 operations
 4 different structures for FMS
IESM 2009, MONTREAL – CANADA, May 13
TR 32
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Computational evaluation
Experimental results (3/4)
Exemple of FMS structure
M1
M2
M3
M4
LU
IESM 2009, MONTREAL – CANADA, May 13
TR 33
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Computational evaluation
Experimental results (4/4)
Instances [7] BFS DEV%
114 114
0
Ex11
90
90
0
Ex12
98
98
0
Ex13
140 140
0
Ex14
116 116
0
Ex21
82
82
0
Ex22
89
89
0
Ex23
134 134
0
Ex24
121 121
0
Ex31
89
89
0
Ex32
96
96
0
Ex33
148 148
0
Ex34
138 138
0
Ex41
100 100
0
Ex42
102 102
0
Ex43
163 163
0
Ex44
110 110
0
Ex51
81
81
0
Ex52
89
89
0
Ex53
134 134
0
Ex54
IESM 2009, MONTREAL – CANADA, May 13
Instances [7] BFS DEV%
129 129
0
Ex61
102 102
0
Ex62
105 105
0
Ex63
151 151
0
Ex64
134 134
0
Ex71
86
86
0
Ex72
93
93
0
Ex73
161 161
0
Ex74
167 167
0
Ex81
155 155
0
Ex82
155 155
0
Ex83
178 178
0
Ex84
129 127*
-1,55
Ex91
106 106
0
Ex92
107 107
0
Ex93
149 149
0
Ex94
153 153
0
Ex101
139 139
0
Ex102
141 139*
-1,42
Ex103
183 183
0
Ex104
TR 34
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Conclusion and further works
Conclusion
 Step forwards the generalization of the disjunctive graph
model including several robots;
 Memetic algorithm based approach for a generalization of
the job-shop problem;
 Specific properties are derived from the longest path to
generate neighbourhoods;
IESM 2009, MONTREAL – CANADA, May 13
TR 35
Simultaneous scheduling of machines and automated guided vehicles: graph modelling and resolution
Conclusion and further works
Further works
 Additional constraints;
 Axact methods;
 Larger instances;
IESM 2009, MONTREAL – CANADA, May 13
TR 36
Download