Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.14279/2434
Title: Automatic synthesis of multi-agent motion tasks based on LTL specifications
Authors: Kyriakopoulos, Kostas J. 
Loizou, Savvas 
metadata.dc.contributor.other: Λοΐζου, Σάββας
Keywords: Computer simulation;Robots;Automation
Issue Date: 2004
Source: 43rd IEEE Conference on Decision and Control CDC, 2004, Nassau, Bahamas
Link: http://control.bu.edu/ieee/cdc04/
Abstract: 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 
Appears in Collections:Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation

CORE Recommender
Show full item record

Page view(s) 20

452
Last Week
0
Last month
1
checked on Nov 8, 2024

Google ScholarTM

Check


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