Skip to Main content Skip to Navigation
Conference papers

Les réseaux de contraintes quantitatives ultimement périodiques (UPSTP)

Résumé : Dans cette étude, nous considérons des réseaux de contraintes quantitatives temporelles ou spatiales évoluant au cours du temps de manière périodique. Ces réseaux de contraintes sont une extension des STP (Simple Temporal Problems). Nous étudions les propriétés de base de ces réseaux de contraintes, et nous proposons également un algorithme de propagation locale de contraintes. Nous montrons que pour plusieurs cas intéressants cet algorithme est complet et donc résout le problème de la cohérence.
Complete list of metadata

https://hal.inria.fr/inria-00000077
Contributor : Christine Solnon <>
Submitted on : Thursday, May 26, 2005 - 12:43:07 PM
Last modification on : Tuesday, December 8, 2020 - 3:42:11 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:33:36 PM

Files

Identifiers

  • HAL Id : inria-00000077, version 1

Citation

Jean-François Condotta, Gérard Ligozat, Stavros Tripakis. Les réseaux de contraintes quantitatives ultimement périodiques (UPSTP). Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.287-296. ⟨inria-00000077⟩

Share

Metrics

Record views

244

Files downloads

123