Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://hdl.handle.net/20.500.14279/2434
Τίτλος: | Automatic synthesis of multi-agent motion tasks based on LTL specifications | Συγγραφείς: | Kyriakopoulos, Kostas J. Loizou, Savvas |
metadata.dc.contributor.other: | Λοΐζου, Σάββας | Λέξεις-κλειδιά: | Computer simulation;Robots;Automation | Ημερομηνία Έκδοσης: | 2004 | Πηγή: | 43rd IEEE Conference on Decision and Control CDC, 2004, Nassau, Bahamas | Link: | http://control.bu.edu/ieee/cdc04/ | Περίληψη: | In this paper we propose a methodology for automatically synthesizing motion task controllers based on Linear Temporal Logic (LTL) specifications. The proposed design of the underlying multi-agent controllers possess a special structure that allows for implicit satisfaction of basic liveness and safety specifications. The resulting closed loop system is of hybrid nature combining the continuous dynamics of the underlying system with the automatically synthesized switching logic that enforces the LTL specification. The effectiveness of the proposed scheme is verified through non-trivial computer simulations. | URI: | https://hdl.handle.net/20.500.14279/2434 | ISSN: | 01912216 | Rights: | © IEEE | Type: | Conference Papers | Affiliation: | National Technical University Of Athens |
Εμφανίζεται στις συλλογές: | Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation |
CORE Recommender
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα