Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.14279/13656
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Constantinou, Christos C. | - |
dc.contributor.author | Loizou, Savvas | - |
dc.date.accessioned | 2019-05-16T21:26:41Z | - |
dc.date.available | 2019-05-16T21:26:41Z | - |
dc.date.issued | 2018-12 | - |
dc.identifier.citation | Proceedings of the IEEE Conference on Decision and Control, 2019, Vol. 2018-December, pp. 403-408 | en_US |
dc.identifier.issn | 0743-1546 | - |
dc.description.abstract | This paper presents a novel methodology for synthesizing motion tasks with real-time objectives. The methodology utilizes Linear Temporal Logic to define the motion task sequencing. Timed motion objectives are handled by an underlying hybrid automaton that utilizes the concept of Navigation Transformation to provide a time-abstraction of the navigation task. This enables real-time execution of the navigation tasks with analytical guarantees on the safety and the execution time. The resulting system is correct by construction. The performance of the methodology is demonstrated through non-trivial simulations. | en_US |
dc.format | en_US | |
dc.language.iso | en | en_US |
dc.relation.ispartof | Proceedings of the IEEE Conference on Decision and Control | en_US |
dc.rights | © IEEE | en_US |
dc.subject | Automatic controllers | en_US |
dc.subject | Linear temporal logic | en_US |
dc.subject | Motion tasks | en_US |
dc.subject | Navigation tasks | en_US |
dc.title | Automatic Controller Synthesis of Motion-Tasks with Real-Time Objectives | en_US |
dc.type | Article | en_US |
dc.collaboration | Cyprus University of Technology | en_US |
dc.subject.category | Computer and Information Sciences | en_US |
dc.journals | Subscription | en_US |
dc.country | Cyprus | en_US |
dc.subject.field | Natural Sciences | en_US |
dc.publication | Peer Reviewed | en_US |
dc.relation.conference | IEEE Conference on Decision and Control | en_US |
dc.identifier.doi | 10.1109/CDC.2018.8619825 | en_US |
dc.relation.volume | 2018-December | en_US |
cut.common.academicyear | 2018-2019 | en_US |
dc.identifier.spage | 403 | en_US |
dc.identifier.epage | 408 | en_US |
item.fulltext | No Fulltext | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairecristype | http://purl.org/coar/resource_type/c_6501 | - |
item.openairetype | article | - |
item.languageiso639-1 | en | - |
crisitem.author.dept | Department of Mechanical Engineering and Materials Science and Engineering | - |
crisitem.author.dept | Department of Mechanical Engineering and Materials Science and Engineering | - |
crisitem.author.faculty | Faculty of Engineering and Technology | - |
crisitem.author.faculty | Faculty of Engineering and Technology | - |
crisitem.author.orcid | 0000-0003-4083-9946 | - |
crisitem.author.parentorg | Faculty of Engineering and Technology | - |
crisitem.author.parentorg | Faculty of Engineering and Technology | - |
Appears in Collections: | Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation |
CORE Recommender
Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.