Modular model-based supervisory controller design for wafer logistics in lithography machines