![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 9
2022
Sharifi, Maryam; Swikir, Abdalla; Noroozi, Navid und Zamani, Majid
(2022):
Compositional construction of abstractions for infinite networks of discrete-time switched systems.
In: Nonlinear Analysis - Hybrid Systems, Bd. 44, 101173
2021
Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid und Zamani, Majid
(2021):
A Lyapunov-Based Small-Gain Theorem for Infinite Networks.
In: IEEE Transactions on Automatic Control, Bd. 66, Nr. 12: S. 5830-5844
Liu, Siyuan; Swikir, Abdalla und Zamani, Majid
(2021):
Verification of approximate opacity for switched systems: A compositional approach.
In: Nonlinear Analysis-Hybrid Systems, Bd. 42, 101084
Swikir, Abdalla; Girard, Antoine und Zamani, Majid
(2021):
Symbolic Models for a Class of Impulsive Systems.
In: IEEE Control Systems Letters, Bd. 5, Nr. 1: S. 247-252
2020
Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid und Zamani, Majid
(2020):
A spectral small-gain condition for input-to-state stability of infinite networks.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 5303-5308
Swikir, Abdalla; Noroozi, Navid und Zamani, Majid
(2020):
Compositional Synthesis of Symbolic Models for Infinite Networks.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1868-1873
Jagtap, Pushpak; Swikir, Abdalla und Zamani, Majid
(2020):
Compositional Construction of Control Barrier Functions for Interconnected Control Systems.
In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)
2019
Swikir, Abdalla und Zamani, Majid
(2019):
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach.
In: Automatica, Bd. 107: S. 551-561
Swikir, Abdalla und Zamani, Majid
(2019):
Compositional Abstractions of Interconnected Discrete-Time Switched Systems.
In: 2019 18Th European Control Conference (Ecc): S. 1251-1256