Skip to Main content Skip to Navigation
Conference papers

Planning and Acting with Hierarchical Input/Output Automata

Abstract : 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.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.laas.fr/hal-01959138
Contributor : Malik Ghallab <>
Submitted on : Tuesday, December 18, 2018 - 2:59:35 PM
Last modification on : Friday, January 10, 2020 - 9:10:16 PM

File

icaps.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01959138, version 1

Citation

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⟩

Share

Metrics

Record views

50

Files downloads

87