Scheduling by Timed Automata under Resource Conflicts

Abstract : Considering time and resource limitations in different industries, increases importance and complexity of task scheduling problems where all tasks should be executed in the minimum time. Moreover, integrating uncontrollable tasks in the procedure makes more complexity in this problems. The main objective of our work is to propose a formal model and a tool for automatic scheduling of a system with a specific kind of resource conflict in order to minimize system's makespan as much as possible.
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. Modélisation des Systèmes Réactifs
Liste complète des métadonnées

https://hal.inria.fr/hal-01224494
Contributeur : Stephan Merz <>
Soumis le : jeudi 12 novembre 2015 - 13:41:57
Dernière modification le : mardi 16 janvier 2018 - 16:32:31

Annexe

Identifiants

  • HAL Id : hal-01224494, version 1

Collections

Citation

Mahya Rahimi, Eric Niel, Emil Dumitrescu. Scheduling by Timed Automata under Resource Conflicts. Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. Modélisation des Systèmes Réactifs. 〈hal-01224494〉

Partager

Métriques

Consultations de la notice

87

Téléchargements de fichiers

23