Solving an integrated Job-Shop problem with human resource constraints

Similar documents
Climbing discrepancy search for flowshop and jobshop scheduling with time-lags

A new simple recursive algorithm for finding prime numbers using Rosser s theorem

Methylation-associated PHOX2B gene silencing is a rare event in human neuroblastoma.

Smart Bolometer: Toward Monolithic Bolometer with Smart Functions

Vibro-acoustic simulation of a car window

On Solving Aircraft Conflict Avoidance Using Deterministic Global Optimization (sbb) Codes

Easter bracelets for years

Completeness of the Tree System for Propositional Classical Logic

Case report on the article Water nanoelectrolysis: A simple model, Journal of Applied Physics (2017) 122,

Solving an integrated job-shop problem with human resource constraints

Thomas Lugand. To cite this version: HAL Id: tel

Spatial representativeness of an air quality monitoring station. Application to NO2 in urban areas

Evolution of the cooperation and consequences of a decrease in plant diversity on the root symbiont diversity

b-chromatic number of cacti

Can we reduce health inequalities? An analysis of the English strategy ( )

Dispersion relation results for VCS at JLab

The FLRW cosmological model revisited: relation of the local time with th e local curvature and consequences on the Heisenberg uncertainty principle

A CONDITION-BASED MAINTENANCE MODEL FOR AVAILABILITY OPTIMIZATION FOR STOCHASTIC DEGRADING SYSTEMS

L institution sportive : rêve et illusion

Multiple sensor fault detection in heat exchanger system

Passerelle entre les arts : la sculpture sonore

Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan

On Symmetric Norm Inequalities And Hermitian Block-Matrices

On the longest path in a recursively partitionable graph

A new approach of the concept of prime number

On size, radius and minimum degree

The Windy Postman Problem on Series-Parallel Graphs

On Newton-Raphson iteration for multiplicative inverses modulo prime powers

Full-order observers for linear systems with unknown inputs

All Associated Stirling Numbers are Arithmetical Triangles

A Simple Proof of P versus NP

Analysis of Boyer and Moore s MJRTY algorithm

From Unstructured 3D Point Clouds to Structured Knowledge - A Semantics Approach

Solubility prediction of weak electrolyte mixtures

Stochastic invariances and Lamperti transformations for Stochastic Processes

Hook lengths and shifted parts of partitions

Exogenous input estimation in Electronic Power Steering (EPS) systems

Some explanations about the IWLS algorithm to fit generalized linear models

A non-commutative algorithm for multiplying (7 7) matrices using 250 multiplications

Differential approximation results for the Steiner tree problem

New estimates for the div-curl-grad operators and elliptic problems with L1-data in the half-space

Learning an Adaptive Dictionary Structure for Efficient Image Sparse Coding

Exact Comparison of Quadratic Irrationals

Unbiased minimum variance estimation for systems with unknown exogenous inputs

Nodal and divergence-conforming boundary-element methods applied to electromagnetic scattering problems

Prompt Photon Production in p-a Collisions at LHC and the Extraction of Gluon Shadowing

On Symmetric Norm Inequalities And Hermitian Block-Matrices

The Accelerated Euclidean Algorithm

Trench IGBT failure mechanisms evolution with temperature and gate resistance under various short-circuit conditions

Numerical Modeling of Eddy Current Nondestructive Evaluation of Ferromagnetic Tubes via an Integral. Equation Approach

Electrical modeling of the photoelectric effect induced by a pulsed laser applied to an SRAM cell

Understanding SVM (and associated kernel machines) through the development of a Matlab toolbox

Christian Défarge, Pascale Gautret, Joachim Reitner, Jean Trichet. HAL Id: insu

approximation results for the Traveling Salesman and related Problems

A Context free language associated with interval maps

On path partitions of the divisor graph

A Slice Based 3-D Schur-Cohn Stability Criterion

Voltage Stability of Multiple Distributed Generators in Distribution Networks

Fast Computation of Moore-Penrose Inverse Matrices

Entropies and fractal dimensions

A note on the computation of the fraction of smallest denominator in between two irreducible fractions

Numerical modification of atmospheric models to include the feedback of oceanic currents on air-sea fluxes in ocean-atmosphere coupled models

