Coupling robust optimization and Model-Checking techniques for robust scheduling in the context of Industry 4.0

International audience; This chapter presents a generic methodology when considering robustness in production systems of Industry 4. It is the first milestone for coupling Operations Research models for robust optimization and Discrete Event Systems models and tools for property checking. The idea is to iteratively call Operations Research and Discrete Event Systems Models for converging towards a solution with the required robustness level defined by the decision-maker.