Les réseaux de contraintes quantitatives ultimement périodiques (UPSTP) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

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

Abstract

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.
Fichier principal
Vignette du fichier
53.pdf (342.76 Ko) Télécharger le fichier

Dates and versions

inria-00000077 , version 1 (26-05-2005)

Identifiers

  • HAL Id : inria-00000077 , version 1

Cite

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⟩
118 View
39 Download

Share

Gmail Facebook Twitter LinkedIn More