Abdalla Swikir

Available identifiers

zbMath Open swikir.abdallaMaRDI QIDQ2060870

List of research outcomes

Publication	Date of Publication	Type
Compositional construction of abstractions for infinite networks of discrete-time switched systems	2022-04-08	Paper
A Lyapunov-Based Small-Gain Theorem for Infinite Networks	2022-02-24	Paper
Verification of approximate opacity for switched systems: a compositional approach	2021-12-13	Paper
Compositional construction of control barrier functions for interconnected control systems	2021-01-25	Paper
Compositional Construction of Control Barrier Functions for Interconnected Control Systems	2020-02-01	Paper
Compositional synthesis of finite abstractions for networks of systems: a small-gain approach	2019-12-19	Paper
A Lyapunov-based small-gain theorem for infinite networks	2019-10-28	Paper

Research outcomes over time

This page was built for person: Abdalla Swikir