Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914943718129664 |
|---|---|
| author | Fang, Amy Yin, Tenny Kress-Gazit, Hadas |
| author_facet | Fang, Amy Yin, Tenny Kress-Gazit, Hadas |
| contents | Given a collaborative high-level task and a team of heterogeneous robots and behaviors to satisfy it, this work focuses on the challenge of automatically, at runtime, adjusting the individual robot behaviors such that the task is still satisfied, when robots encounter changes to their abilities--either failures or additional actions they can perform. We consider tasks encoded in LTL^ψand minimize global teaming reassignments (and as a result, local resynthesis) when robots' capabilities change. We also increase the expressivity of LTL^ψby including additional types of constraints on the overall teaming assignment that the user can specify, such as the minimum number of robots required for each assignment. We demonstrate the framework in a simulated warehouse scenario. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_05251 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities Fang, Amy Yin, Tenny Kress-Gazit, Hadas Robotics Given a collaborative high-level task and a team of heterogeneous robots and behaviors to satisfy it, this work focuses on the challenge of automatically, at runtime, adjusting the individual robot behaviors such that the task is still satisfied, when robots encounter changes to their abilities--either failures or additional actions they can perform. We consider tasks encoded in LTL^ψand minimize global teaming reassignments (and as a result, local resynthesis) when robots' capabilities change. We also increase the expressivity of LTL^ψby including additional types of constraints on the overall teaming assignment that the user can specify, such as the minimum number of robots required for each assignment. We demonstrate the framework in a simulated warehouse scenario. |
| title | Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities |
| topic | Robotics |
| url | https://arxiv.org/abs/2409.05251 |