7 citations · 11 across the 10 of their papers we have counts for
4 papers · 1 filter
Compositional Construction of Abstractions for Infinite Networks of Switched Systems
Maryam Sharifi, Abdalla Swikir, Navid Noroozi +1
We construct compositional continuous approximations for an interconnection of infinitely many discrete-time switched systems. An approximation (known as abstraction) is itself a c…
Compositional Abstractions of Interconnected Discrete-Time Switched Systems
Abdalla Swikir, Majid Zamani
In this paper, we introduce a compositional method for the construction of finite abstractions of interconnected discrete-time switched systems. Particularly, we use a notion of so…
Compositional Verification of Initial-State Opacity for Switched Systems
Siyuan Liu, Abdalla Swikir, Majid Zamani
In this work, we propose a compositional framework for the verification of approximate initial-state opacity for networks of discrete-time switched systems. The proposed approach i…
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems
Maryam Sharifi, Abdalla Swikir, Navid Noroozi +1
In this paper, we develop a compositional scheme for the construction of continuous approximations for interconnections of infinitely many discrete-time switched systems. An approx…