Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.14279/13656
Title: | Automatic Controller Synthesis of Motion-Tasks with Real-Time Objectives | Authors: | Constantinou, Christos C. Loizou, Savvas |
Major Field of Science: | Natural Sciences | Field Category: | Computer and Information Sciences | Keywords: | Automatic controllers;Linear temporal logic;Motion tasks;Navigation tasks | Issue Date: | Dec-2018 | Source: | Proceedings of the IEEE Conference on Decision and Control, 2019, Vol. 2018-December, pp. 403-408 | Volume: | 2018-December | Start page: | 403 | End page: | 408 | Journal: | Proceedings of the IEEE Conference on Decision and Control | Conference: | IEEE Conference on Decision and Control | 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. | ISSN: | 0743-1546 | DOI: | 10.1109/CDC.2018.8619825 | Rights: | © IEEE | Type: | Article | Affiliation : | Cyprus University of Technology | Publication Type: | Peer Reviewed |
Appears in Collections: | Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation |
CORE Recommender
SCOPUSTM
Citations
50
3
checked on Nov 6, 2023
Page view(s) 50
310
Last Week
0
0
Last month
6
6
checked on Aug 28, 2024
Google ScholarTM
Check
Altmetric
Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.