Quantum efficiency and metastable lifetime measurements in ruby ( Cr 3+ : Al2O3) via lock-in rate-window photothermal radiometry

Negative results on acyclic improper colorings

High resolution seismic prospection of old gypsum mines - evaluation of detection possibilities

Territorial Intelligence and Innovation for the Socio-Ecological Transition

Hardware Operator for Simultaneous Sine and Cosine Evaluation

A remark on a theorem of A. E. Ingham.

Comparison of Harmonic, Geometric and Arithmetic means for change detection in SAR time series

Widely Linear Estimation with Complex Data

Classification of high dimensional data: High Dimensional Discriminant Analysis

Reduced Models (and control) of in-situ decontamination of large water resources

Using multitable techniques for assessing Phytoplankton Structure and Succession in the Reservoir Marne (Seine Catchment Area, France)

Solving a quartic equation and certain equations with degree n

The beam-gas method for luminosity measurement at LHCb

On infinite permutations

Comment on: Sadi Carnot on Carnot s theorem.

Finite Volume for Fusion Simulations

Eddy-Current Effects in Circuit Breakers During Arc Displacement Phase

Water Vapour Effects in Mass Measurement

Performance analysis of clouds with phase-type arrivals

Impulse response measurement of ultrasonic transducers

Towards an active anechoic room

STATISTICAL ENERGY ANALYSIS: CORRELATION BETWEEN DIFFUSE FIELD AND ENERGY EQUIPARTITION

Characterization of the local Electrical Properties of Electrical Machine Parts with non-trivial Geometry

Higgs searches at L3

Antipodal radiation pattern of a patch antenna combined with superstrate using transformation electromagnetics

Primate cranium morphology through ontogenesis and phylogenesis: factorial analysis of global variation

Question order experimental constraints on quantum-like models of judgement

Two-step centered spatio-temporal auto-logistic regression model

The spreading of fundamental methods and research design in territorial information analysis within the social sciences and humanities

On one class of permutation polynomials over finite fields of characteristic two *

Determination of absorption characteristic of materials on basis of sound intensity measurement

Best linear unbiased prediction when error vector is correlated with other random vectors in the model

The Riemann Hypothesis Proof And The Quadrivium Theory

On The Exact Solution of Newell-Whitehead-Segel Equation Using the Homotopy Perturbation Method

Near-Earth Asteroids Orbit Propagation with Gaia Observations

There are infinitely many twin primes 30n+11 and 30n+13, 30n+17 and 30n+19, 30n+29 and 30n+31

Nonlocal computational methods applied to composites structures

Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination

Transcription:

Solving an integrated Job-Shop problem with human resource constraints Olivier Guyon, Pierre Lemaire, Eric Pinson, David Rivreau To cite this version: Olivier Guyon, Pierre Lemaire, Eric Pinson, David Rivreau. Solving an integrated Job-Shop problem with human resource constraints. PMS 2010, 12th International Workshop on Project Management and Scheduling, Apr 2010, Tours, France. <hal-00477252> HAL Id: hal-00477252 https://hal-emse.ccsd.cnrs.fr/hal-00477252 Submitted on 30 Sep 2010 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

