Gestion des Réseaux Temporels Simples Multi-agents dynamiques


La réalisation de plans d'activités par plusieurs agents est généralement soumise à un ensemble de contraintes temporelles, impliquant notamment des contraintes de synchronisation entre agents. L'ensemble des contraintes temporelles d'un plan distribué peut être représenté en utilisant une structure Multi-agent Simple Temporal Network (MaSTN). Dans ce papier, nous considérons le problème du maintien de la cohérence temporelle des plans distribués durant l'exécution, où les contraintes temporelles peuvent être modifiées. Pour cela, nous proposons de nouveaux algorithmes incrémentaux pour gérer les MaSTN dynamiques. Nous analysons les performances de ces algorithmes lorsque les communications sont intermittentes. The realization of plans of activities by several agents is usually subject to a set of temporal constraints, including synchronization constraints between agents. To represent the set of temporal constraints imposed on distributed plans, the framework of Multi-agent Simple Temporal Network (MaSTN) can be used. In this paper, we consider the problem of maintaining the temporal consistency of distributed plans during execution, when temporal constraints may be updated. We propose new incremental algorithms for managing dynamic MaSTNs, and we analyze the performance of these algorithms when communications are intermittent.