7 citations · 11 across the 10 of their papers we have counts for
3 papers · 1 filter
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach
Siyuan Liu, Abdalla Swikir, Majid Zamani
The security in information-flow has become a major concern for cyber-physical systems (CPSs). In this work, we focus on the analysis of an information-flow security property, call…
Symbolic Models for a Class of Impulsive Systems
Abdalla Swikir, Antoine Girard, Majid Zamani
Symbolic models have been used as the basis of a systematic framework to address control design of several classes of hybrid systems with sophisticated control objectives. However,…
Compositional Construction of Control Barrier Functions for Interconnected Control Systems
Pushpak Jagtap, Abdalla Swikir, Majid Zamani
In this paper, we provide a compositional framework for synthesizing hybrid controllers for interconnected discrete-time control systems enforcing specifications expressed by co-Bu…