Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.09285 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912028650635264 |
|---|---|
| author | Berlind, Carter Liu, Wenliang Pierson, Alyssa Belta, Calin |
| author_facet | Berlind, Carter Liu, Wenliang Pierson, Alyssa Belta, Calin |
| contents | This paper considers how heterogeneous multi-agent teams can leverage their different capabilities to mutually improve individual agent performance. We present Capability-Augmenting Tasks (CATs), which encode how agents can augment their capabilities based on interactions with other teammates. Our framework integrates CAT into the semantics of Metric Temporal Logic (MTL), which defines individual spatio-temporal tasks for all agents. A centralized Mixed-Integer Program (MIP) is used to synthesize trajectories for all agents. We compare the expressivity of our approach to a baseline of Capability Temporal Logic Plus (CaTL+). Case studies demonstrate that our approach allows for simpler specifications and improves individual performance when agents leverage the capabilities of their teammates. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_09285 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks Berlind, Carter Liu, Wenliang Pierson, Alyssa Belta, Calin Systems and Control This paper considers how heterogeneous multi-agent teams can leverage their different capabilities to mutually improve individual agent performance. We present Capability-Augmenting Tasks (CATs), which encode how agents can augment their capabilities based on interactions with other teammates. Our framework integrates CAT into the semantics of Metric Temporal Logic (MTL), which defines individual spatio-temporal tasks for all agents. A centralized Mixed-Integer Program (MIP) is used to synthesize trajectories for all agents. We compare the expressivity of our approach to a baseline of Capability Temporal Logic Plus (CaTL+). Case studies demonstrate that our approach allows for simpler specifications and improves individual performance when agents leverage the capabilities of their teammates. |
| title | Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2409.09285 |