Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • 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
Communication-Constrained STL Task Decomposition Through Convex Optimization
KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.ORCID-id: 0009-0002-3432-1526
KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.ORCID-id: 0000-0002-3199-4015
University of Southern California, Thomas Lord Department of Computer Science, Los Angeles, CA, USA.
KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.ORCID-id: 0000-0001-7309-8086
2024 (engelsk)Inngår i: 2024 American Control Conference, ACC 2024, Institute of Electrical and Electronics Engineers Inc. , 2024, s. 3517-3523Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

We propose a method to decompose signal temporal logic tasks for multi-agent systems under communication constraints. Specifically, given a task graph representing task dependencies among couples of agents in the system, we propose to decompose tasks assigned to couples of agents not connected in the communication graph by a set of sub-tasks assigned to couples of communicating agents over the communication graph. To this end, we parameterize the predicates' level set of tasks to be decomposed as hyper-rectangles with parametric centres and dimensions. Convex optimization is then leveraged to find optimal parameters maximising the volume of the predicate's level sets. Moreover, a formal treatment of conflicting conjunctions of formulas in the considered STL fragment is introduced, including sufficient conditions to avoid the insurgence of such conflicts in the final decomposition.

sted, utgiver, år, opplag, sider
Institute of Electrical and Electronics Engineers Inc. , 2024. s. 3517-3523
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-354309DOI: 10.23919/ACC60939.2024.10644859Scopus ID: 2-s2.0-85204482477OAI: oai:DiVA.org:kth-354309DiVA, id: diva2:1902968
Konferanse
2024 American Control Conference, ACC 2024, Toronto, Canada, Jul 10 2024 - Jul 12 2024
Merknad

QC 20241003

Part of ISBN 979-8-3503-8265-5

Tilgjengelig fra: 2024-10-02 Laget: 2024-10-02 Sist oppdatert: 2024-10-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Marchesini, GregorioLiu, SiyuanDimarogonas, Dimos V.

Søk i DiVA

Av forfatter/redaktør
Marchesini, GregorioLiu, SiyuanDimarogonas, Dimos V.
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • 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