Coordination and Control of Hierarchically Organized Interacting Agents Article Swipe
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.
Related Topics
Concepts
Metadata
- Type
- other
- Language
- en
- Landing Page
- https://laas.hal.science/hal-03211012
- OA Status
- green
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4296259684
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4296259684Canonical identifier for this work in OpenAlex
- Title
-
Coordination and Control of Hierarchically Organized Interacting AgentsWork title
- Type
-
otherOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2021Year of publication
- Publication date
-
2021-05-10Full publication date if available
- Authors
-
Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana NauList of authors in order
- Landing page
-
https://laas.hal.science/hal-03211012Publisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://laas.hal.science/hal-03211012Direct OA link when available
- Concepts
-
Computer science, Control (management), Distributed computing, Human–computer interaction, Artificial intelligenceTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4296259684 |
|---|---|
| doi | |
| ids.openalex | https://openalex.org/W4296259684 |
| fwci | |
| type | other |
| title | Coordination and Control of Hierarchically Organized Interacting Agents |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T11125 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9988999962806702 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1703 |
| topics[0].subfield.display_name | Computational Theory and Mathematics |
| topics[0].display_name | Petri Nets in System Modeling |
| topics[1].id | https://openalex.org/T11010 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9976000189781189 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1702 |
| topics[1].subfield.display_name | Artificial Intelligence |
| topics[1].display_name | Logic, Reasoning, and Knowledge |
| topics[2].id | https://openalex.org/T10317 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9973999857902527 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1705 |
| topics[2].subfield.display_name | Computer Networks and Communications |
| topics[2].display_name | Advanced Database Systems and Queries |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C41008148 |
| concepts[0].level | 0 |
| concepts[0].score | 0.6016458868980408 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[0].display_name | Computer science |
| concepts[1].id | https://openalex.org/C2775924081 |
| concepts[1].level | 2 |
| concepts[1].score | 0.494415283203125 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q55608371 |
| concepts[1].display_name | Control (management) |
| concepts[2].id | https://openalex.org/C120314980 |
| concepts[2].level | 1 |
| concepts[2].score | 0.4515277147293091 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q180634 |
| concepts[2].display_name | Distributed computing |
| concepts[3].id | https://openalex.org/C107457646 |
| concepts[3].level | 1 |
| concepts[3].score | 0.33453425765037537 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q207434 |
| concepts[3].display_name | Human–computer interaction |
| concepts[4].id | https://openalex.org/C154945302 |
| concepts[4].level | 1 |
| concepts[4].score | 0.2611091732978821 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q11660 |
| concepts[4].display_name | Artificial intelligence |
| keywords[0].id | https://openalex.org/keywords/computer-science |
| keywords[0].score | 0.6016458868980408 |
| keywords[0].display_name | Computer science |
| keywords[1].id | https://openalex.org/keywords/control |
| keywords[1].score | 0.494415283203125 |
| keywords[1].display_name | Control (management) |
| keywords[2].id | https://openalex.org/keywords/distributed-computing |
| keywords[2].score | 0.4515277147293091 |
| keywords[2].display_name | Distributed computing |
| keywords[3].id | https://openalex.org/keywords/human–computer-interaction |
| keywords[3].score | 0.33453425765037537 |
| keywords[3].display_name | Human–computer interaction |
| keywords[4].id | https://openalex.org/keywords/artificial-intelligence |
| keywords[4].score | 0.2611091732978821 |
| keywords[4].display_name | Artificial intelligence |
| language | en |
| locations[0].id | pmh:oai:HAL:hal-03211012v1 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4306402512 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | HAL (Le Centre pour la Communication Scientifique Directe) |
| locations[0].source.host_organization | https://openalex.org/I1294671590 |
| locations[0].source.host_organization_name | Centre National de la Recherche Scientifique |
| locations[0].source.host_organization_lineage | https://openalex.org/I1294671590 |
| locations[0].license | other-oa |
| locations[0].pdf_url | |
| locations[0].version | submittedVersion |
| locations[0].raw_type | Conference papers |
| locations[0].license_id | https://openalex.org/licenses/other-oa |
| locations[0].is_accepted | False |
| locations[0].is_published | False |
| locations[0].raw_source_name | 34th Florida Artificial Intelligence Research Society Conference (FLAIRS-34), May 2021, Miami, United States |
| locations[0].landing_page_url | https://laas.hal.science/hal-03211012 |
| locations[1].id | pmh:oai:oskar-bordeaux.fr:20.500.12278/37745 |
| locations[1].is_oa | False |
| locations[1].source.id | https://openalex.org/S4306402569 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | Oskar-Bordeaux (Universite de Bordeaux) |
| locations[1].source.host_organization | |
| locations[1].source.host_organization_name | |
| locations[1].license | |
| locations[1].pdf_url | |
| locations[1].version | submittedVersion |
| locations[1].raw_type | Communication dans un congrès avec actes |
| locations[1].license_id | |
| locations[1].is_accepted | False |
| locations[1].is_published | False |
| locations[1].raw_source_name | |
| locations[1].landing_page_url | https://oskar-bordeaux.fr/handle/20.500.12278/37745 |
| authorships[0].author.id | https://openalex.org/A5004581055 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-6291-7565 |
| authorships[0].author.display_name | Sunandita Patra |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Patra, Sunandita |
| authorships[0].is_corresponding | False |
| authorships[1].author.id | https://openalex.org/A5039482178 |
| authorships[1].author.orcid | https://orcid.org/0000-0001-6301-0204 |
| authorships[1].author.display_name | Paolo Traverso |
| authorships[1].countries | IT |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I2277624104 |
| authorships[1].affiliations[0].raw_affiliation_string | Fondazione Bruno Kessler [Trento, Italy] |
| authorships[1].institutions[0].id | https://openalex.org/I2277624104 |
| authorships[1].institutions[0].ror | https://ror.org/01j33xk10 |
| authorships[1].institutions[0].type | facility |
| authorships[1].institutions[0].lineage | https://openalex.org/I2277624104 |
| authorships[1].institutions[0].country_code | IT |
| authorships[1].institutions[0].display_name | Fondazione Bruno Kessler |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Traverso, Paolo |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Fondazione Bruno Kessler [Trento, Italy] |
| authorships[2].author.id | https://openalex.org/A5038185516 |
| authorships[2].author.orcid | https://orcid.org/0000-0002-4326-049X |
| authorships[2].author.display_name | Malik Ghallab |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Ghallab, Malik |
| authorships[2].is_corresponding | False |
| authorships[3].author.id | https://openalex.org/A5084686808 |
| authorships[3].author.orcid | https://orcid.org/0000-0001-6940-6293 |
| authorships[3].author.display_name | Dana Nau |
| authorships[3].author_position | last |
| authorships[3].raw_author_name | Nau, Dana |
| authorships[3].is_corresponding | False |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://laas.hal.science/hal-03211012 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Coordination and Control of Hierarchically Organized Interacting Agents |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T04:12:42.849631 |
| primary_topic.id | https://openalex.org/T11125 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9988999962806702 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1703 |
| primary_topic.subfield.display_name | Computational Theory and Mathematics |
| primary_topic.display_name | Petri Nets in System Modeling |
| related_works | https://openalex.org/W2899084033, https://openalex.org/W2748952813, https://openalex.org/W2390279801, https://openalex.org/W2358668433, https://openalex.org/W2376932109, https://openalex.org/W2001405890, https://openalex.org/W2382290278, https://openalex.org/W2350741829, https://openalex.org/W2130043461, https://openalex.org/W2530322880 |
| cited_by_count | 0 |
| locations_count | 2 |
| best_oa_location.id | pmh:oai:HAL:hal-03211012v1 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306402512 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | False |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | HAL (Le Centre pour la Communication Scientifique Directe) |
| best_oa_location.source.host_organization | https://openalex.org/I1294671590 |
| best_oa_location.source.host_organization_name | Centre National de la Recherche Scientifique |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I1294671590 |
| best_oa_location.license | other-oa |
| best_oa_location.pdf_url | |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | Conference papers |
| best_oa_location.license_id | https://openalex.org/licenses/other-oa |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | 34th Florida Artificial Intelligence Research Society Conference (FLAIRS-34), May 2021, Miami, United States |
| best_oa_location.landing_page_url | https://laas.hal.science/hal-03211012 |
| primary_location.id | pmh:oai:HAL:hal-03211012v1 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4306402512 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | HAL (Le Centre pour la Communication Scientifique Directe) |
| primary_location.source.host_organization | https://openalex.org/I1294671590 |
| primary_location.source.host_organization_name | Centre National de la Recherche Scientifique |
| primary_location.source.host_organization_lineage | https://openalex.org/I1294671590 |
| primary_location.license | other-oa |
| primary_location.pdf_url | |
| primary_location.version | submittedVersion |
| primary_location.raw_type | Conference papers |
| primary_location.license_id | https://openalex.org/licenses/other-oa |
| primary_location.is_accepted | False |
| primary_location.is_published | False |
| primary_location.raw_source_name | 34th Florida Artificial Intelligence Research Society Conference (FLAIRS-34), May 2021, Miami, United States |
| primary_location.landing_page_url | https://laas.hal.science/hal-03211012 |
| publication_date | 2021-05-10 |
| publication_year | 2021 |
| referenced_works_count | 0 |
| abstract_inverted_index.A | 21, 31 |
| abstract_inverted_index.a | 56 |
| abstract_inverted_index.We | 45, 67 |
| abstract_inverted_index.an | 10, 69 |
| abstract_inverted_index.as | 25, 38 |
| abstract_inverted_index.be | 119 |
| abstract_inverted_index.in | 13, 81 |
| abstract_inverted_index.is | 9, 29, 36 |
| abstract_inverted_index.of | 4, 23, 33, 42, 52 |
| abstract_inverted_index.or | 18 |
| abstract_inverted_index.to | 71, 76, 83, 118 |
| abstract_inverted_index.I/O | 53 |
| abstract_inverted_index.Our | 90 |
| abstract_inverted_index.The | 0 |
| abstract_inverted_index.and | 2, 107, 113, 121 |
| abstract_inverted_index.are | 110 |
| abstract_inverted_index.for | 60 |
| abstract_inverted_index.its | 102 |
| abstract_inverted_index.the | 39, 47, 78, 85, 94, 97, 99, 105, 114 |
| abstract_inverted_index.into | 64 |
| abstract_inverted_index.main | 91 |
| abstract_inverted_index.many | 14 |
| abstract_inverted_index.with | 55 |
| abstract_inverted_index.about | 101 |
| abstract_inverted_index.drive | 84 |
| abstract_inverted_index.e.g., | 16 |
| abstract_inverted_index.issue | 12 |
| abstract_inverted_index.order | 82 |
| abstract_inverted_index.tasks | 63 |
| abstract_inverted_index.their | 43 |
| abstract_inverted_index.usual | 48 |
| abstract_inverted_index.(i.e., | 104 |
| abstract_inverted_index.agents | 8, 24, 35 |
| abstract_inverted_index.extend | 46 |
| abstract_inverted_index.formal | 95 |
| abstract_inverted_index.harbor | 17 |
| abstract_inverted_index.proved | 117 |
| abstract_inverted_index.system | 32, 86 |
| abstract_inverted_index.toward | 87 |
| abstract_inverted_index.agents' | 79 |
| abstract_inverted_index.control | 3 |
| abstract_inverted_index.desired | 88 |
| abstract_inverted_index.modeled | 37 |
| abstract_inverted_index.provide | 68 |
| abstract_inverted_index.regards | 93 |
| abstract_inverted_index.states. | 89 |
| abstract_inverted_index.abstract | 62 |
| abstract_inverted_index.automata | 28, 54 |
| abstract_inverted_index.complete | 120 |
| abstract_inverted_index.correct. | 122 |
| abstract_inverted_index.parallel | 40, 49, 106 |
| abstract_inverted_index.refining | 61 |
| abstract_inverted_index.theorems | 100 |
| abstract_inverted_index.algorithm | 70 |
| abstract_inverted_index.automata. | 44 |
| abstract_inverted_index.formalism | 22 |
| abstract_inverted_index.important | 11 |
| abstract_inverted_index.operation | 51, 59 |
| abstract_inverted_index.organized | 6, 74 |
| abstract_inverted_index.proposed. | 30 |
| abstract_inverted_index.subtasks. | 66 |
| abstract_inverted_index.synthesis | 115 |
| abstract_inverted_index.warehouse | 19 |
| abstract_inverted_index.algorithm, | 116 |
| abstract_inverted_index.coordinate | 77 |
| abstract_inverted_index.properties | 103 |
| abstract_inverted_index.synthesize | 72 |
| abstract_inverted_index.automation. | 20 |
| abstract_inverted_index.composition | 41, 50, 58, 109 |
| abstract_inverted_index.controllers | 75 |
| abstract_inverted_index.definition, | 96 |
| abstract_inverted_index.interacting | 7, 34 |
| abstract_inverted_index.lower-level | 65 |
| abstract_inverted_index.contribution | 92 |
| abstract_inverted_index.coordination | 1 |
| abstract_inverted_index.distributive | 111 |
| abstract_inverted_index.hierarchical | 26, 57, 108 |
| abstract_inverted_index.input/output | 27 |
| abstract_inverted_index.interactions | 80 |
| abstract_inverted_index.operations), | 112 |
| abstract_inverted_index.applications, | 15 |
| abstract_inverted_index.hierarchically | 5, 73 |
| abstract_inverted_index.representation, | 98 |
| cited_by_percentile_year | |
| countries_distinct_count | 1 |
| institutions_distinct_count | 4 |
| citation_normalized_percentile |