Networks of automata with read arcs: a tool for distributed planning - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Networks of automata with read arcs: a tool for distributed planning

Résumé

A planning problem consists in driving a system from its current state to a set of target states. Problems are generally expressed by a collection of state variables, and actions that change the value of a subset of these variables. Such problems can be modeled as networks of automata, one per state variable, that partially synchronize on some actions. Distributed planning (or factored planning) consists in driving each of these automata to its goal state(s), while preserving the coherence of their interactions. Real planning problems, however, need to model actions that can only be performed in one component when another component is in a specific state. This paper proposes a mechanism to capture this phenomenon, under the form of automata with read arcs, reproducing what already exists for Petri nets. It is shown that a previous approach to distributed planning, based on automata computations, can be extended to this new setting.
Fichier principal
Vignette du fichier
IFAC2011.pdf (149.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01699586 , version 1 (02-02-2018)

Identifiants

  • HAL Id : hal-01699586 , version 1

Citer

Loïg Jezequel, Eric Fabre. Networks of automata with read arcs: a tool for distributed planning. 18th IFAC World Congress, Aug 2011, Milan, Italy. ⟨hal-01699586⟩
300 Consultations
97 Téléchargements

Partager

More