Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: IFAC-PapersOnLine, Elsevier, 2017, Vol. 50, s. 2397-2402Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Elsevier, 2017. Vol. 50, s. 2397-2402
Nyckelord [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
Nationell ämneskategori
Reglerteknik
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
Konferens
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, July 2017
Anmärkning

QC 20171031

Tillgänglig från: 2017-10-25 Skapad: 2017-10-25 Senast uppdaterad: 2017-10-31Bibliografiskt granskad

Open Access i DiVA

fulltext(517 kB)65 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 517 kBChecksumma SHA-512
aca913f7d636d2aeca5e653e6b1be03f9e7b754d2baa949493801e422205dade04eb76537cce2fbe2d700f6e91b8467ec67e860a2e91d3e2a5641f1fc331246c
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Dimarogonas, Dimos V.

Sök vidare i DiVA

Av författaren/redaktören
Andersson, SofieNikou, AlexandrosDimarogonas, Dimos V.
Av organisationen
ACCESS Linnaeus CentreCentrum för Autonoma System, CAS
Reglerteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 65 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 289 träffar
RefereraExporteraLänk till posten
Permanent länk

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