Planning and control of multi-robot-object systems under temporal logic tasks and uncertain dynamics
We develop an algorithm for the motion and task planning of a system composed of multiple robots and unactuated objects under tasks expressed as Linear Temporal Logic (LTL) constraints. The robots and objects evolve subject to uncertain dynamics in an obstacle-cluttered environment. The key part of...
Uloženo v:
| Vydáno v: | Robotics and autonomous systems Ročník 174; s. 104646 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier B.V
01.04.2024
|
| Témata: | |
| ISSN: | 0921-8890, 1872-793X, 1872-793X |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!