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

Full description

Bibliographic Details

Published in:	Robotics and autonomous systems Vol. 174; p. 104646
Main Authors:	Verginis, Christos K., Kantaros, Yiannis, Dimarogonas, Dimos V.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.04.2024
Subjects:	Action planning Adaptive control Motion planning Multi-robot systems Temporal logics Motion planning Temporal logics Multi-robot systems Adaptive control Action planning
ISSN:	0921-8890, 1872-793X, 1872-793X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!