Réseaux temporels simples étendus : Application à la gestion de satellites agiles - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Réseaux temporels simples étendus : Application à la gestion de satellites agiles

Résumé

Les r éseaux temporels simples (STN, Simple Temporal Networks) permettent de repr ésenter une conjonction de contraintes de distance minimale et maximale requises sur certains couples de positions temporelles. Ce papier propose une extension des STN incluant des contraintes temporelles plus g én érales, pour lesquelles la distance a respecter entre deux positions temporelles x et y n'est plus forc ément constante mais peut d épendre des instanciations de x et de y. De telles contraintes sont utiles pour traiter des probl èmes dans lesquels le temps de transition entre deux activit és peut d épendre de l'instant d'activation de la transition. L'extension propos ée est appel ée le cadre des "Time-dependent STN"(TSTN). Les propri étés de ce cadre sont étudi ées et les techniques de r ésolution classiques sur les STN sont étendues aux TSTN. Les contributions propos ées sont int égr ées dans un algorithme de recherche locale utilis é pour la gestion de satellites dits agiles.
Fichier principal
Vignette du fichier
paper_29.pdf (429.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00830477 , version 1 (05-06-2013)

Identifiants

  • HAL Id : hal-00830477 , version 1

Citer

Cédric Pralet, Gérard Verfaillie. Réseaux temporels simples étendus : Application à la gestion de satellites agiles. Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France. ⟨hal-00830477⟩

Collections

ONERA
52 Consultations
132 Téléchargements

Partager

Gmail Facebook X LinkedIn More