Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-00830477
Contributor : Ist Inria Saclay <>
Submitted on : Wednesday, June 5, 2013 - 10:45:52 AM
Last modification on : Tuesday, March 16, 2021 - 3:42:04 PM
Long-term archiving on: : Tuesday, April 4, 2017 - 5:07:37 PM

File

paper_29.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00830477, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

139

Files downloads

261