1 Solving an integrated Job-Shop problem with human resource constraints O. Guyon 12, P. Lemaire 3, É. Pinson 1, D. Rivreau 1 1 École des Mines de Saint-Étienne, Centre Microélectronique de Provence 880 avenue de Mimet 13541 Gardanne - France guyon@emse.fr 2 Institut de Mathématiques Appliquées - Laboratoire d'ingénierie des Systèmes Automatisés 44 rue Rabelais, 49008 Angers cedex 1 - France david.rivreau@uco.fr, eric.pinson@uco.fr 3 Institut Polytechnique de Grenoble 46 avenue Félix Viallet 38031 Grenoble cedex 1 - France pierre.lemaire@grenoble-inp.fr Keywords: Job-Shop, Human resources, Probing, Cut generation, Branch-And-Cut. 1 Introduction This paper investigates the integration of the employee timetabling and production scheduling problems. At the rst level, we have to manage a classical employee timetabling problem. At the second level, we aim at supplying a feasible production schedule for a job-shop scheduling problem (NP-hard problem). Instead of using a hierarchical approach as in the current practice, we here integrate the two decision stages and propose two exact methods for solving the resulting problem. The former is similar to the cut generation algorithm proposed in (Guyon O. et. al. 2010) for a problem integrating a classical employee timetabling problem and a polynomially solvable production scheduling problem. The latter is based on a Branch-And-Cut process that exploits the same feasibility cuts than the rst approach. Preliminar experimental results on instances proposed in (Artigues C. et. al. 2009) reveal a real interest for the approaches described here. 2 A model for an integrated employee timetabling and job-shop scheduling problem 2.1 Problem description We consider the production of a set J of n jobs on a set M of m machines. Each job i is made of a chain of operations {O ij } j=1,...,m. Operation O ij is dened by its assigned machine m ij M and its duration p ij N. The duration of the operation of job i on machine k is denoted ρ ik. Operations are not interruptible and require during their processing one employee e qualied to use machine k. E denotes the set of the µ employees and A e the set of machines employee e is able to control. Employees work under a three-shift system. The timetabling horizon H = σ π is thus dened over a set S of σ consecutive shifts s which have the same duration time π. Employee e is assumed to be available for a subset of shifts T e. Each employee is furthermore assumed to work at most one shift during each gliding window of three shifts (regulation constraints). The cost of assigning employee e to machine k during shift s is denoted c eks. Solving the problem lies in assigning at minimum cost employees to both machines and shifts in order to be able to provide a feasible production plan, i.e. a schedule for which all operations are completed before a given scheduling completion time C max H.

2.2 MIP formulation x eks and y ikt are binary decision variables respectively equal to 1 if employee e is assigned to machine k during shift s and if job i starts to be processed on machine k at time instant t. Using variables and notations mentioned above, a MIP formulation [P ] of the problem can hence be proposed as follows: Objective function: [P ] : min Θ = e E Employee timetabling specic constraints: k / A e s=0 s T e c eks x eks (1) σ x eks = 0 e = 1,..., µ (2) s/ T e x eks = 0 e = 1,..., µ (3) (x eks + x ek(s+1) + x ek(s+2) ) 1 e = 1,..., µ s = 0,..., σ 2 (4) x eks {0, 1} e = 1,..., µ k = 1,..., m s = 0,..., σ (5) For the employee timetabling part, constraints (2) and (3) respectively x assignment variables x to 0 because of the lack of a skill for an employee and his unavailability during some shifts. Following constraints (4) are regulation constraints that state that each employee can work at most one shift during each gliding window of three shifts. Job-shop specic constraints: d ik ρ ik t=0 r ik y ikt + t=0 t t y ikt + ρ ik C max i = 1,..., n k = m im (6) d ik ρ ik u=r ik +ρ ik y ilu n t=r ik y ikt = 1 i = 1,..., n k = 1,..., m (7) C max t=d ik ρ ik +1 t ρ ik i=1 u=max(r ik,t ρ ik +1) y ikt = 0 i = 1,..., n k = 1,..., m (8) u=r ik y iku 0 i = 1,..., n j = 1,..., m 1 k = m ij l = m i(j+1) t = ρ ik + p ik,..., d il ρ il (9) y iku 1 k = 1,..., m t = 0,..., C max (10) y ikt {0, 1} i = 1,..., n k = 1,..., m t = 0,..., C max (11) where r ik and d ik are the respective earliest starting time and the due date of operation of job i on machine k. They are computed in a pre-processing stage with the recursive equations (12) and (13). 2

