Space-Filling Designs for Computer...

40
Space-Filling Designs for Computer Experiments V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024

Transcript of Space-Filling Designs for Computer...

Page 1: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Space-Filling Designs for Computer Experiments

V. Roshan Joseph

1

Supported by ARO W911NF-14-1-0024

Page 2: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Computer model

System

Mathematicalmodel

Computermodel

• Computer model is a numerical implementation of the mathematical model.

2

Page 3: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Computer experiments

Computer model outputsinputs ..

.

.

• Expensive black-box code• Deterministic outputs• Complex relationships

Experiment

3

Page 4: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Applications

• Approximation • Sensitivity analysis• Calibration• Optimization• Uncertainty quantification

4

Page 5: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Uncertainty QuantificationUncertainty

sources

Input Output

Propagation of uncertainty

45

Gul, E., Joseph, V. R., Yan, H., and Melkote, S. N. (2015). “Uncertainty Quantification in Machining Simulations Using In Situ Emulator,” Under Review.

Page 6: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Review of Space-Filling Designs

• No need to worry about– Replication– Randomization– Blocking

• What type of designs?– Fractional factorial designs, orthogonal

arrays,…? No, use space-filling designs!

6

Page 7: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Space-Filling Designs

• Definition: designs that fill the space!

• What is the meaning of filling the space?– Maximin distance– Minimax distance– Uniform

7

Page 8: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Maximin distance design

• Johnson, Moore, and Ylvisaker (1991)

8

Page 9: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Minimax distance design

• Johnson, Moore, and Ylvisaker (1991)

9

Page 10: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

10

Consider the simple case of four-run design in two factors (n=4, p=2).

Maximin distance design. Minimax distance design.

Examples of Maximin and Minimax Designs

Page 11: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Latin hypercube design

• McKay, Conover, Beckman (1979)

11

Page 12: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Latin hypercube design

12

Page 13: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Maximin Latin hypercube design

• Morris and Mitchell (1995): Maximindistance design within the class of Latin hypercube designs.

where D is an LHD.

13

Page 14: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Uniform design

• Fang (1980)

• Good for approximating integrals by sample averages.

14

Page 15: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Maximum Projection Designs

Joseph, V. R., Gul, E., and Ba, S. (2015). “Maximum Projection Designs for Computer Experiments,” Biometrika, 102, 371-380.

15

Page 16: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

MmLHD• MmLHD (20,2)

16

Page 17: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

MmLHD• A two-dimensional projection of MmLHD (20,10)

17

Page 18: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

MmLHD

• Ensures good space-filling in p dimensions and uniform one-dimensional projections, but their projections in 2,…,p-1 dimensions can be poor.

18

Page 19: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Improvements to MmLHD

• Draguljic, Santner, Dean (2012)

• Criterion is computationally expensive.

19

Page 20: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Uniform Design

• Hickernell (1998) proposed CL2 criterion that ensures projections to all subspaces.

• But is uniformity important in computer experiments?

20

Page 21: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Generalized LHD

• Dette and Pepelyshev (2010): placing more points in the boundaries than around the center can minimize the prediction errors from GP modeling.

21

Page 22: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

MaxPro criterion• Weighted Euclidean distance:

• Modify the Morris-Mitchell criterion to

22

Page 23: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Bayesian criterion

• We don’t know about 𝜃𝜃 before the experiment!

• Prior:

• Then, the criterion becomes

23

Page 24: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

MaxPro criterion

• MaxPro criterion:

24

Page 25: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

LHD property

•• MaxPro design must have n distinct levels

for each factor.• LHD requirement is automatically enforced

in the criterion!

25

Page 26: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Design construction algorithm

• Minimizing MaxPro objective function is not easy!– np number of variables– many local minima

26

R Package: MaxProJMP 12 (under FFF)

Page 27: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

ExamplesMaxProLHD(20,2) and MaxPro(20,2)

27

Page 28: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Numerical comparisons• n=100, p=10• Designs:

– MaxPro– MaxProLHD– MmLHD– UD– GLHD

• Criteria:– Maximin– miniMax– CL2

28

Page 29: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Minimum distance (larger-the-better)

29

Page 30: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

GP-based criteria

30

Page 31: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

An optimality result

• Prior:

• MaxPro design is good in terms of Entropy, condition number, prediction variance, etc.

31

Page 32: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Applications

32

Page 33: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

3

Solid End Milling Process• Simulation on computer model of Production Module

software

33

Page 34: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

UQ for Solid End Milling

34

Page 35: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

MaxPro LHD

35

Page 36: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

After Inverse probability transform

36

Page 37: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

In-Situ Emulator

37

𝑓𝑓 𝒖𝒖, 𝑡𝑡 = 𝑒𝑒𝑒𝑒𝑒𝑒{log 𝑓𝑓 𝒖𝒖𝟎𝟎, 𝑡𝑡 + �̂�𝛿𝑡𝑡 (𝒖𝒖)}

�̂�𝛿𝑡𝑡(u) = 𝒓𝒓 𝒖𝒖 ′𝑹𝑹−1(𝒘𝒘𝑡𝑡 − 𝒘𝒘0,𝑡𝑡)

𝑅𝑅𝑡𝑡(𝒖𝒖𝑖𝑖 − 𝒖𝒖𝑖𝑖) = 𝑅𝑅𝑡𝑡,𝒖𝒖 𝒖𝒖𝑖𝑖 − 𝒖𝒖𝑗𝑗 − 𝑅𝑅𝑡𝑡,𝒖𝒖 𝒖𝒖𝑖𝑖 − 𝒖𝒖0 − 𝑅𝑅𝑡𝑡,𝒖𝒖 𝒖𝒖𝑗𝑗 − 𝒖𝒖0 + 1,

𝑅𝑅𝑡𝑡,𝒖𝒖 𝒖𝒖𝑖𝑖 − 𝒖𝒖𝑗𝑗 = exp −∑𝑘𝑘=1𝑝𝑝 𝜃𝜃𝑡𝑡,𝑘𝑘 𝑢𝑢𝑖𝑖𝑘𝑘 − 𝑢𝑢𝑗𝑗𝑘𝑘

2.

where

Page 38: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Output with 95% confidence region

38

Page 39: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

Computational time

39

UD (n=2000) In-Situ EmulatorCurve cutting 1 day 8 mins5-axis cutting 9 days 1 hour

Page 40: Space-Filling Designs for Computer Experimentspwp.gatech.edu/roshan-joseph/wp-content/uploads/... · V. Roshan Joseph 1 Supported by ARO W911NF-14-1-0024. Computer model System Mathematical.

References• V. Roshan Joseph (2016). “Space-Filling Designs for Computer

Experiments: A Review,” (with discussions and rejoinder), Quality Engineering, 28, 28-44.

• V. Roshan Joseph, Gul, E., and Ba, S. (2015). “Maximum Projection Designs for Computer Experiments,” Biometrika, 102, 371-380.

• Gul, E., V. Roshan Joseph, Yan, H., and Melkote, S. N. “Uncertainty Quantification in Machining Simulations Using In Situ Emulator,” Under review.

40

[email protected]