Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.14279/2450
Title: Modeling and control of heterogeneous non-holonomic input-constrained multiagent systems
Authors: Oikonomopoulos, Apollon S. 
Kyriakopoulos, Kostas J. 
Loizou, Savvas 
metadata.dc.contributor.other: Λοΐζου, Σάββας
Keywords: Structural frames;Kinematics;Hexagons;Multiagent systems
Issue Date: 2010
Source: 49th IEEE Conference on Decision and Control CDC, 2010, Atlanta, Georgia
Abstract: Motivated primarily by the problem of UAV coordination, in this paper we address the problem of coordination of a non-homogeneous group of non-holonomic agents with input constraints. In the first part of the paper, we develop a modeling framework for heterogeneous multi-agent systems that is based on timed automata. To this extent, an appropriate abstraction of the agents' workspace from our previous works is extended to three-dimensional space, by utilizing hexagonal prisms. The low level agent details are abstracted by virtue of appropriate controllers to motion primitives that can be performed in the individual workspace cells. The resulting models of the non-homogeneous system capture the non-holonomic behavior and the input constraints imposed by the considered systems. In the second part of this paper, we use the developed models in conjunction with formal verification tools to verify the safety and liveness properties of the system, captured by Linear Temporal Logic (LTL) specifications. Using counter-example guided search, we obtain trajectories that satisfy spatio-temporal specifications. Finally, we simulate two case-studies for two and three-dimensional workspaces respectively.
URI: https://hdl.handle.net/20.500.14279/2450
ISSN: 01912216
DOI: 10.1109/CDC.2010.5717919
Rights: ©2010 IEEE
Type: Conference Papers
Affiliation: Frederick University 
Appears in Collections:Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation

CORE Recommender
Show full item record

SCOPUSTM   
Citations 50

3
checked on Nov 9, 2023

Page view(s) 50

460
Last Week
1
Last month
1
checked on Nov 21, 2024

Google ScholarTM

Check

Altmetric


Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.