Siyuan Liu

According to our database, Siyuan Liu authored at least 27 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts.

Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas

IEEE Trans. Autom. Control., September, 2025

Secure-by-Construction Synthesis for Control Systems.

Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani

IEEE Trans. Autom. Control., June, 2025

On Approximate Opacity of Stochastic Control Systems.

Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani

IEEE Trans. Autom. Control., June, 2025

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach.

Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas

CoRR, June, 2025

Communication-aware Multi-agent Systems Control Based on <i>k</i>-hop Distributed Observers.

Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas

CoRR, March, 2025

Multi-Agent Estimation and Control Based on a Novel k-Hop Distributed Prescribed Performance Observer.

Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas

IEEE Control. Syst. Lett., 2025

Transient Control of Linear Multi-Agent Systems with Leader-Follower Configuration.

Siyuan Liu, Fei Chen, Dimos V. Dimarogonas

Proceedings of the 2025 American Control Conference, 2025

2024

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems.

Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas

CoRR, 2024

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies.

Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

Communication-Constrained STL Task Decomposition Through Convex Optimization.

Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas

Proceedings of the American Control Conference, 2024

2023

Abstraction-Based Verification of Approximate Preopacity for Control Systems.

Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani

IEEE Control. Syst. Lett., 2023

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts.

Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas

CoRR, 2023

Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems.

Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Abstraction-Based Synthesis of Controllers for Approximate Opacity.

Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.

Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani

IEEE Control. Syst. Lett., 2022

Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems.

Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani

CoRR, 2022

Secure-by-construction synthesis of cyber-physical systems.

Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani

Annu. Rev. Control., 2022

Verification of approximate infinite-step opacity using barrier certificates.

Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani

Proceedings of the European Control Conference, 2022

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.

Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

On Approximate Opacity of Cyber-Physical Systems.

Xiang Yin, Majid Zamani, Siyuan Liu

IEEE Trans. Autom. Control., 2021

Verification of Approximate Opacity via Barrier Certificates.

Siyuan Liu, Majid Zamani

IEEE Control. Syst. Lett., 2021

Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach.

Siyuan Liu, Navid Noroozi, Majid Zamani

CoRR, 2021

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems.

Siyuan Liu, Majid Zamani

Autom., 2021

2020

Verification of Initial-State Opacity for Switched Systems: A Compositional Approach.

Siyuan Liu, Abdalla Swikir, Majid Zamani

CoRR, 2020

Compositional Verification of Initial-State Opacity for Switched Systems.

Siyuan Liu, Abdalla Swikir, Majid Zamani

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.

Siyuan Liu, Xiang Yin, Majid Zamani

Proceedings of the 2020 American Control Conference, 2020

2019

Compositional synthesis of almost maximally permissible safety controllers.

Siyuan Liu, Majid Zamani

Proceedings of the 2019 American Control Conference, 2019