Une classe traitable de problèmes de planification temporelle - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Une classe traitable de problèmes de planification temporelle

Résumé

Cet article présente une classe de problèmes de planification temporelle solubles en temps poly- nomial. Ce résultat découle de deux hypothèses. Nous supposons d'abord que les sous-buts ne peuvent être établis que par une action unique, ce qui nous permet de déterminer rapidement les actions qui sont nécessaires dans tous les plans. Nous supposons également que les sous-buts sont monotones, ce qui nous permet d'exprimer la planification comme une instance de STP≠ (Simple Temporal Problem, difference cons- traints). Notre classe contient des problèmes temporellement expressifs, ce que nous illus- trons avec un exemple de planification de pro- cessus chimique.
Fichier principal
Vignette du fichier
JFPC12.pdf (355.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00809845 , version 1 (09-04-2013)

Identifiants

  • HAL Id : hal-00809845 , version 1

Citer

Martin Cooper, Frédéric Maris, Pierre Régnier, Florian Franc. Une classe traitable de problèmes de planification temporelle. JFPC 2012, May 2012, Toulouse, France. ⟨hal-00809845⟩
98 Consultations
74 Téléchargements

Partager

Gmail Facebook X LinkedIn More