Anzeige
Erschienen in:
2018 | OriginalPaper | Buchkapitel
Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule
verfasst von : Sara Himmiche, Alexis Aubry, Pascale Marangé, Marie Duflot-Kremer, Jean-François Pétin
Erschienen in: Service Orientation in Holonic and Multi-Agent Manufacturing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
Industry 4.0 implies new scheduling problems linked to the optimal using of flexible resources and to mass customisation of products. In this context, first research results show that Discrete Event Systems models and tools are a relevant alternative to the classical approaches for modelling scheduling problems and for solving them. Moreover, the challenges of the Industry 4.0 mean taking into account the uncertainties linked to the mass customisation (volume and mix of the demand) but also to the states of the resources (failures, operation durations, ...). The goal of this paper is to show how it is possible to use the simulation based on statistical model checking for taking into account these uncertainties and for evaluating the robustness of a given schedule.