1. Ktisis Cyprus University of Technology
  2. Cyprus University of Technology (Research Output)
  3. Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation
Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.14279/14053
DC FieldValueLanguage
dc.contributor.authorOikonomopoulos, Apollon S.-
dc.contributor.authorLoizou, Savvas-
dc.contributor.authorKyriakopoulos, Kostas J.-
dc.date.accessioned2019-06-20T10:26:34Z-
dc.date.available2019-06-20T10:26:34Z-
dc.date.issued2009-05-12-
dc.identifier.citationIEEE International Conference on Robotics and Automation, ICRA '09, Kobe, Japan, 12 May 2009 through 17 May 2009, Category numberCFP09RAA-PRTen_US
dc.description.abstractIn 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.en_US
dc.language.isoenen_US
dc.subjectFormal verification toolsen_US
dc.subjectInput constraintsen_US
dc.subjectKinematic constraintsen_US
dc.subjectLivenessen_US
dc.subjectModel checkeren_US
dc.subjectMulti-agent coordinationsen_US
dc.subjectNonholonomicsen_US
dc.titleCoordination of multiple non-holonomic agents with input constraintsen_US
dc.typeConference Papersen_US
dc.collaborationNational Technical University Of Athensen_US
dc.collaborationFrederick Universityen_US
dc.subject.categoryMechanical Engineeringen_US
dc.journalsSubscriptionen_US
dc.countryGreeceen_US
dc.countryCyprusen_US
dc.subject.fieldEngineering and Technologyen_US
dc.publicationPeer Revieweden_US
dc.relation.conferenceIEEE International Conference on Robotics and Automationen_US
dc.identifier.doi10.1109/ROBOT.2009.5152397en_US
dc.identifier.scopus2-s2.0-70350417300-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/70350417300-
cut.common.academicyear2008-2009en_US
item.fulltextNo Fulltext-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_c94f-
item.openairetypeconferenceObject-
item.languageiso639-1en-
crisitem.author.deptDepartment of Mechanical Engineering and Materials Science and Engineering-
crisitem.author.facultyFaculty of Engineering and Technology-
crisitem.author.orcid0000-0003-4083-9946-
crisitem.author.parentorgFaculty of Engineering and Technology-
Appears in Collections:Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation
CORE Recommender
Show simple item record

SCOPUSTM   
Citations 50

8
checked on Mar 14, 2024

Page view(s) 50

252
Last Week
5
Last month
10
checked on May 12, 2024

Google ScholarTM

Check

Altmetric


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