1 IOE/MFG 543 Chapter 9: Stochastic Models - Preliminaries

2 Uncertainty In practice, processing times, release dates, etc., are not known exactly In practice, processing times, release dates, etc., are not known exactly Uncertainty can be caused by Uncertainty can be caused by –weather –machine breakdown –operator skills –unknown demand, order size –…

3 Incorporating uncertainty into scheduling models Model processing times, release dates, etc., as random variables Model processing times, release dates, etc., as random variables Notation Notation X ij =random processing time of job j on machine i R j = random release date of job j D j =random due date of job j Lower case letters denote realized values Lower case letters denote realized values e.g., x ij is the actual processing time of job j on machine i and is only known after it has been processed 1/ ij =expected value of X ij 1/ ij =expected value of X ij

4 Probability review We only need to consider nonnegative random variables We only need to consider nonnegative random variables Continuous nonnegative random variable X Continuous nonnegative random variable X –Density function f(t) –Distribution function F(t)=P(X≤t)=∫ 0 t f(s)ds F(0)=0 and lim t  ∞ F(t)=1 F(0)=0 and lim t  ∞ F(t)=1 –Also define F(t)=1-F(t)=P(X>t) Note: There is a typo in Figure 9.1. The y-axis on the second graph should be F(t)

5 Probability review (2) Discrete random variable X Discrete random variable X –Mass function p(t)=P(X=t) Moments Moments –X continuous: E(X r )= ∫ 0 ∞ s r f(s) ds ∞ –X discrete: E(X r )=  s=0 s r p(s) –The mean E(X) is the first moment –The variance is Var(X)=E(X 2 )-(E(X)) 2 –Coefficient of variation C v (X)=(√Var(X))/E(X)

6 Completion rate The completion rate of a job at time t The completion rate of a job at time t –X continuous:c(t)=f(t) / F(t) –X discrete: c(t)=p(t) / P(X≥t) Exponential random variable (continuous) Exponential random variable (continuous) –f(t)= e - t and F(t)=1-e - t => c(t)= –f(t)= e - t and F(t)=1-e - t => c(t)= Geometric random variable (discrete) Geometric random variable (discrete) –p(t)=(1-q)q t and P(X≥t)=q t => c(t)=1-q

7 Classifying processing times according to c(t) We can classify the random variable X as having We can classify the random variable X as having –increasing completion rate (ICR) c(t) is increasing in t c(t) is increasing in t –decreasing completion rate (DCR) c(t) is decreasing in t c(t) is decreasing in t The exponential and geometric have a constant c(t) so are both ICR and DCR The exponential and geometric have a constant c(t) so are both ICR and DCR Some random variables are neither ICR nor DCR Some random variables are neither ICR nor DCR

8 Comparing random variables How can we compare two random processing times X 1 and X 2 ? How can we compare two random processing times X 1 and X 2 ? Perhaps base the first order of comparison on the mean Perhaps base the first order of comparison on the mean If the means are equal then look at the variance If the means are equal then look at the variance

9 Stochastic dominance based on expectation i.X 1 is larger in expectation than X 2 if E(X 1 )≥E(X 2 ) ii.X 1 is stochastically larger in than X 2 if P(X 1 >t)≥P(X 2 >t) and is denoted by X 1 ≥ st X 2

10 Stochastic dominance based on expectation (2) iii.X 1 is larger in the likelihood ratio sense than X 2 if the likelihood ratio X 1 and X 2 continuous:f 1 (t)/f 2 (t) X 1 and X 2 discrete:p 1 (t)/p 2 (t) is nondecreasing This is denoted by X 1 ≥ lr X 2 iv.X 1 is almost surely larger than X 2 if P(X 1 ≥ X 2 )=1 and is denoted by X 1 ≥ as X 2 Note that iv  iii  ii  i Note that iv  iii  ii  i

