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

Résumé : 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.
Type de document :
Communication dans un congrès
Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.87-94, 2008
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00290945
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : jeudi 26 juin 2008 - 16:10:22
Dernière modification le : mercredi 29 novembre 2017 - 10:20:09
Document(s) archivé(s) le : vendredi 28 mai 2010 - 21:01:18

Fichier

pages-087-94-article53.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00290945, version 1

Collections

Citation

Marco Benedetti, Arnaud Lallouet, Jeremie Vautard. Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+. Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.87-94, 2008. 〈inria-00290945〉

Partager

Métriques

Consultations de la notice

140

Téléchargements de fichiers

123