Abdalla Swikir

According to our database, Abdalla Swikir authored at least 15 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Symbolic Models for a Class of Impulsive Systems.

Abdalla Swikir, Antoine Girard, Majid Zamani

IEEE Control. Syst. Lett., 2021

Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems.

Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani

CoRR, 2021

2020

Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems.

Abdalla Swikir

PhD thesis, 2020

Verification of Initial-State Opacity for Switched Systems: A Compositional Approach.

Siyuan Liu, Abdalla Swikir, Majid Zamani

CoRR, 2020

Compositional construction of control barrier functions for interconnected control systems.

Pushpak Jagtap, Abdalla Swikir, Majid Zamani

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Compositional Construction of Abstractions for Infinite Networks of Switched Systems.

Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Construction of continuous abstractions for discrete-time time-delay systems.

Mobin Shahamat, Javad Askari, Abdalla Swikir, Navid Noroozi, Majid Zamani

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Compositional Verification of Initial-State Opacity for Switched Systems.

Siyuan Liu, Abdalla Swikir, Majid Zamani

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Compositional Synthesis of Symbolic Models for Networks of Switched Systems.

Abdalla Swikir, Majid Zamani

IEEE Control. Syst. Lett., 2019

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach.

Abdalla Swikir, Majid Zamani

Autom., 2019

Compositional Abstractions of Interconnected Discrete-Time Switched Systems.

Abdalla Swikir, Majid Zamani

Proceedings of the 17th European Control Conference, 2019

2018

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach.

Abdalla Swikir, Antoine Girard, Majid Zamani

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case.

Navid Noroozi, Abdalla Swikir, Fabian R. Wirth, Majid Zamani

Proceedings of the 16th European Control Conference, 2018

2017

From dissipativity theory to compositional synthesis of symbolic models.

Abdalla Swikir, Antoine Girard, Majid Zamani

CoRR, 2017

2016

Chattering analysis of conventional and super twisting sliding mode control algorithm.

Abdalla Swikir, Vadim Utkin

Proceedings of the 14th International Workshop on Variable Structure Systems, 2016