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
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints
KTH, School of Computer Science and Communication (CSC), Centres, Centre for Autonomous Systems, CAS. KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre. KTH, School of Electrical Engineering (EES), Automatic Control.ORCID iD: 0000-0003-4562-854X
KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre. KTH, School of Computer Science and Communication (CSC), Centres, Centre for Autonomous Systems, CAS. KTH, School of Electrical Engineering (EES), Automatic Control.ORCID iD: 0000-0003-4173-2593
KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre. KTH, School of Electrical Engineering (EES), Automatic Control. KTH, School of Computer Science and Communication (CSC), Centres, Centre for Autonomous Systems, CAS.ORCID iD: 0000-0001-7309-8086
2014 (English)In: Proceedings of the IEEE Conference on Decision and Control, IEEE conference proceedings, 2014, no February, 75-80 p.Conference paper, Published paper (Refereed)
Abstract [en]

We propose a framework for the decentralized control of a team of agents that are assigned local tasks expressed as Linear Temporal Logic (LTL) formulas. Each local LTL task specification captures both the requirements on the respective agent's behavior and the requests for the other agents' collaborations needed to accomplish the task. Furthermore, the agents are subject to communication constraints. The presented solution follows the automata-theoretic approach to LTL model checking, however, it avoids the computationally demanding construction of synchronized product system between the agents. A decentralized coordination scheme through a dynamic leader selection is proposed, to guarantee the low-level connectivity maintenance and a progress towards the satisfaction of each agent's task.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2014. no February, 75-80 p.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-176151DOI: 10.1109/CDC.2014.7039362Scopus ID: 2-s2.0-84931824748OAI: oai:DiVA.org:kth-176151DiVA: diva2:874996
Conference
2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014, 15 December 2014 through 17 December 2014
Note

QC 20151130

Available from: 2015-11-30 Created: 2015-11-02 Last updated: 2015-11-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Guo, MengTumova, JanaDimarogonas, Dimos V

Search in DiVA

By author/editor
Guo, MengTumova, JanaDimarogonas, Dimos V
By organisation
Centre for Autonomous Systems, CASACCESS Linnaeus CentreAutomatic Control
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 12 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