Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00290945
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Submitted on : Thursday, June 26, 2008 - 4:10:22 PM
Last modification on : Thursday, February 7, 2019 - 4:48:17 PM
Long-term archiving on: : Friday, May 28, 2010 - 9:01:18 PM

File

pages-087-94-article53.pdf
Files produced by the author(s)

Identifiers

  • 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+. 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⟩

Share

Metrics

Record views

183

Files downloads

161