Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.14279/2945
Title: | Automated planning of motion tasks for multi-robot systems | Authors: | Kyriakopoulos, Kostas J. Loizou, Savvas |
metadata.dc.contributor.other: | Λοΐζου, Σάββας | Keywords: | Computer simulation;Automatic control;Laboratories;Robots | Issue Date: | 2005 | Source: | Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference CDC-ECC, 2005, Pages 78-83 | Abstract: | In this paper we present an automated task planning methodology to automatically compose multi-robot motion tasks. A motion task is defined as an input-output module. Primitive motion tasks represented as modules (called primitive modules) are defined based on Linear Temporal Logic specifications. The task planning is then considered as a composition over compatible primitive modules in such a way that the inverted motion task module and the primitive modules form a closed chain. The problem is posed as an integer programming problem and is reduced to the combinatorial optimization problem of shortest dipath which can be solved in polynomial time. The basic safety and liveness specifications of the primitive task controllers are inherited by the resulting composed system and the requested task specifications are satisfied by construction, ensuring a correct design. The effectiveness of the proposed methodology is shown through computer simulation. | URI: | https://hdl.handle.net/20.500.14279/2945 | ISBN: | 0780395689 | DOI: | 10.1109/CDC.2005.1582134 | Rights: | © 2005 IEEE | Type: | Book Chapter | Affiliation: | National Technical University Of Athens |
Appears in Collections: | Κεφάλαια βιβλίων/Book chapters |
CORE Recommender
SCOPUSTM
Citations
50
20
checked on Nov 9, 2023
Page view(s) 20
485
Last Week
0
0
Last month
1
1
checked on Nov 8, 2024
Google ScholarTM
Check
Altmetric
Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.