Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

10 résultats
Image document

Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule

Sara Himmiche , Alexis Aubry , Pascale Marangé , Jean-François Pétin , Marie Duflot
7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA'17, Oct 2017, Nantes, France
Communication dans un congrès hal-01652140v1

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

Pascale Marangé , David Lemoine , Alexis Aubry , Sara Himmiche , Sylvie Norre , et al.
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⟩
Chapitre d'ouvrage hal-02479424v1
Image document

TABS v2.0 : Atelier logiciel d’ordonnancement et d’évaluation de la robustesse basé sur les automates temporisés

Rémi Pannequin , Sara Himmiche , Pascale Marangé , Alexis Aubry
13ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2021, CNAM Paris, Nov 2021, Paris, France
Communication dans un congrès hal-04053210v1

Robust production scheduling under machine failures - A DES based evaluation approach

Sara Himmiche , Pascale Marangé , Alexis Aubry , Jean-François Pétin
14th IFAC Workshop on Discrete Event Systems, WODES 2018, May 2018, Sorrento Coast, Italy. ⟨10.1016/j.ifacol.2018.06.312⟩
Communication dans un congrès hal-01849606v1
Image document

Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques

Sara Himmiche , Pascale Marangé , Alexis Aubry , Marie Duflot , Jean-François Pétin
11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France
Communication dans un congrès hal-01652138v1
Image document

Hybridization of mixed-integer linear program and discrete event systems for robust scheduling on parallel machines

Alexis Aubry , Pascale Marangé , David Lemoine , Sara Himmiche , Sylvie Norre
International Conference on Advances in Production Management Systems, APMS 2021, Sep 2021, Nantes, France. pp.73-80, ⟨10.1007/978-3-030-85874-2_8⟩
Communication dans un congrès hal-03337509v1
Image document

A framework for robust scheduling under stochastic perturbations

Sara Himmiche , Alexis Aubry , Pascale Marangé , Jean-François Pétin
17th IFAC Symposium on Information Control Problems in Manufacturing INCOM 2021, Jun 2021, Budapest (virtual), Hungary. ⟨10.1016/j.ifacol.2021.08.137⟩
Communication dans un congrès hal-03479703v1
Image document

Ordonnancement sous perturbations : cadre d'étude et approche d'évaluation de la robustesse par automates stochastiques

Sara Himmiche
Automatique / Robotique. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0177⟩
Thèse tel-03153444v1
Image document

Modeling flexible workshops scheduling problems: evaluating a timed automata based approach vs MILP

Sara Himmiche , Alexis Aubry , Pascale Marangé , Jean-Francois Pétin
20th IFAC World Congress, IFAC 2017, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.346⟩
Communication dans un congrès hal-01565631v1
Image document

Approche et cadre de modélisation pour l'évaluation de l'impact de perturbations sur un ordonnancement

Sara Himmiche , Pascale Marangé , Alexis Aubry , Jean-François Pétin
12ème Colloque sur la Modélisation des Systèmes Réactifs, MSR'19, Nov 2019, Angers, France
Communication dans un congrès hal-02415927v1