Change search
ReferencesLink to record
Permanent link

Direct link
Decentralized multi-agent control from local LTL specifications
KTH, School of Electrical Engineering (EES), Automatic Control. KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.ORCID iD: 0000-0001-7309-8086
2012 (English)In: Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, IEEE , 2012, 6235-6240 p.Conference paper (Refereed)
Abstract [en]

We propose a methodology for decentralized multi-agent control from Linear Temporal Logic (LTL) specifications. Each agent receives an independent specification to formally synthesize its own hybrid controller. Mutual satisfiability is not a priori guaranteed. Due to limited communication, the agents utilize meeting events to exchange their controller automata and verify satisfiability through model checking. Local interaction only when common atomic propositions exist reduces the overall computational cost, facilitating scalability. Provably correct collision avoidance and convergence is ensured by Decentralized Multi-Agent Navigation Functions.

Place, publisher, year, edition, pages
IEEE , 2012. 6235-6240 p.
, Proceedings of the IEEE Conference on Decision and Control, ISSN 0191-2216
National Category
Engineering and Technology
URN: urn:nbn:se:kth:diva-119186DOI: 10.1109/CDC.2012.6426027ScopusID: 2-s2.0-84874262604OAI: diva2:610312
51st IEEE Conference on Decision and Control, CDC 2012, 10 December 2012 through 13 December 2012, Maui, HI

QC 20130311

Available from: 2013-03-11 Created: 2013-03-08 Last updated: 2013-03-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Dimarogonas, Dimos V.
By organisation
Automatic ControlACCESS Linnaeus Centre
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 19 hits
ReferencesLink to record
Permanent link

Direct link