Coordination and Control of Hierarchically Organized Interacting Agents - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Coordination and Control of Hierarchically Organized Interacting Agents

Sunandita Patra
  • Fonction : Auteur
  • PersonId : 1040749
Paolo Traverso
  • Fonction : Auteur
  • PersonId : 1040752
Malik Ghallab
Dana Nau
  • Fonction : Auteur
  • PersonId : 1097160

Résumé

The coordination and control of hierarchically organized interacting agents is an important issue in many applications, e.g., harbor or warehouse automation. A formalism of agents as hierarchical input/output automata is proposed. A system of interacting agents is modeled as the parallel composition of their automata. We extend the usual parallel composition operation of I/O automata with a hierarchical composition operation for refining abstract tasks into lower-level subtasks. We provide an algorithm to synthesize hierarchically organized controllers to coordinate the agents' interactions in order to drive the system toward desired states. Our main contribution regards the formal definition, the representation, the theorems about its properties (i.e., the parallel and hierarchical composition are distributive operations), and the synthesis algorithm, proved to be complete and correct.
Fichier principal
Vignette du fichier
FLAIRS-34_Paper_181.pdf (450.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03211012 , version 1 (28-04-2021)

Identifiants

  • HAL Id : hal-03211012 , version 1

Citer

Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana Nau. Coordination and Control of Hierarchically Organized Interacting Agents. 34th Florida Artificial Intelligence Research Society Conference (FLAIRS-34), May 2021, Miami, United States. ⟨hal-03211012⟩
21 Consultations
18 Téléchargements

Partager

Gmail Facebook X LinkedIn More