Automated Robot Recovery from Assumption Violations of High-Level Specifications
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917709804994560 |
|---|---|
| author | Meng, Qian Kress-Gazit, Hadas |
| author_facet | Meng, Qian Kress-Gazit, Hadas |
| contents | This paper presents a framework that enables robots to automatically recover from assumption violations of high-level specifications during task execution. In contrast to previous methods relying on user intervention to impose additional assumptions for failure recovery, our approach leverages synthesis-based repair to suggest new robot skills that, when implemented, repair the task. Our approach detects violations of environment safety assumptions during the task execution, relaxes the assumptions to admit observed environment behaviors, and acquires new robot skills for task completion. We demonstrate our approach with a Hello Robot Stretch in a factory-like scenario. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_00562 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Automated Robot Recovery from Assumption Violations of High-Level Specifications Meng, Qian Kress-Gazit, Hadas Robotics 68T40 This paper presents a framework that enables robots to automatically recover from assumption violations of high-level specifications during task execution. In contrast to previous methods relying on user intervention to impose additional assumptions for failure recovery, our approach leverages synthesis-based repair to suggest new robot skills that, when implemented, repair the task. Our approach detects violations of environment safety assumptions during the task execution, relaxes the assumptions to admit observed environment behaviors, and acquires new robot skills for task completion. We demonstrate our approach with a Hello Robot Stretch in a factory-like scenario. |
| title | Automated Robot Recovery from Assumption Violations of High-Level Specifications |
| topic | Robotics 68T40 |
| url | https://arxiv.org/abs/2407.00562 |