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
Distributed plan reconfiguration via knowledge transfer in multi-agent systems under local LTL specifications
KTH, School of Computer Science and Communication (CSC), Centres, Centre for Autonomous Systems, CAS. KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.ORCID iD: 0000-0003-4562-854X
KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre. KTH, School of Electrical Engineering (EES), Automatic Control.ORCID iD: 0000-0001-7309-8086
2014 (English)In: Proceedings - IEEE International Conference on Robotics and Automation, IEEE conference proceedings, 2014, 4304-4309 p.Conference paper, Published paper (Refereed)
Abstract [en]

We propose a cooperative motion and task planning scheme for multi-agent systems where the agents have independently-assigned local tasks, specified as Linear Temporal Logic (LTL) formulas. These tasks contain hard and soft sub-specifications. A least-violating initial plan is synthesized first for the potentially infeasible task and the partially-known workspace. While the system runs, each agent updates its knowledge about the workspace via its sensing capability and shares this knowledge with its neighboring agents. Based on this update, each agent verifies and revises its plan in real time. It is ensured that the hard specification is always fulfilled and the satisfaction for the soft specification is improved gradually. The design is distributed as only local interactions are assumed. The overall framework is demonstrated by a case study.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2014. 4304-4309 p.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-176156DOI: 10.1109/ICRA.2014.6907485Scopus ID: 2-s2.0-84929224861OAI: oai:DiVA.org:kth-176156DiVA: diva2:874982
Conference
2014 IEEE International Conference on Robotics and Automation, ICRA 2014, 31 May 2014 through 7 June 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, MengDimarogonas, Dimos V

Search in DiVA

By author/editor
Guo, MengDimarogonas, 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: 16 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