26 citations · 73 across the 15 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
eess.SY2020★ 7 cited
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…
eess.SY2020★ 2 cited
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems
Siyuan Liu, Majid Zamani
In this paper, we propose a compositional approach to construct opacity-preserving finite abstractions (a.k.a symbolic models) for networks of discrete-time nonlinear control syste…