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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Robotics and autonomous systems Ročník 174; s. 104646
Hlavní autoři: Verginis, Christos K., Kantaros, Yiannis, Dimarogonas, Dimos V.
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!
Nejprve se musíte přihlásit.