26 citations · 73 across the 15 of their papers we have counts for
4 papers · 1 filter
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 synthesis of almost maximally permissible safety controllers
Siyuan Liu, Majid Zamani
In this work, we present a compositional safety controller synthesis approach for the class of discrete-time linear control systems. Here, we leverage a state-of-the-art result on…
Verification of Approximate Opacity via Barrier Certificates
Siyuan Liu, Majid Zamani
This paper is motivated by the increasing security concerns of cyber-physical systems. Here, we develop a discretization-free verification scheme targeting an information-flow secu…
Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach
Siyuan Liu, Navid Noroozi, Majid Zamani
This paper presents a compositional framework for the construction of symbolic models for a network composed of a countably infinite number of finite-dimensional discrete-time cont…