Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.ORCID-id: 0000-0001-7309-8086
2017 (engelsk)Inngår i: IFAC-PapersOnLine, Elsevier, 2017, Vol. 50, s. 2397-2402Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Elsevier, 2017. Vol. 50, s. 2397-2402
Emneord [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
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-216958DOI: 10.1016/j.ifacol.2017.08.432Scopus ID: 2-s2.0-85031776499OAI: oai:DiVA.org:kth-216958DiVA, id: diva2:1152552
Konferanse
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, July 2017
Merknad

QC 20171031

Tilgjengelig fra: 2017-10-25 Laget: 2017-10-25 Sist oppdatert: 2017-10-31bibliografisk kontrollert

Open Access i DiVA

fulltext(517 kB)65 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 517 kBChecksum SHA-512
aca913f7d636d2aeca5e653e6b1be03f9e7b754d2baa949493801e422205dade04eb76537cce2fbe2d700f6e91b8467ec67e860a2e91d3e2a5641f1fc331246c
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Dimarogonas, Dimos V.

Søk i DiVA

Av forfatter/redaktør
Andersson, SofieNikou, AlexandrosDimarogonas, Dimos V.
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 65 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 289 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf