Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+ - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+

Abstract

Dans ce papier, nous considérons les problèmes d'ordonnancement à ressources cumulatives en présence d'un adversaire. Il s'agit pour l'ordonnanceur de gérer les ressources disponibles de façon à rester en deçà d'une date limite, tandis qu'un adversaire peut modifier certains paramètres - comme par exemple la consommation en ressources de certaines tâches - dans une limite donnée. La question est donc de savoir s'il existe un ordonnancement robuste, c'est à dire dont le déroulement est garanti, quelque soit le comportement de l'adversaire. Nous proposons une modélisation de ce problème en QCSP+, un formalisme voisin des problèmes de satisfaction de contraintes quantifiées dans lequel la quantification peut être restreinte. Nous présentons la résolution de différentes instances au moyen du solveur QeCode.
Fichier principal
Vignette du fichier
pages-087-94-article53.pdf (346.41 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00290945 , version 1 (26-06-2008)

Identifiers

  • HAL Id : inria-00290945 , version 1

Cite

Marco Benedetti, Arnaud Lallouet, Jeremie Vautard. Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.87-94. ⟨inria-00290945⟩
86 View
87 Download

Share

Gmail Mastodon Facebook X LinkedIn More