Siyuan Liu

43 papers C 5Journal 31Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multiagent Systems.
IEEE Trans. Autom. Control.
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2026 J jnl
Observer-based Control of Multi-agent Systems under STL Specifications.
CoRR
Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas
2025 J jnl
Communication-aware Multi-agent Systems Control Based on
CoRR
Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas
2025 — conf
Communication-aware Multi-agent Systems Control Based on k-hop Distributed Observers.
ECC
Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas
2025 J jnl
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts.
IEEE Trans. Autom. Control.
Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas
2025 J jnl
Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution.
CoRR
Ruohan Wang, Siyuan Liu, Zhiyong Sun, Sofie Haesaert
2025 J jnl
Multi-Agent Estimation and Control Based on a Novel k-Hop Distributed Prescribed Performance Observer.
IEEE Control. Syst. Lett.
Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas
2025 J jnl
On Approximate Opacity of Stochastic Control Systems.
IEEE Trans. Autom. Control.
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani
2025 J jnl
Robust Estimation and Control for Heterogeneous Multi-agent Systems Based on Decentralized k-hop Prescribed Performance Observers.
CoRR
Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas
2025 J jnl
Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach.
CoRR
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2025 J jnl
Secure-by-Construction Synthesis for Control Systems.
IEEE Trans. Autom. Control.
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
2025 C conf
Transient Control of Linear Multi-Agent Systems with Leader-Follower Configuration.
ACC
Siyuan Liu, Fei Chen, Dimos V. Dimarogonas
2024 J jnl
A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems.
CoRR
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024 C conf
Communication-Constrained STL Task Decomposition Through Convex Optimization.
ACC
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024 J jnl
Communication-Constrained STL Task Decomposition through Convex Optimization.
CoRR
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024 — conf
Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies.
CDC
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024 J jnl
Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies.
CoRR
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024 J jnl
On Approximate Opacity of Stochastic Control Systems.
CoRR
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani
2023 — conf
Abstraction-Based Synthesis of Controllers for Approximate Opacity.
CDC
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
2023 J jnl
Abstraction-Based Verification of Approximate Preopacity for Control Systems.
IEEE Control. Syst. Lett.
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
2023 J jnl
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts.
CoRR
Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas
2023 J jnl
Secure-by-Construction Synthesis for Control Systems.
CoRR
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
2023 — conf
Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems.
CDC
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
2022 J jnl
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems.
CoRR
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
2022 — conf
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
CDC
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
2022 J jnl
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
CoRR
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
2022 J jnl
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.
IEEE Control. Syst. Lett.
Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani
2022 J jnl
Secure-by-Construction Synthesis of Cyber-Physical Systems.
CoRR
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
2022 J jnl
Secure-by-construction synthesis of cyber-physical systems.
Annu. Rev. Control.
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
2022 — conf
Verification of approximate infinite-step opacity using barrier certificates.
ECC
Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani
2021 J jnl
Compositional Verification of Initial-State Opacity for Switched Systems.
CoRR
Siyuan Liu, Abdalla Swikir, Majid Zamani
2021 J jnl
Compositional synthesis of almost maximally permissible safety controllers.
CoRR
Siyuan Liu, Majid Zamani
2021 J jnl
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems.
Autom.
Siyuan Liu, Majid Zamani
2021 J jnl
On Approximate Opacity of Cyber-Physical Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Majid Zamani, Siyuan Liu
2021 J jnl
Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach.
CoRR
Siyuan Liu, Navid Noroozi, Majid Zamani
2021 C conf
Verification of Approximate Opacity via Barrier Certificates.
ACC
Siyuan Liu, Majid Zamani
2021 J jnl
Verification of Approximate Opacity via Barrier Certificates.
CoRR
Siyuan Liu, Majid Zamani
2021 J jnl
Verification of Approximate Opacity via Barrier Certificates.
IEEE Control. Syst. Lett.
Siyuan Liu, Majid Zamani
2020 J jnl
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems.
CoRR
Siyuan Liu, Majid Zamani
2020 — conf
Compositional Verification of Initial-State Opacity for Switched Systems.
CDC
Siyuan Liu, Abdalla Swikir, Majid Zamani
2020 C conf
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.
ACC
Siyuan Liu, Xiang Yin, Majid Zamani
2020 J jnl
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach.
CoRR
Siyuan Liu, Abdalla Swikir, Majid Zamani
2019 C conf
Compositional synthesis of almost maximally permissible safety controllers.
ACC
Siyuan Liu, Majid Zamani