3 { rik = 0 i = 1,..., n k = m i1 r il = r ik + ρ ik i = 1,..., n j = 1,..., m 1 k = m ij l = m i(j+1) (12) { dik = C max i = 1,..., n k = m im d ik = d il ρ il i = 1,..., n j = 1,..., m 1 k = m ij l = m i(j+1) (13) For the job-shop part, constraints (6) ensure all jobs to be completed before the scheduling completion time C max. Each operation has to be processed within its time window (7)-(8) and cannot start before the completion of its job predecessor (9). At most one operation can be processed on a given machine at each time instant (10). Coupling constraints: n i=1 u=max(r ik,t ρ ik +1) y iku e E x eks k = 1,..., m t = 0,..., C max s = t/π (14) Coupling constraints (14) compel that an employee is working on any machine and for any instant an operation is being executed. 3 Cut generation process Due to its intrinsic two-decision-stage structure, it seems quite natural to investigate a decomposition method for solving problem [P ]. We propose here to adapt the cut generation algorithm proposed in (Guyon O. et. al. 2010) in order to solve [P ]. In their paper, the authors propose a specic cut decomposition and cut generation process to solve a problem integrating a classical employee timetabling problem and a polynomially solvable production scheduling problem. We thus also exploit here the splitting of the overall problem into two sub-problems. A master problem [ET P ] rst nds a solution for the employee timetabling part of the problem. Using this solution as an entry, a satellite sub-problem [JobShop] then checks if a feasible job-shop schedule verifying the human resources dened by the current solution exists. If no schedule can be found, a valid cut is generated in order to invalide the current solution for [ET P ]. The process then iterates until the minimum cost solution for the master problem [ET P ] leads to get a feasible production schedule for [JobShop]. Master problem [ET P ] can be formalized as follows: [ET P ] : min Θ = c eks x eks e E s T e s.t. (2) - (5) where Cut is the set of feasibility cuts iteratively added to the model. They invalidate solutions that are not feasible according to the whole set of constraints of [P ]. Let us assume a xed vector x as an optimal solution for [ET P ]. We have to check whether x is feasible with regards to the other constraints of [P ]. We thus introduce the satellite sub-problem [JobShop x ]: Cut [JobShop x ] Does a feasible schedule exist satisfying: n i=1 (6) - (11) u=max(r ik,t ρ ik +1) y iku e E x eks k = 1,..., m t = 0,..., C max s = t/π

4 [JobShop x ] can be rewritten as a classical job-shop scheduling problem and solved by the branch-and-bound algorithm described in (Carlier J. et. al. 2004). If [JobShop x ] is feasible, x is a feasible and optimal solution for [P ]. Otherwise, the valid cut (15) is added to the set Cut of [ET P ] µ e=1 s T e α ks x eks 1 (15) where α ks = 1 if µ e=1 x eks = 0, 0 otherwise. Process iterates, in a nite number of steps, until the optimal solution x for [ET P ] is proved to be a feasible solution for [P ] by [JobShop x ]. 4 Branch-And-Cut algorithm An alternative exact approach for solving problem [P ] has been experimented. As the cut generation process dened above, it exploits the decomposition of [P ] into the two sub-problems [ET P ] and [JobShop]. The way of nding feasible solutions for the employee timetabling part of the problem however diers here. Instead of dening a complete assignment of employees to machine and shift, we indeed propose here to use a branch-and-bound procedure. Each node of the search tree thus denes a partial assignment of work on machine and shift. [ET P ] and [JobShop] are then solved in order to check if such a partial assignment is feasible for both sub-problems. If at least one of the two sub-problems fails, the feasibility cut (15) is added to the set Cut of [ET P ] and the current node is pruned. Process iterates until each node of the search tree has been explored or pruned. 5 Experimental results The two exact approaches described here have been experimented on the instances proposed in (Artigues C. et. al. 2009) and on generated instances. We compared the results of both methods with an ILP solver (ILOG Cplex) applied to the direct model [P ]. Preliminary computational experiments reveal a real interest for the two methods proposed here. The ILP solver indeed fails to nd any solution for most of the instances whereas the two exact approaches both have an interesting rate of success. We can specially mention the real eectiveness of the Branch-And-Cut process which benets from the advantages of the direct cut generation process (i.e. the decomposition of the problem and the use of generated feasibility cuts) without undergoing its disadvantages (i.e. a long computational time to solve up to optimality [ET P ] at each iteration). References Artigues C., Gendreau M., Rousseau L.-M. and Vergnaud A., 2009, "Solving an integrated employee timetabling and job-shop scheduling problem via hybrid branch-and-bound", Computers and Operations Research, Vol. 36, Issue 8 (August 2009), pp. 2330-2340 Carlier J., Péridy L., Pinson É. and Rivreau D., 2004, "Handbook of scheduling: algorithms, models and performances analysis", Chapter: Elimination Rules for the job-shop, Chapman & Hall / CRC, pp. 1-19 Guyon O., Lemaire P., Pinson É and Rivreau D., 2010, "Cut generation for an integrated employee timetabling and production scheduling problem", European Journal of Operational Research, Vol. 201, Issue 2 (1 March 2010), pp. 557-567