11 Stochastic dominance based on variance i.X 1 is larger in the variance sense than X 2 if Var(X 1 )≥Var(X 2 ) ii.X 1 is more variable than X 2 if X 1 and X 2 continuous: ∫ 0 ∞ h(t) dF 1 (t) ≥ ∫ 0 ∞ h(t) dF 2 (t) X 1 and X 2 discrete: ∞ ∞  t=0 h(t) p 1 (t) ≥  t=0 h(t) p 2 (t) for all convex functions h(t) This is denoted by X 1 ≥ cx X 2

12 Stochastic dominance based on variance (2) iii.X 1 is symmetrically more variable than X 2 if f 1 (t) and f 2 (t) are symmetric about the same mean 1/  and F 1 (t)≥F 2 (t) for t ≤ 1/  and F 1 (t)≤F 2 (t) for t ≥ 1/ iii.X 1 is symmetrically more variable than X 2 if f 1 (t) and f 2 (t) are symmetric about the same mean 1/  and F 1 (t)≥F 2 (t) for t ≤ 1/  and F 1 (t)≤F 2 (t) for t ≥ 1/ The above variability orderings are based on the assumption that E(X 1 )=E(X 2 ) The above variability orderings are based on the assumption that E(X 1 )=E(X 2 ) Note that iii  ii  i Note that iii  ii  i

13 Increasing convex ordering Continuous case Continuous case –X 1 is larger than X 2 in the increasing convex sense if ∫ 0 ∞ h(t) dF 1 (t) ≥ ∫ 0 ∞ h(t) dF 2 (t) for all increasing convex functions h(t) Discrete case Discrete case –X 1 is larger than X 2 in the increasing convex sense if ∞ ∞ ∞ ∞  t=0 h(t) p 1 (t) ≥  t=0 h(t) p 2 (t) for all increasing convex functions h(t) for all increasing convex functions h(t) This is denoted by X 1 ≥ icx X 2 This is denoted by X 1 ≥ icx X 2

14 Lemma Let Let Z(1)=g(X 1 (1),X 2 (1),…,X n (1)) and Z(2)=g(X 1 (2),X 2 (2),…,X n (2)) where g is increasing convex in each argument If X 1 (j)≥ icx X 2 (j) for all j then Z(1)≥ icx Z(2) If X 1 (j)≥ icx X 2 (j) for all j then Z(1)≥ icx Z(2) Example Example Example Example 9.4.4

15 Lemma If F 1 is deterministic, F 2 is ICR, F 3 is exponential and F 4 is DCR then If F 1 is deterministic, F 2 is ICR, F 3 is exponential and F 4 is DCR then F 1 ≤ cx F 2 ≤ cx F 3 ≤ cx F 4 F 1 ≤ cx F 2 ≤ cx F 3 ≤ cx F 4 We can use this result to get bounds on performance measures We can use this result to get bounds on performance measures –Example 9.4.6

16 Classes of policies When scheduling under uncertainty new information becomes available as the jobs are processed, e.g., the processing times of the completed jobs are known When scheduling under uncertainty new information becomes available as the jobs are processed, e.g., the processing times of the completed jobs are known Instead of a fixed schedule it may be better to develop a policy which prescribes what job to schedule next Instead of a fixed schedule it may be better to develop a policy which prescribes what job to schedule next

17 Static list policies Nonpreemptive static list policy Nonpreemptive static list policy –The decision maker orders the jobs at time zero according to a priority list. This priority list does not change during the evolution of the process, and every time a machine is freed the next job on the list selected for processing Preemptive static list policy Preemptive static list policy –The decision maker orders the jobs at time zero according to a priority list. This list includes jobs with nonzero release dates. This list does not change during the evolution of the process, and at any point in time the job at the top of the list of available jobs is selected for processing

18 Dynamic policies Nonpreemptive dynamic policy Nonpreemptive dynamic policy –Whenever a machine is freed the decision maker chooses which job goes next. The decision may depend on all the information available at that time (e.g., jobs waiting for processing, jobs being processed on other machines and the amount of processing they have had) Preemptive dynamic policy Preemptive dynamic policy –At any point in time the decision maker chooses which job should be processed on the machine. The decision may depend on all the information available at that time and may require preemptions