Abdalla Swikir

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Symbolic Models for a Class of Impulsive Systems.
IEEE Control. Syst. Lett., 2021

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

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

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

Compositional construction of control barrier functions for interconnected control systems.
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.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Construction of continuous abstractions for discrete-time time-delay systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Compositional Verification of Initial-State Opacity for Switched Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
Compositional Synthesis of Symbolic Models for Networks of Switched Systems.
IEEE Control. Syst. Lett., 2019

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

Compositional Abstractions of Interconnected Discrete-Time Switched Systems.
Proceedings of the 17th European Control Conference, 2019

2018
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach.
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.
Proceedings of the 16th European Control Conference, 2018

2017
From dissipativity theory to compositional synthesis of symbolic models.
CoRR, 2017

2016
Chattering analysis of conventional and super twisting sliding mode control algorithm.
Proceedings of the 14th International Workshop on Variable Structure Systems, 2016


  Loading...