Communication Dans Un Congrès Année : 2025

Study of the computational complexity of the repair problem on simple temporal networks with uncertainty

Résumé

Les réseaux temporels simples avec incertitude (STNU) sont un modèle basé sur les contraintes conçu pour vérifier la contrôlabilité temporelle d'un plan sous incertitude (lorsque certaines durées contingentes ne peuvent être déterminées par l'agent de planification). Quoi qu'il en soit, dans les cas de planification multi-agents ou dépendante des ressources, il peut être possible de négocier ou de reconsidérer la flexibilité exogène et d'ajuster les limites des durées incontrôlables. Plusieurs travaux proposent une solution optimale à ce problème de réparation selon les trois niveaux de contrôlabilité (faible, dynamique, forte). Cependant, aucun d'entre eux ne caractérise la complexité théorique de ce problème. Cet article propose une évaluation approfondie de la complexité du problème de réparation pour les STNU.

Fichier principal
Vignette du fichier
19_Study_of_the_Computational_.pdf (307.44 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05109629 , version 1 (12-06-2025)

Licence

Identifiants

  • HAL Id : hal-05109629 , version 1

Citer

Frédéric Maris, Aïdin Sumic, Thierry Vidal, Bruno Zanuttini. Study of the computational complexity of the repair problem on simple temporal networks with uncertainty. Actes des Journées d'Intelligence Artificielle Fondamentale (JIAF 2025) et des Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2025), Jul 2025, Dijon, France. ⟨hal-05109629⟩
5149 Consultations
217 Téléchargements

Partager

  • More