Les réseaux de contraintes quantitatives ultimement périodiques (UPSTP) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00000077 , version 1

Citer

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⟩
119 Consultations
41 Téléchargements

Partager

Gmail Facebook X LinkedIn More