kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
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), Centres, ACCESS Linnaeus Centre. 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 Computer Science and Communication (CSC), Centres, Centre for Autonomous Systems, CAS.ORCID iD: 0000-0001-7309-8086
2017 (English)In: IFAC-PapersOnLine, Elsevier, 2017, Vol. 50, p. 2397-2402Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents a framework for automatic synthesis of a control sequence for multi-agent systems governed by continuous linear dynamics under timed constraints. First, the motion of the agents in the workspace is abstracted into individual Transition Systems (TS). Second, each agent is assigned with an individual formula given in Metric Interval Temporal Logic (MITL) and in parallel, the team of agents is assigned with a collaborative team formula. The proposed method is based on a correct-by-construction control synthesis method, and hence guarantees that the resulting closed-loop system will satisfy the desired specifications. The specifications considers boolean-valued properties under real-time bounds. Extended simulations has been performed in order to demonstrate the efficiency of the proposed methodology.

Place, publisher, year, edition, pages
Elsevier, 2017. Vol. 50, p. 2397-2402
Keywords [en]
Reachability analysis, Verification, abstraction of hybrid systems, Multi-agent systems, Control design for hybrid systems, Modelling, control of hybrid, discrete event systems, Temporal Logic
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-216958DOI: 10.1016/j.ifacol.2017.08.432ISI: 000423845200386Scopus ID: 2-s2.0-85031776499OAI: oai:DiVA.org:kth-216958DiVA, id: diva2:1152552
Conference
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, July 2017
Note

QC 20171031

Available from: 2017-10-25 Created: 2017-10-25 Last updated: 2024-03-15Bibliographically approved

Open Access in DiVA

fulltext(517 kB)237 downloads
File information
File name FULLTEXT01.pdfFile size 517 kBChecksum SHA-512
aca913f7d636d2aeca5e653e6b1be03f9e7b754d2baa949493801e422205dade04eb76537cce2fbe2d700f6e91b8467ec67e860a2e91d3e2a5641f1fc331246c
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Andersson, SofieNikou, AlexandrosDimarogonas, Dimos V.

Search in DiVA

By author/editor
Andersson, SofieNikou, AlexandrosDimarogonas, Dimos V.
By organisation
ACCESS Linnaeus CentreCentre for Autonomous Systems, CAS
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 237 downloads
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

doi
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • 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