Coupling robust optimization and Model-Checking techniques for robust scheduling in the context of Industry 4.0 - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2020

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

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
168 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More