Bezier Reachable Polytopes: Efficient Certificates for Robust Motion Planning with Layered Architectures
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_ | 1866915027870547968 |
|---|---|
| author | Csomay-Shanklin, Noel Ames, Aaron D. |
| author_facet | Csomay-Shanklin, Noel Ames, Aaron D. |
| contents | Control architectures are often implemented in a layered fashion, combining independently designed blocks to achieve complex tasks. Providing guarantees for such hierarchical frameworks requires considering the capabilities and limitations of each layer and their interconnections at design time. To address this holistic design challenge, we introduce the notion of Bezier Reachable Polytopes -- certificates of reachable points in the space of Bezier polynomial reference trajectories. This approach captures the set of trajectories that can be tracked by a low-level controller while satisfying state and input constraints, and leverages the geometric properties of Bezier polynomials to maintain an efficient polytopic representation. As a result, these certificates serve as a constructive tool for layered architectures, enabling long-horizon tasks to be reasoned about in a computationally tractable manner. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_13506 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Bezier Reachable Polytopes: Efficient Certificates for Robust Motion Planning with Layered Architectures Csomay-Shanklin, Noel Ames, Aaron D. Robotics Systems and Control Control architectures are often implemented in a layered fashion, combining independently designed blocks to achieve complex tasks. Providing guarantees for such hierarchical frameworks requires considering the capabilities and limitations of each layer and their interconnections at design time. To address this holistic design challenge, we introduce the notion of Bezier Reachable Polytopes -- certificates of reachable points in the space of Bezier polynomial reference trajectories. This approach captures the set of trajectories that can be tracked by a low-level controller while satisfying state and input constraints, and leverages the geometric properties of Bezier polynomials to maintain an efficient polytopic representation. As a result, these certificates serve as a constructive tool for layered architectures, enabling long-horizon tasks to be reasoned about in a computationally tractable manner. |
| title | Bezier Reachable Polytopes: Efficient Certificates for Robust Motion Planning with Layered Architectures |
| topic | Robotics Systems and Control |
| url | https://arxiv.org/abs/2411.13506 |