Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.14279/14053| Title: | Coordination of multiple non-holonomic agents with input constraints | Authors: | Oikonomopoulos, Apollon S. Loizou, Savvas Kyriakopoulos, Kostas J. |
Major Field of Science: | Engineering and Technology | Field Category: | Mechanical Engineering | Keywords: | Formal verification tools;Input constraints;Kinematic constraints;Liveness;Model checker;Multi-agent coordinations;Nonholonomics | Issue Date: | 12-May-2009 | Source: | IEEE International Conference on Robotics and Automation, ICRA '09, Kobe, Japan, 12 May 2009 through 17 May 2009, Category numberCFP09RAA-PRT | Conference: | IEEE International Conference on Robotics and Automation | Abstract: | In this paper we present a multi-agent coordination algorithm suitable for systems with aircraft-like kinematic constraints. A model of a system of input-constrained nonholonomic agents is constructed, suitable for use with formal verification tools. The agents considered are uniform and have bounded velocities and limited turning capabilities. We demonstrate how a model checker can be used to generate a counterexample trace for such a system, usable as a trajectory that satisfies our safety and liveness requirements. © 2009 IEEE. | DOI: | 10.1109/ROBOT.2009.5152397 | Type: | Conference Papers | Affiliation : | National Technical University Of Athens Frederick University |
Publication Type: | Peer Reviewed |
| Appears in Collections: | Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation |
CORE Recommender
SCOPUSTM
Citations
50
8
checked on Mar 14, 2024
Page view(s) 50
276
Last Week
1
1
Last month
2
2
checked on Nov 23, 2024
Google ScholarTM
Check
Altmetric
Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.