Skip to Main content Skip to Navigation
Book sections

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

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02479424
Contributor : David Lemoine <>
Submitted on : Friday, February 14, 2020 - 2:51:52 PM
Last modification on : Thursday, February 27, 2020 - 1:15:10 AM

Identifiers

Citation

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, In press, International Series in Operations Research & Management Science, 978-3-030-43176-1. ⟨10.1007/978-3-030-43177-8⟩. ⟨hal-02479424⟩

Share

Metrics

Record views

85