26 citations · 73 across the 15 of their papers we have counts for
15 papers
Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
Georgios Mitsos, Dimos V. Dimarogonas, Siyuan Liu
This paper presents a secure-by-construction planning and control framework for multi-agent systems subject to linear temporal logic (LTL) specifications. The framework protects se…
Control of Multi-agent Systems under STL Specifications based on Prescribed Performance Observers
Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas
This paper addresses decentralized control of large-scale heterogeneous multi-agent systems subject to bounded external disturbances and limited communication, with the objective o…
Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
Xinyuan Qiu, Ruohan Wang, Siyuan Liu +1
Correct-by-design synthesis provides a principled framework for establishing formal safety guarantees for stochastic multi-agent systems (MAS). However, conventional approaches bas…
On Approximate Opacity of Stochastic Control Systems
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas +1
This paper investigates an important class of information-flow security property called opacity for stochastic control systems. Opacity captures whether a system's secret behavior…
Secure-by-Construction Synthesis for Control Systems
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo +1
In this paper, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on…
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…
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…
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…
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…
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…
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…
On Approximate Opacity of Cyber-Physical Systems
Xiang Yin, Majid Zamani
Opacity is an important information-flow security property in the analysis of cyber-physical systems. It captures the plausible deniability of the system's secret behavior in the p…