Compositional synthesis of almost maximally permissible safety controllers. - Siyuan Liu 002; Majid Zamani 001 (ACC, 2019)

On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. - Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (ACC, 2020)

Compositional Verification of Initial-State Opacity for Switched Systems. - Siyuan Liu 002; Abdalla Swikir; Majid Zamani 001 (CDC, 2020)

Verification of Initial-State Opacity for Switched Systems: A Compositional Approach. - Siyuan Liu 002; Abdalla Swikir; Majid Zamani 001 (CoRR, 2020)

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. - Siyuan Liu 002; Majid Zamani 001 (Autom., 2021)

Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach. - Siyuan Liu 002; Navid Noroozi; Majid Zamani 001 (CoRR, 2021)

Verification of Approximate Opacity via Barrier Certificates. - Siyuan Liu 002; Majid Zamani 001 (IEEE Control. Syst. Lett., 2021)

On Approximate Opacity of Cyber-Physical Systems. - Xiang Yin 003; Majid Zamani 001; Siyuan Liu 002 (IEEE Trans. Autom. Control., 2021)

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. - Siyuan Liu 002; Adnane Saoud; Pushpak Jagtap; Dimos V. Dimarogonas; Majid Zamani 001 (CDC, 2022)

Verification of approximate infinite-step opacity using barrier certificates. - Shadi Tasdighi Kalat; Siyuan Liu 002; Majid Zamani 001 (ECC, 2022)

Secure-by-construction synthesis of cyber-physical systems. - Siyuan Liu 002; Ashutosh Trivedi 001; Xiang Yin 003; Majid Zamani 001 (Annu. Rev. Control., 2022)

Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (CoRR, 2022)

Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates. - Shadi Tasdighi Kalat; Siyuan Liu 002; Majid Zamani 001 (IEEE Control. Syst. Lett., 2022)

Abstraction-Based Synthesis of Controllers for Approximate Opacity. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (CDC, 2023)

Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems. - Bingzhuo Zhong; Siyuan Liu 002; Marco Caccamo; Majid Zamani 001 (CDC, 2023)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts. - Siyuan Liu 002; Adnane Saoud; Dimos V. Dimarogonas (CoRR, 2023)

Abstraction-Based Verification of Approximate Preopacity for Control Systems. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Communication-Constrained STL Task Decomposition Through Convex Optimization. - Gregorio Marchesini; Siyuan Liu 002; Lars Lindemann; Dimos V. Dimarogonas (ACC, 2024)

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies. - Gregorio Marchesini; Siyuan Liu 002; Lars Lindemann; Dimos V. Dimarogonas (CDC, 2024)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems. - Gregorio Marchesini; Siyuan Liu 002; Lars Lindemann; Dimos V. Dimarogonas (CoRR, 2024)

Transient Control of Linear Multi-Agent Systems with Leader-Follower Configuration. - Siyuan Liu 002; Fei Chen; Dimos V. Dimarogonas (ACC, 2025)

Multi-Agent Estimation and Control Based on a Novel k-Hop Distributed Prescribed Performance Observer. - Tommaso Zaccherini; Siyuan Liu 002; Dimos V. Dimarogonas (IEEE Control. Syst. Lett., 2025)

Communication-aware Multi-agent Systems Control Based on k-hop Distributed Observers. - Tommaso Zaccherini; Siyuan Liu 002; Dimos V. Dimarogonas (CoRR, 2025)

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach. - Gregorio Marchesini; Siyuan Liu 002; Lars Lindemann; Dimos V. Dimarogonas (CoRR, 2025)

On Approximate Opacity of Stochastic Control Systems. - Siyuan Liu 002; Xiang Yin 003; Dimos V. Dimarogonas; Majid Zamani 001 (IEEE Trans. Autom. Control., 2025)

Secure-by-Construction Synthesis for Control Systems. - Bingzhuo Zhong; Siyuan Liu 002; Marco Caccamo; Majid Zamani 001 (IEEE Trans. Autom. Control., 2025)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts. - Siyuan Liu 002; Adnane Saoud; Dimos V. Dimarogonas (IEEE Trans. Autom. Control., 2025)