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žené v:
Podrobná bibliografia
Vydané v:Robotics and autonomous systems Ročník 174; s. 104646
Hlavní autori: Verginis, Christos K., Kantaros, Yiannis, Dimarogonas, Dimos V.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 01.04.2024
Predmet:
ISSN:0921-8890, 1872-793X, 1872-793X
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.