Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://hdl.handle.net/20.500.14279/13656
Τίτλος: | Automatic Controller Synthesis of Motion-Tasks with Real-Time Objectives | Συγγραφείς: | Constantinou, Christos C. Loizou, Savvas |
Major Field of Science: | Natural Sciences | Field Category: | Computer and Information Sciences | Λέξεις-κλειδιά: | Automatic controllers;Linear temporal logic;Motion tasks;Navigation tasks | Ημερομηνία Έκδοσης: | Δεκ-2018 | Πηγή: | 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 | Περιοδικό: | Proceedings of the IEEE Conference on Decision and Control | Conference: | IEEE Conference on Decision and Control | Περίληψη: | 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 |
Εμφανίζεται στις συλλογές: | Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation |
CORE Recommender
SCOPUSTM
Citations
50
3
checked on 6 Νοε 2023
Page view(s) 50
354
Last Week
1
1
Last month
31
31
checked on 14 Μαρ 2025
Google ScholarTM
Check
Altmetric
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα