Takip et
Siyuan Liu (刘思源)
Siyuan Liu (刘思源)
Postdoctoral researcher, KTH Royal Institute of Technology
kth.se üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
On approximate opacity of cyber-physical systems
X Yin, M Zamani, S Liu
IEEE Transactions on Automatic Control 66 (4), 1630-1645, 2020
482020
Lateral entry guidance with no-fly zone constraint
Z Liang, S Liu, Q Li, Z Ren
Aerospace science and technology 60, 39-47, 2017
342017
Secure-by-construction synthesis of cyber-physical systems
S Liu, A Trivedi, X Yin, M Zamani
Annual Reviews in Control 53, 30-50, 2022
322022
Verification of approximate opacity via barrier certificates
S Liu, M Zamani
IEEE Control Systems Letters 5 (4), 1369-1374, 2020
212020
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
152022
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
132020
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
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
S Liu, M Zamani
Automatica 131, 109745, 2021
82021
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
82021
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
82016
Verification of approximate opacity for switched systems: A compositional approach
S Liu, A Swikir, M Zamani
Nonlinear Analysis: Hybrid Systems 42, 101084, 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
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
Secure-by-construction synthesis for control systems
B Zhong, S Liu, M Caccamo, M Zamani
arXiv preprint arXiv:2307.02564, 2023
32023
Symbolic models for infinite networks of control systems: A compositional approach
S Liu, N Noroozi, M Zamani
Nonlinear Analysis: Hybrid Systems 43, 101097, 2021
32021
Secure-by-construction controller synthesis via control barrier functions
B Zhong, S Liu, M Caccamo, M Zamani
IFAC-PapersOnLine 56 (2), 239-245, 2023
22023
Verification of approximate infinite-step opacity using barrier certificates
ST Kalat, S Liu, M Zamani
2022 European Control Conference (ECC), 175-180, 2022
12022
Integrated guidance and control design based on motion tracking
K Yi, Q Tan, S Liu, Q Li, Z Ren
2016 35th Chinese control conference (CCC), 5721-5725, 2016
12016
Communication-Constrained STL Task Decomposition through Convex Optimization
G Marchesini, S Liu, L Lindemann, DV Dimarogonas
arXiv preprint arXiv:2402.17585, 2024
2024
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20