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.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |