Follow
Siyuan Liu (刘思源)
Title
Cited by
Cited by
Year
On approximate opacity of cyber-physical systems
X Yin, M Zamani, S Liu
IEEE Transactions on Automatic Control 66 (4), 1630-1645, 2020
572020
Secure-by-construction synthesis of cyber-physical systems
S Liu, A Trivedi, X Yin, M Zamani
Annual Reviews in Control 53, 30-50, 2022
502022
Lateral entry guidance with no-fly zone constraint
Z Liang, S Liu, Q Li, Z Ren
Aerospace science and technology 60, 39-47, 2017
432017
Verification of approximate opacity via barrier certificates
S Liu, M Zamani
IEEE Control Systems Letters 5 (4), 1369-1374, 2020
272020
Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts
S Liu, A Saoud, P Jagtap, DV Dimarogonas, M Zamani
2022 IEEE 61st Conference on Decision and Control (CDC), 2184-2189, 2022
242022
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems*
S Liu, X Yin, M Zamani
2020 American Control Conference (ACC), 5413-5418, 2020
172020
Modular verification of opacity for interconnected control systems via barrier certificates
ST Kalat, S Liu, M Zamani
IEEE Control Systems Letters 6, 890-895, 2021
112021
Review of reentry guidance methods for hypersonic gliding vehicles
S Liu, Z Liang, Z Ren, Q Li
Chinese Space Science and Technology 36 (6), 1, 2016
112016
Compositional synthesis of almost maximally permissible safety controllers
S Liu, M Zamani
2019 American Control Conference (ACC), 1678-1683, 2019
102019
Predictor-corrector guidance for entry with terminal altitude constraint
S Liu, Z Liang, Q Li, Z Ren
2016 35th Chinese Control Conference (CCC), 5557-5562, 2016
92016
Verification of approximate opacity for switched systems: A compositional approach
S Liu, A Swikir, M Zamani
Nonlinear Analysis: Hybrid Systems 42, 101084, 2021
82021
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
S Liu, M Zamani
Automatica 131, 109745, 2021
82021
Symbolic models for infinite networks of control systems: A compositional approach
S Liu, N Noroozi, M Zamani
Nonlinear Analysis: Hybrid Systems 43, 101097, 2021
72021
Abstraction-based verification of approximate preopacity for control systems
J Hou, S Liu, X Yin, M Zamani
IEEE Control Systems Letters 7, 1087-1092, 2022
62022
Secure-by-construction controller synthesis via control barrier functions
B Zhong, S Liu, M Caccamo, M Zamani
IFAC-PapersOnLine 56 (2), 239-245, 2023
52023
Compositional verification of initial-state opacity for switched systems
S Liu, A Swikir, M Zamani
2020 59th IEEE Conference on Decision and Control (CDC), 2146-2151, 2020
42020
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
S Liu, A Saoud, DV Dimarogonas
arXiv preprint arXiv:2309.13499, 2023
32023
Secure-by-construction synthesis for control systems
B Zhong, S Liu, M Caccamo, M Zamani
arXiv preprint arXiv:2307.02564, 2023
32023
Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
G Marchesini, S Liu, L Lindemann, DV Dimarogonas
arXiv preprint arXiv:2409.05106, 2024
22024
Communication-Constrained STL Task Decomposition through Convex Optimization
G Marchesini, S Liu, L Lindemann, DV Dimarogonas
arXiv preprint arXiv:2402.17585, 2024
22024
The system can't perform the operation now. Try again later.
Articles 1–20