Skip to Main content Skip to Navigation
Conference papers

Controller Synthesis for Hierarchical Agent Interactions

Abstract : We give a formalism and an algorithm for synthesizing controllers to coordinate interactions among hierarchically organized agents. Typical applications are, for example, in harbor or warehouse automation. The formalism models agents as hierarchical input/output automata, and models a system of interacting agents as the parallel composition of the automata. It extends 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 contribution is mostly theoretical: we formally define the representation, and present theorems about its properties (i.e., the parallel and hierarchical composition are distributive operations), as well as the correctness and completeness of the synthesis algorithm.
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal.laas.fr/hal-01959152
Contributor : Malik Ghallab <>
Submitted on : Tuesday, January 15, 2019 - 1:33:31 PM
Last modification on : Friday, January 10, 2020 - 9:10:15 PM
Long-term archiving on: : Tuesday, April 16, 2019 - 12:54:52 PM

File

ioa.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01959152, version 1

Citation

Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana Nau. Controller Synthesis for Hierarchical Agent Interactions. Annual Conference on Advances in Cognitive Systems (COGSYS), Cognitive Systems Foundation, Aug 2018, Stanford, United States. ⟨hal-01959152⟩

Share

Metrics

Record views

47

Files downloads

53