Automatic synthesis of multi-agent motion tasks based on LTL specifications

Loizou, SG; Kyriakopoulos, KJ

dc.contributor.author	Loizou, SG	en
dc.contributor.author	Kyriakopoulos, KJ	en
dc.date.accessioned	2014-03-01T02:42:30Z
dc.date.available	2014-03-01T02:42:30Z
dc.date.issued	2004	en
dc.identifier.issn	01912216	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/31026
dc.subject	Computer Simulation	en
dc.subject	Linear Temporal Logic	en
dc.subject.other	Automation	en
dc.subject.other	Closed loop control systems	en
dc.subject.other	Computer simulation	en
dc.subject.other	Control equipment	en
dc.subject.other	Functions	en
dc.subject.other	Logic programming	en
dc.subject.other	Matrix algebra	en
dc.subject.other	Motion control	en
dc.subject.other	Robots	en
dc.subject.other	Set theory	en
dc.subject.other	Switching systems	en
dc.subject.other	Buchi automata	en
dc.subject.other	Linear temporal logic (LTL) specifications	en
dc.subject.other	Local controllers	en
dc.subject.other	Multi-agent controllers	en
dc.subject.other	Multi agent systems	en
dc.title	Automatic synthesis of multi-agent motion tasks based on LTL specifications	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1109/CDC.2004.1428622	en
heal.identifier.secondary	http://dx.doi.org/10.1109/CDC.2004.1428622	en
heal.publicationDate	2004	en
heal.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.	en
heal.journalName	Proceedings of the IEEE Conference on Decision and Control	en
dc.identifier.doi	10.1109/CDC.2004.1428622	en
dc.identifier.volume	1	en
dc.identifier.spage	153	en
dc.identifier.epage	158	en