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 Task Planning of Multi-Agent Systems Under Timed Temporal Specifications
KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.ORCID iD: 0000-0002-8696-1536
KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.ORCID iD: 0000-0003-4173-2593
KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.ORCID iD: 0000-0001-7309-8086
2016 (English)In: 2016 AMERICAN CONTROL CONFERENCE (ACC), IEEE conference proceedings, 2016, 7104-7109 p.Conference paper (Refereed)
Abstract [en]

In this paper the problem of cooperative task planning of multi-agent systems when timed constraints are imposed to the system is investigated. We consider timed constraints given by Metric Interval Temporal Logic (MITL). We propose a method for automatic control synthesis in a twostage systematic procedure. With this method we guarantee that all the agents satisfy their own individual task specifications as well as that the team satisfies a team global task specification.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2016. 7104-7109 p.
Series
Proceedings of the American Control Conference, ISSN 0743-1619
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-204150DOI: 10.1109/ACC.2016.7526793ISI: 000388376107028ScopusID: 2-s2.0-84992090923ISBN: 978-1-4673-8682-1 (print)OAI: oai:DiVA.org:kth-204150DiVA: diva2:1084733
Conference
American Control Conference (ACC), JUL 06-08, 2016, Boston, MA
Note

QC 20170337

Available from: 2017-03-27 Created: 2017-03-27 Last updated: 2017-03-27Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Nikou, AlexandrosTumova, JanaDimarogonas, Dimos V.
By organisation
ACCESS Linnaeus Centre
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 21 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