×
Author ID: swikir.abdalla Recent zbMATH articles by "Swikir, Abdalla"
Published as: Swikir, Abdalla
Documents Indexed: 6 Publications since 2019, including 1 Additional arXiv Preprint
Co-Authors: 13 Co-Authors with 6 Joint Publications
306 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 25 times in 21 Documents Cited by Year
Compositional synthesis of finite abstractions for networks of systems: a small-gain approach. Zbl 1429.93143
Swikir, Abdalla; Zamani, Majid
11
2019
A Lyapunov-based small-gain theorem for infinite networks. Zbl 1536.93723
Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid; Zamani, Majid
8
2021
Verification of approximate opacity for switched systems: a compositional approach. Zbl 1478.93298
Liu, Siyuan; Swikir, Abdalla; Zamani, Majid
2
2021
Compositional construction of abstractions for infinite networks of discrete-time switched systems. Zbl 1485.93035
Sharifi, Maryam; Swikir, Abdalla; Noroozi, Navid; Zamani, Majid
2
2022
Compositional construction of control barrier functions for interconnected control systems. Zbl 07300863
Jagtap, Pushpak; Swikir, Abdalla; Zamani, Majid
2
2020
Compositional construction of abstractions for infinite networks of discrete-time switched systems. Zbl 1485.93035
Sharifi, Maryam; Swikir, Abdalla; Noroozi, Navid; Zamani, Majid
2
2022
A Lyapunov-based small-gain theorem for infinite networks. Zbl 1536.93723
Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid; Zamani, Majid
8
2021
Verification of approximate opacity for switched systems: a compositional approach. Zbl 1478.93298
Liu, Siyuan; Swikir, Abdalla; Zamani, Majid
2
2021
Compositional construction of control barrier functions for interconnected control systems. Zbl 07300863
Jagtap, Pushpak; Swikir, Abdalla; Zamani, Majid
2
2020
Compositional synthesis of finite abstractions for networks of systems: a small-gain approach. Zbl 1429.93143
Swikir, Abdalla; Zamani, Majid
11
2019

Citations by Year