26 citations · 73 across the 15 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
eess.SY2022
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…
eess.SY2022★ 15 cited
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts
Siyuan Liu, Adnane Saoud, Pushpak Jagtap +2
In this paper, we focus on the problem of compositional synthesis of controllers enforcing signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnecte…
cs.CR2022
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…