Coupling robust optimization and Model-Checking techniques for robust scheduling in the context of Industry 4.0 - Archive ouverte HAL Access content directly
Book Sections Year : 2020

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

Abstract

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.
No file

Dates and versions

hal-02479424 , version 1 (14-02-2020)

Identifiers

Cite

Pascale Marangé, David Lemoine, Alexis Aubry, Sara Himmiche, Sylvie Norre, et al.. Coupling robust optimization and Model-Checking techniques for robust scheduling in the context of Industry 4.0. Boris Sokolov and Dmitry Ivanov and Alexandre Dolgui. Scheduling in Industry 4.0 and Cloud Manufacturing, 289, Springer International Publishing, 2020, International Series in Operations Research & Management Science, 978-3-030-43176-1. ⟨10.1007/978-3-030-43177-8_6⟩. ⟨hal-02479424⟩
160 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More