Ultimately Periodic Simple Temporal Problems (UPSTPs) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Ultimately Periodic Simple Temporal Problems (UPSTPs)

Jean-François Condotta
Stavros Tripakis
  • Fonction : Auteur
  • PersonId : 1003913

Résumé

In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are an extension of STPs (Simple Temporal Problems). We study some properties of these new types of constraint networks. We also propose a constraint propagation algorithm. We show that this algorithm decides the consistency problem in some particular cases.
Fichier principal
Vignette du fichier
time06.pdf (202.85 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01487350 , version 1 (11-03-2017)

Identifiants

Citer

Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis. Ultimately Periodic Simple Temporal Problems (UPSTPs). International Symposium on Temporal Representation and Reasoning , Jun 2006, Budapest, Hungary. pp.69 - 77, ⟨10.1109/TIME.2006.33⟩. ⟨hal-01487350⟩
102 Consultations
98 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More