Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
2021 (English)In: IEEE Transactions on Control of Network Systems, E-ISSN 2325-5870, Vol. 8, no 2, p. 702-712Article in journal (Refereed) 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.
Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2021. Vol. 8, no 2, p. 702-712
Keywords [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
National Category
Control Engineering
Identifiers
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
Note
QC 20250429
2021-11-082021-11-082025-04-29Bibliographically approved