26 citations · 30 across the 4 of their papers we have counts for
5 papers
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems
Junyao Hou, Siyuan Liu, Xiang Yin +1
In this paper, we consider the problem of verifying pre-opacity for discrete-time control systems. Pre-opacity is an important information-flow security property that secures the i…
Secure-by-Construction Synthesis of Cyber-Physical Systems
Siyuan Liu, Ashutosh Trivedi, Xiang Yin +1
Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and control theory towards designing safety-critical systems. Instead of following the time-t…
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…
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…