Skip to Main content Skip to Navigation
Conference papers

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

Cited literature [32 references]  Display  Hide  Download

https://hal.inria.fr/hal-00809845
Contributor : Pierre Régnier <>
Submitted on : Tuesday, April 9, 2013 - 10:49:42 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:25 AM
Long-term archiving on: : Monday, April 3, 2017 - 3:22:48 AM

File

JFPC12.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00809845, version 1

Citation

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⟩

Share

Metrics

Record views

233

Files downloads

136