kth.sePublikationer KTH
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • 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
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
CNRS, Centrale- Supélec, Laboratoire des Signaux et Systèmes, Université Paris-Saclay, 91190 Gif-sur-Yvette, France.
Department of Electrical and Computer Engineering, Technical University of Munich, 80333 Munich, Germany.ORCID-id: 0000-0002-5452-8850
Computer Science Department, University of Colorado Boulder, Boulder, CO 80309 USA; Informatics Department, Ludwig Maximilian University of Munich.
CNRS, Centrale- Supélec, Laboratoire des Signaux et Systèmes, Université Paris-Saclay, 91190 Gif-sur-Yvette, France.
2021 (Engelska)Ingår i: IEEE Transactions on Control of Network Systems, E-ISSN 2325-5870, Vol. 8, nr 2, s. 702-712Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

In this paper, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, we provide a compositional framework for the construction of abstractions for interconnected systems and a bottom-up controller synthesis scheme. In particular, we propose a notion of approximate composition which makes it possible to compute an abstraction of the global interconnected system from the abstractions (possibly of different types) of its components. Finally, by leveraging our notion of approximate composition, we propose a bottom-up approach for the synthesis of controllers enforcing decomposable safety specifications. The effectiveness of the proposed results is demonstrated using two case studies (viz., DC microgrid and traffic network) by comparing them with different abstraction and controller synthesis schemes.

Ort, förlag, år, upplaga, sidor
Institute of Electrical and Electronics Engineers (IEEE) , 2021. Vol. 8, nr 2, s. 702-712
Nyckelord [en]
Abstraction, Adaptation models, Compositionality, Computational modeling, Control systems, Europe, Interconnected systems, Microgrids, Safety, Safety specifications, Symbolic control, Controllers, Bottom up, Bottom up approach, Case-studies, Compositional abstractions, Controller synthesis, Dc micro-grid, Traffic networks, Control system synthesis
Nationell ämneskategori
Reglerteknik
Identifikatorer
URN: urn:nbn:se:kth:diva-304451DOI: 10.1109/TCNS.2021.3050123ISI: 000690440800019Scopus ID: 2-s2.0-85099546126OAI: oai:DiVA.org:kth-304451DiVA, id: diva2:1609338
Anmärkning

QC 20250429

Tillgänglig från: 2021-11-08 Skapad: 2021-11-08 Senast uppdaterad: 2025-04-29Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Jagtap, Pushpak

Sök vidare i DiVA

Av författaren/redaktören
Jagtap, Pushpak
I samma tidskrift
IEEE Transactions on Control of Network Systems
Reglerteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • 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