Distributed Optimal Planning: an Approach by Weighted Automata Calculus

Eric Fabre 1, * Loïg Jezequel 2
* Auteur correspondant
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal state in an optimal manner, assuming actions have a cost. To cope with the complexity of the system, we propose a distributed/modular planning approach. In each automaton or component, an agent explores local action plans that reach the local goal. The agents have to coordinate their search in order to select local plans that 1/ can be assembled into a valid global plan and 2/ ensure the optimality of this global plan. The proposed solution takes the form of a message passing algorithm, of peer-to-peer nature: no coordinator is needed. We show that local plan selections can be performed by combining operations on weighted languages, and then propose a more practical implementation in terms of weighted automata calculus.
Type de document :
Communication dans un congrès
48th IEEE Conference on Decision and Control, Dec 2009, Shanghai, China. pp.211-216, 2009
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00931846
Contributeur : Eric Fabre <>
Soumis le : mercredi 15 janvier 2014 - 21:53:19
Dernière modification le : mardi 11 décembre 2018 - 10:34:01
Document(s) archivé(s) le : samedi 8 avril 2017 - 17:00:50

Fichier

versionfinaleCDC09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00931846, version 1

Citation

Eric Fabre, Loïg Jezequel. Distributed Optimal Planning: an Approach by Weighted Automata Calculus. 48th IEEE Conference on Decision and Control, Dec 2009, Shanghai, China. pp.211-216, 2009. 〈hal-00931846〉

Partager

Métriques

Consultations de la notice

386

Téléchargements de fichiers

181