Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
Proceedings of the IEEE Conference on Decision and Control, ISSN 0191-2216
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:kth:diva-119186DOI: 10.1109/CDC.2012.6426027Scopus ID: 2-s2.0-84874262604OAI: oai:DiVA.org:kth-119186DiVA: diva2:610312
Conference
51st IEEE Conference on Decision and Control, CDC 2012, 10 December 2012 through 13 December 2012, Maui, HI
Note

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

Authority records BETA

Dimarogonas, Dimos V.

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 34 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf