kth.sePublications
System disruptions
We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
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
Compositional construction of abstractions for infinite networks of discrete-time switched systems
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control).ORCID iD: 0000-0003-0525-7916
Tech Univ Munich, Dept Elect & Comp Engn, Munich, Germany..
Ludwig Maximilians Univ Munchen, Inst Informat, Munich, Germany..
Ludwig Maximilians Univ Munchen, Inst Informat, Munich, Germany.;Univ Colorado Boulder, Comp Sci Dept, Boulder, CO USA..
2022 (English)In: Nonlinear Analysis: Hybrid Systems, ISSN 1751-570X, E-ISSN 1878-7460, Vol. 44, article id 101173Article in journal (Refereed) Published
Abstract [en]

In this paper, we develop a compositional scheme for the construction of continuous abstractions for networks of infinitely many discrete-time switched systems. In particular, the constructed abstractions are themselves also continuous-space systems with potentially lower dimensions, which can be used as replacements of the original (also known as concrete) systems in the controller design process. Having designed a controller for the abstract system, it is refined to a more detailed one for the concrete system. We use the notion of so-called simulation functions to quantify the mismatch between the original system and its approximation. Each subsystem in the concrete network and its corresponding one in the abstract network are related through a notion of local simulation functions. We show that if the local simulation functions satisfy a spectral small-gain condition, then the aggregation of the individual simulation functions provides an overall simulation function quantifying the error between the overall abstract network and the concrete one. In addition, we show that our methodology results in a scale-free compositional approach for any finite-but-arbitrarily large networks obtained from truncation of an infinite network. We provide a systematic approach to construct local abstractions and simulation functions for networks of linear switched systems. In this case, the conditions are expressed in terms of linear matrix inequalities that can be efficiently computed. We illustrate the effectiveness of our approach through an application to AC islanded microgrids.

Place, publisher, year, edition, pages
Elsevier BV , 2022. Vol. 44, article id 101173
Keywords [en]
Compositionality, Continuous abstractions, Infinite networks, Small-gain theorem, Switched systems
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-312200DOI: 10.1016/j.nahs.2022.101173ISI: 000782642200015Scopus ID: 2-s2.0-85124215915OAI: oai:DiVA.org:kth-312200DiVA, id: diva2:1658829
Note

QC 20220518

Available from: 2022-05-18 Created: 2022-05-18 Last updated: 2022-06-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Sharifi, Maryam

Search in DiVA

By author/editor
Sharifi, Maryam
By organisation
Decision and Control Systems (Automatic Control)
In the same journal
Nonlinear Analysis: Hybrid Systems
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 24 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