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 metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Malik Ghallab <>
Submitted on : Tuesday, December 18, 2018 - 2:59:35 PM
Last modification on : Thursday, June 10, 2021 - 3:06:43 AM


Files produced by the author(s)


  • HAL Id : hal-01959138, version 1


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⟩



Record views


Files downloads