Folgen
Siyuan Liu (刘思源)
Siyuan Liu (刘思源)
Postdoctoral researcher, KTH Royal Institute of Technology
Bestätigte E-Mail-Adresse bei kth.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
On approximate opacity of cyber-physical systems
X Yin, M Zamani, S Liu
IEEE Transactions on Automatic Control 66 (4), 1630-1645, 2020
382020
Lateral entry guidance with no-fly zone constraint
Z Liang, S Liu, Q Li, Z Ren
Aerospace science and technology 60, 39-47, 2017
332017
Secure-by-construction synthesis of cyber-physical systems
S Liu, A Trivedi, X Yin, M Zamani
Annual Reviews in Control 53, 30-50, 2022
162022
Verification of approximate opacity via barrier certificates
S Liu, M Zamani
IEEE Control Systems Letters 5 (4), 1369-1374, 2020
152020
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
122020
Compositional synthesis of almost maximally permissible safety controllers
S Liu, M Zamani
2019 American Control Conference (ACC), 1678-1683, 2019
92019
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
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
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
62022
Verification of approximate opacity for switched systems: A compositional approach
S Liu, A Swikir, M Zamani
Nonlinear Analysis: Hybrid Systems 42, 101084, 2021
52021
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
52021
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
S Liu, M Zamani
Automatica 131, 109745, 2021
42021
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
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
22022
Verification of approximate infinite-step opacity using barrier certificates
ST Kalat, S Liu, M Zamani
2022 European Control Conference (ECC), 175-180, 2022
12022
Symbolic models for infinite networks of control systems: A compositional approach
S Liu, N Noroozi, M Zamani
Nonlinear Analysis: Hybrid Systems 43, 101097, 2021
12021
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
Secure-by-Construction Synthesis for Control Systems
B Zhong, S Liu, M Caccamo, M Zamani
arXiv preprint arXiv:2307.02564, 2023
2023
Secure-by-Construction Synthesis of Cyber-Physical Systems
S Liu
https://mediatum.ub.tum.de/?id=1651390, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–19