BIO: Abdalla Swikir is currently a PhD candidate in the Department of Electrical and Computer Engineering at Technical University of Munich (TUM), Germany, since November 2016. He is also a faculty member in the Electrical Engineering Department, Omar Al-Mukhtar University, Albyada, Libya. He received a B.Sc. degree in Electrical Engineering in August 2008 from Omar Al-Mukhtar University, Albyada, Libya, and an M.Sc. degree in Electrical Engineering in December 2015 from Ohio State University, Columbus, OH, USA. From January 2010 to April 2013 he was a teaching assistant in the Department of Electrical Engineering at Omar Al-Mukhtar University, Albyada, Libya. His research interests are formal synthesis, Symbolic models, and compositional methods of Large-Scale Cyber-Physical Systems.

Publications

• A. Swikir and M. Zamani. Compositional Synthesis of Symbolic Models for Networks of Switched Systems. IEEE Control Systems Letters. (Link, Preprint)

• A.Swikir and M. Zamani. Compositional Abstractions of Interconnected Discrete-Time Switched Systems. European Control Conference, 2019, to appear.

• A. Swikir and M. Zamani. Compositional Synthesis of Finite Abstractions for Networks of Systems: A Small-Gain Approach. Automatica, accepted as a full paper.. (Preprint)

• A. Swikir, A. Girard, and M. Zamani. Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. The 11st Cyber Physical Systems Week (CPS Week); the 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC), April, 2018. (Link)

• N. Noroozi, A.Swikir, M. Zamani, F. R. Wirth. Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case. European Control Conference, July 2018, (Link).

• A. Swikir, A. Girard, and M. Zamani. From dissipativity theory to compositional synthesis of symbolic models. The 4th Indian Control Conference, January 2018, to appear. (Best student paper award finalist). (Link)

• A. Swikir and V. Utkin. Chattering analysis of conventional and super twisting sliding mode control algorithm. The 14th International Workshop on Variable Structure Systems (VSS), Jun 2016. (Link)