Réseaux temporels simples étendus : Application à la gestion de satellites agiles
Abstract
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.
Domains
Artificial Intelligence [cs.AI]
Origin : Files produced by the author(s)
Loading...