Abdalla Swikir
From MaRDI portal
Person:2060870
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Compositional construction of abstractions for infinite networks of discrete-time switched systems Nonlinear Analysis. Hybrid Systems | 2022-04-08 | Paper |
| A Lyapunov-Based Small-Gain Theorem for Infinite Networks IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
| Verification of approximate opacity for switched systems: a compositional approach Nonlinear Analysis. Hybrid Systems | 2021-12-13 | Paper |
| Compositional construction of control barrier functions for interconnected control systems Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Compositional Construction of Control Barrier Functions for Interconnected Control Systems (available as arXiv preprint) | 2020-02-01 | Paper |
| Compositional synthesis of finite abstractions for networks of systems: a small-gain approach Automatica | 2019-12-19 | Paper |
| A Lyapunov-based small-gain theorem for infinite networks (available as arXiv preprint) | 2019-10-28 | Paper |
Research outcomes over time
This page was built for person: Abdalla Swikir
