Planning and Acting with Hierarchical Input/Output Automata - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Planning and Acting with Hierarchical Input/Output Automata

Résumé

This paper introduces an original framework for planning and acting with hierarchical input/output automata for systems defined by the parallel composition of the models of their components. Typical applications are, for example, in harbor or warehouse automation. The framework extends the usual parallel composition operation of I/O au-tomata with a hierarchical composition operation that can refine a task. It defines planning as the synthesis of a control component to drive, through I/O interactions and task refinement, the system toward desired states. A new nondeterministic algorithm performs this synthesis. We tackle these issues on a theoretical basis. We formally define the representation and prove that the two operations of parallel and hierarchical composition are distributive, which is essential for the correctness and completeness of the proposed planning algorithm.
Fichier principal
Vignette du fichier
icaps.pdf (396.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01959138 , version 1 (18-12-2018)

Identifiants

  • HAL Id : hal-01959138 , version 1

Citer

Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana Nau. Planning and Acting with Hierarchical Input/Output Automata. ICAPS Workshop on Generalized Planning, Jun 2017, Pittsburgh, United States. ⟨hal-01959138⟩
30 Consultations
8 Téléchargements

Partager

Gmail Facebook X LinkedIn More